PORTFELJ / Izv. Prof. Dr. Sc. Marko Maliković

Portfelj

Izv. Prof. Dr. Sc.

Marko Maliković

Filozofski fakultet

Odsjek za psihologiju

Kontakt

M 0915495320

UNIRI e-mail

e-mail 1

PROSTORIJA F-342

Obrazovanje

2008. -

Doktor informacijskih znanosti

Fakultet organizacije i informatike u Varaždinu

2006. -

Magistar informacijskih znanosti

Fakultet organizacije i informatike u Varaždinu

1995. -

Profesor matematike i informatike

Pedagoški fakultet u Rijeci

Radno iskustvo

19.02.2019. -

Izvanredni profesor

Filozofski fakultet u Rijeci

2011. - 19.02.2019.

Docent

Filozofski fakultet u Rijeci

2008. - 2011.

Viši asistent

Filozofski fakultet u Rijeci

2006. - 2008.

Predavač

Filozofski fakultet u Rijeci

1997. - 2006.

Stručni suradnik na polju informacijskih znanosti

Filozofski fakultet u Rijeci

1995. - 1997.

Profesor matematike i informatike

Srednja medicinska škola u Rijeci

Članstva

2018. -

APOLD - Akademsko politehničko društvo Rijeka

17.12.2008. -

Seminar on Formal Methods and Applications, Fakultet organizacije i informatike Varaždin, Sveučilište u Zagrebu

Član programskog odbora Znanstvenog skupa "12th Alps-Adria Psychology Conference", September 29 - October 1, 2016 Rijeka, Croatia

Član organizacijskog odbora Znanstvenog skupa "Riječki dani eksperimentalne psihologije - REPSI", Rijeka, 22.-24.09. 2011.

Nastavna djelatnost

Kolegiji

2020 - ...

Osnove e-obrazovanja

Pedagogija

Filozofski fakultet u Rijeci

Nositelj

2010 - ...

Uvod u umjetnu inteligenciju

Psihologija

Filozofski fakultet u Rijeci

Nositelj

Metode računalnog i internetskog provođenja psihologijskih eksperimenata

Sveučilišni poslijediplomski znanstveni doktorski studij psihologije

Filozofski fakultet u Rijeci

Nositelj

Programski jezici

Politehnika

Sveučilišni studij Politehnike

Nositelj

Programski jezik C++

Politehnika

Sveučilišni studij Politehnike

Nositelj

Programiranje za humanističke znanosti

Kulturologija

Filozofski fakultet u Rijeci

voditelj

Internetska istraživanja

Psihologija

Filozofski fakultet u Rijeci

voditelj

Primjena računala u nastavi

Psihologija - NM

Filozofski fakultet u Rijeci

voditelj

Elementi digitalnih kompetencija

Pedagogija

Filozofski fakultet u Rijeci

voditelj

Programiranje psihologijskih eksperimenata

Psihologija

Filozofski fakultet u Rijeci

voditelj

Upotreba računala u psihologiji

Psihologija

Filozofski fakultet u Rijeci

voditelj

Mentor u završnim radovima

19.09.2022.

Izrada edukacijske računalne igre u programskom jeziku Visual Basic

Galošić Ira

Politehnika

Studij Politehnike Sveučilišta u Rijeci

19.09.2022.

Izrada alata za 2D modeliranje mosta u programskom jeziku Visual Basic

Žabek Sandro

Politehnika

Studij politehnike Sveučilišta u Rijeci

19.09.2022.

Izrada edukacijskog programa za učenje programiranja CNC strojeva na Microsoft Windows Presentation Foundation platformi

Šestan Paolo

Politehnika

Studij politehnike Sveučilišta u Rijeci

16.09.2022.

Izrada znanstvenog kalkulatora u programskom jeziku Visual Basic

Žentil Berislav

Politehnika

Studij politehnike Sveučilišta u Rijeci

22.09.2021.

Izrada animacija u programskom jeziku Visual Basic

Chiara Komadina

Politehnika

Studij politehnike Sveučilišta u Rijeci

24.05.2021.

Ispitivanje prediktora učestalosti, sadržajnih obrazaca i intencionalnosti lutanja misli tijekom zadatka čitanja

Crvelin Toni

Psihologija (komentor)

Filozofski fakultet u Rijeci

2017. -

Izrada programa za problem gredni nosač iz područja statike u programskom jeziku Visual Basic

Fumić Robert

Politehnika

Filozofski fakultet u Rijeci

2016. -

Upotreba informacijske i komunikacijske tehnologije u nastavi

Mateja Činko

Dvopredmetni diplomski studij pedagogije i informatike

Filozofski fakultet u Rijeci

2016. -

Algoritmi za sortiranje u programskom jeziku C++

Alen Jakus

Politehnika

Filozofski fakultet u Rijeci

2015. -

Rješavanje nekih klasičnih kombinatornih problema u programskom jeziku C++

Robert Cvjetković

Politehnika

Filozofski fakultet u Rijeci

2013. -

Efekti djelovanja dizajna web upitnika na aspekte odgovaranja

Stjepan Šomođi

Psihologija (komentor)

