Portfelj
Kontakt
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
2024.
Utječe li veličina web-elemenata upitnika na kvalitetu rezultata u web-ispitivanjima?
Maliković Marko
Zbornik Veleučilišta u Rijeci - 12 109-124
https://hrcak.srce.hr/file/458941
A1 WOS
2023.
Using individually adapted progress indicator in web surveys
Maliković, Marko; Tončić, Marko
International Journal of Social Research Methodology - 26 23-33
https://doi.org/10.1080/13645579.2021.1962131
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
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
2023.
Politehnika: Časopis za tehnički odgoj i obrazovanje (1 rad)
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