Filozofski fakultet u Rijeci

Osobni razvoj

05.10.2020. - 09.10.2020.

Programiranje psihologijskih eksperimenata - Masarykova univerzita, Brno, Česka republika

Financiranje: Erasmus stručno usavršavanje

Izdavaštvo

2015. -

Internetska istraživanja - Sveučilišni priručnik

Financiranje: Filozofski fakultet u Rijeci

Znanstvena djelatnost

Znanstveni radovi

2021.

Using individually adapted progress indicator in web surveys

Maliković, Marko; Tončić, Marko

International Journal of Social Research Methodology - 24 1-11

https://www.tandfonline.com/doi/full/10.1080/13645579.2021.1962131?src=

Q1 A1 WOS Exc

2020.

Izrada programa za problem gredni nosač iz područja statike u programskom jeziku Visual Basic

Maliković, Marko; Fumić, Robert; Purković, Damir

Polytechnic and design - 8 235-244

https://polytechnicanddesign.tvz.hr/index.php/ojs/article/view/374

13.05.2019.

Utječe li tehnika visoke prepreke na rezultate web-ispitivanja?

M. Maliković, D. Švegar

Zbornik Veleučilišta u Rijeci - 7 17-30

https://hrcak.srce.hr/index.php?show=clanak&id_clanak_jezik=321117

WOS

01.04.2019.

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture

P. Janičić, F. Marić, M. Maliković

Logical Methods in Computer Science - 15 34:1–34:37

https://lmcs.episciences.org/5328/pdf

WOS Q1

31.12.2017.

Web-ispitivanja, uređaji i web-forme

Marko Maliković, Domagoj Švegar, Sven Borković

Politehnika - I 9-19

http://www.politehnika.uniri.hr/index.php/politehnika

28.09.2017.

Large-Scale Multi-Agent Modelling of Massively Multi-Player On-Line Role-Playing Games - A Summary

M. Schatten, B. Okreša Durić, I. Tomičić, N. Ivković, M. Konecki, J. Ševa, M. Maliković, P. Terna

Proceedings of 28th Central European Conference on Information and Intelligent Systems, 2017, Varaždin, Croatia. - pp. 193-200

04.07.2017.

Utjecaj vizualne orijentacije skale za odgovaranje i broja stranica web-upitnika na rezultate ispitivanja

Maliković, M., Švegar, D., Šomođi, S.

Zbornik Veleučilišta u Rijeci - 5 pp. 1-12

https://www.veleri.hr/files/datoteke/knjige/digi/Veleuciliste%20Zbornik%20za%20web_2017.pdf

WOS

2015.

Artificial Intelligent Player’s Planning in Massively Multi-Player On-Line Role-Playing Games

M. Maliković, M. Schatten

Proceedings of 26th Central European Conference on Information and Intelligent Systems - pp. 3-10

2015.

Proving Correctness of a KRK Chess Endgame Strategy by using Isabelle/HOL and Z3

F. Marić: P. Janičić; M. Maliković.

In Amy P. Felty and Aart Middeldorp, editors, International Conference on Automated Deduction, CADE 25, Berlin, Germany, Proceedings, volume 9195 of Lecture Notes in Computer Science, pages 256-271. Springer. - pp. 256-271

WOS Q2

2014.

SAT-based Analysis of the Legality of Chess Endgame Positions

M. Maliković

Proceedings of 25th Central European Conference on Information and Intelligent Systems - pp. 264-270

2014.

An Overview and Classification of Retrograde Chess Problems

M. Maliković

Proceedings of 25th Central European Conference on Information and Intelligent Systems - pp. 256-263

2013.

Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving

M. Maliković; P. Janičić

ICGA Journal - 36 pp. 81-99

WOS Q2

2012.

Formalization of a Strategy for the KRK Chess Endgame

M. Maliković; M. Čubrilo; P. Janičić

Proceedings of 23st Central European Conference on Information and Intelligent Systems - pp. 29-36

2011.

Reasoning about Epistemic Actions and Knowledge in Multi-agent Systems using Coq

M. Maliković; M. Čubrilo

Computer Technology and Application - 2 pp. 616-627

2010.

Formal System for Searching for the Shortest Proof Games using Coq

M. Maliković; M. Čubrilo

International Review on Computers and Software (IRECOS) - 5 pp. 746-756

2010.

Solving Shortest Proof Games by Generating Trajectories using Coq Proof Management System

M. Maliković; M. Čubrilo

Proceedings of 21st Central European Conference on Information and Intelligent Systems - pp. 11-18

2010.

Modeling Epistemic Actions in Dynamic Epistemic Logic using Coq

M. Maliković; M. Čubrilo

Proceedings of 21st Central European Conference on Information and Intelligent Systems - pp. 3-10

2010.

A knowledge-based system for heuristic search in a competitive multiagent game

M. Maliković; M. Čubrilo

International Review on Computers and Software (IRECOS) - 5 pp. 209-218

2010.

What Were the Last Moves?

M. Maliković; M. Čubrilo

International Review on Computers and Software (IRECOS) - 5 pp. 59-70

2008.

A formal system for automated reasoning about retrograde chess problems using Coq

M. Maliković

Proceedings of 19th Central European Conference on Information and Intelligent Systems - pp. 465-475

2006.

Reasoning about the Game "Clue" by using OTTER

M. Maliković

Journal of Information and Organizational Sciences - 30 pp. 241-249

WOS

Pozvana predavanja

25.04.2019.

Automatsko rezoniranje

Maliković Marko

4. Regionalni susret studenata psihologije - SPiRi 2019, Rijeka

17.12.2008.

Developing Heuristics for Solving Retrograde Chess Problems

Marko Maliković

Fakultet organizacije i informatike Varaždin

Kongresna priopćenja

24.09.2015.

Artificial Intelligent Player’s Planning in Massively Multi-Player On-Line Role-Playing Games

M. Maliković, M. Schatten

Usmeni

26th Central European Conference on Information and Intelligent Systems Varaždin, Croatia

2014.

SAT-based Analysis of the Legality of Chess Endgame Positions

M. Maliković

Usmeno izlaganje

25th Central European Conference on Information and Intelligent Systems Varaždin, Croatia

2014.

An Overview and Classification of Retrograde Chess Problems

M. Maliković

Usmeno izlaganje

25th Central European Conference on Information and Intelligent Systems Varaždin, Croatia

2012.

Formalization of a Strategy for the KRK Chess Endgame

M. Maliković, M. Čubrilo, P. Janičić

Usmeno izlaganje

23st Central European Conference on Information and Intelligent Systems Varaždin, Hrvatska

2010.

Solving Shortest Proof Games by Generating Trajectories using Coq Proof Management System

M. Maliković, M. Čubrilo

Usmeno izlaganje

21st Central European Conference on Information and Intelligent Systems Varaždin, Hrvatska

2010.

Modeling Epistemic Actions in Dynamic Epistemic Logic using Coq

M. Maliković, M. Čubrilo

Usmeno izlaganje

21st Central European Conference on Information and Intelligent Systems Varaždin, Hrvatska

2008.

A formal system for automated reasoning about retrograde chess problems using Coq

M. Maliković

Usmeno izlaganje

19th Central European Conference on Information and Intelligent Systems Varaždin, Hrvatska

Znanstveni skupovi

23.09.2015. - 25.09.2015.

26th Central European Conference on Information and Intelligent Systems

Varaždin, Croatia Voditelj sekcije "Intelligent information systems and intelligent transport systems"

03.02.2012. - 04.02.2012.

Fifth Workshop on Formal and Automated Theorem Proving and Applications

Beograd, Srbija Izlagač

04.02.2011. - 05.02.2011.

Fourth Workshop on Formal and Automated Theorem Proving and Applications

Beograd, Srbija Izlagač

17.12.2008. -

Seminar on Formal Methods and Applications

Varaždin Izlagač

Uredništva časopisa

2016. -

Glavni urednik časopisa Politehnika: Časopis za tehnički odgoj i obrazovanje Odsjek za politehniku Filozofski fakultet u Rijeci http://www.politehnika.uniri.hr

Recenzije

2022.

Politehnika : Časopis za tehnički odgoj i obrazovanje (1 rad)

2022.

Informatics’2022 (1 rad)

2021.

Mathematics, 2021 (1 rad)

2020.

31st Central European Conference on Information and Intelligent Systems (1 rad)

2017. - 2020.

Politehnika : Časopis za tehnički odgoj i obrazovanje (6 radova)

2014.

25th Central European Conference on Information and Intelligent Systems (1 rad)

2012

23rd Central European Conference on Information and Intelligent Systems (1 rad)

2011

22st Central European Conference on Information and Intelligent Systems (1 rad)

2010

21st Central European Conference on Information and Intelligent Systems (1 rad)

Stručna djelatnost

Stručna aktivnost

2015. - 2020.

Administrator sustava za provjeru podudarnosti tekstova Turnitin

Filozofski fakultet u Rijeci

Administrativna djelatnost

Rukovođenje na sveučilištu

26.05.2020. -

Ovlaštena osoba za korištenje CARNET-ove usluge Elektroničkih certifikata (TCS)

Filozofski fakultet u Rijeci

01.10.2014. - 01.10.2016.

ECTS koordinator za diplomski studij

Odsjek za psihologiju, Filozofski fakultet u Rijeci

1998. -

CARNet koordinator

Filozofski fakultet u Rijeci

Povjerenstva na sveučilištu

03.07.2020. -

Član

Povjerenstvo za online učenje Sveučilišta u Rijeci

Projekti

Znanstveni projekti

01.10.2014. - 30.11.2017.

Large-scale Multi-Agent Modelling of Massively Multi-player On-line Role-Playing Games

Istraživač

Hrvatska zaklada za znanost

2009. - 2012.

Modeliranje kognitivnih i neuronskih sustava

Suradnik

Nacionalna zaklada za znanost, visoko školstvo i tehnologijski razvitak Republike Hrvatske

2008. - 2014.

Razvoj informacijske infrastrukture i deduktivnih mehanizama Semantičkog Weba

Istraživač

Ministarstvo znanosti, obrazovanja i športa Republike Hrvatske