Doc. Dr. Sc. Marko Maliković

Filozofski fakultet Odsjek za psihologiju

mobitel : 0915495320
e-pošta : marko.malikovic@ffri.hr
prostorija : F-342

Obrazovanje

1.1.2008. - Doktor informacijskih znanosti Fakultet organizacije i informatike u Varaždinu
1.1.2006. - Magistar informacijskih znanosti Fakultet organizacije i informatike u Varaždinu
1.1.1995. - Profesor matematike i informatike Pedagoški fakultet u Rijeci

Radno iskustvo

1.1.2011. - Docent Filozofski fakultet u Rijeci
1.1.2008. - 1.1.2011. Viši asistent Filozofski fakultet u Rijeci
1.1.2006. - 1.1.2008. Predavač Filozofski fakultet u Rijeci
1.1.1997. - 1.1.2006. Stručni suradnik na polju informacijskih znanosti Filozofski fakultet u Rijeci
1.1.1995. - 1.1.1997. Profesor matematike i informatike Srednja medicinska škola u Rijeci

Nastavna djelatnost

Kolegiji

- Upotreba računala u psihologiji
Psihologija
Filozofski fakultet u Rijeci
voditelj
Norma sati: 120
- Internetska istraživanja
Psihologija
Filozofski fakultet u Rijeci
voditelj
Norma sati: 90
- Primjena računala u nastavi
Psihologija
Filozofski fakultet u Rijeci
voditelj
Norma sati: 52,5
- Uvod u umjetnu inteligenciju
Psihologija
Filozofski fakultet u Rijeci
voditelj
Norma sati: 52,5
- Programski jezik C++
Politehnika
Filozofski fakultet u Rijeci
voditelj
Norma sati: 105
- Programski jezici
Politehnika
Filozofski fakultet u Rijeci
voditelj
Norma sati: 82,5

Mentor u završnim radovima

1.1.2017. - Izrada programa za problem gredni nosač iz područja statike u programskom jeziku Visual Basic
Fumić Robert
Politehnika
Filozofski fakultet u Rijeci
1.1.2016. - Algoritmi za sortiranje u programskom jeziku C++
Alen Jakus
Politehnika
Filozofski fakultet u Rijeci
1.1.2016. - Upotreba informacijske i komunikacijske tehnologije u nastavi
Mateja Činko
Dvopredmetni diplomski studij pedagogije i informatike
Filozofski fakultet u Rijeci
1.1.2015. - Rješavanje nekih klasičnih kombinatornih problema u programskom jeziku C++
Robert Cvjetković
Politehnika
Filozofski fakultet u Rijeci
1.1.2013. - Efekti djelovanja dizajna web upitnika na aspekte odgovaranja
Stjepan Šomođi
Psihologija
Filozofski fakultet u Rijeci

Izdavaštvo

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

Financiranje: Filozofski fakultet u Rijeci

Znanstvena i umjetnička djelatnost

Znanstveni radovi

1. Maliković, M., Švegar, D., Šomođi, S.
Utjecaj vizualne orijentacije skale za odgovaranje i broja stranica web-upitnika na rezultate ispitivanja
Zbornik Veleučilišta u Rijeci 5 1-12 - 2017. https://www.veleri.hr/files/datoteke/knjige/digi/Veleuciliste%20Zbornik%20za%20web_2017.pdf

2. M. Maliković, M. Schatten
Artificial Intelligent Player’s Planning in Massively Multi-Player On-Line Role-Playing Games
Proceedings of 26th Central European Conference on Information and Intelligent Systems pp. 3-10 - 2015.

3. M. Maliković
An Overview and Classification of Retrograde Chess Problems
Proceedings of 25th Central European Conference on Information and Intelligent Systems pp. 256-263 - 2014.

4. M. Maliković
SAT-based Analysis of the Legality of Chess Endgame Positions
Proceedings of 25th Central European Conference on Information and Intelligent Systems pp. 264-270 - 2014.

5. M. Maliković; P. Janičić
Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving
ICGA Journal 36 pp. 81-99 - 2013.

6. M. Maliković; M. Čubrilo; P. Janičić
Formalization of a Strategy for the KRK Chess Endgame
Proceedings of 23st Central European Conference on Information and Intelligent Systems pp. 29-36 - 2012.

7. M. Maliković; M. Čubrilo
Reasoning about Epistemic Actions and Knowledge in Multi-agent Systems using Coq
Computer Technology and Application 2 pp. 616-627 - 2011.

8. M. Maliković; M. Čubrilo
What Were the Last Moves?
International Review on Computers and Software (IRECOS) 5 pp. 59-70 - 2010.

9. M. Maliković; M. Čubrilo
A knowledge-based system for heuristic search in a competitive multiagent game
International Review on Computers and Software (IRECOS) 5 pp. 209-218 - 2010.

10. M. Maliković; M. Čubrilo
Modeling Epistemic Actions in Dynamic Epistemic Logic using Coq
Proceedings of 21st Central European Conference on Information and Intelligent Systems pp. 3-10 - 2010.

11. M. Maliković; M. Čubrilo
Solving Shortest Proof Games by Generating Trajectories using Coq Proof Management System
Proceedings of 21st Central European Conference on Information and Intelligent Systems pp. 11-18 - 2010.

12. M. Maliković; M. Čubrilo
Formal System for Searching for the Shortest Proof Games using Coq
International Review on Computers and Software (IRECOS) 5 pp. 746-756 - 2010.

13. M. Maliković
A formal system for automated reasoning about retrograde chess problems using Coq
Proceedings of 19th Central European Conference on Information and Intelligent Systems pp. 465-475 - 2008.

14. M. Maliković
Reasoning about the Game "Clue" by using OTTER
Journal of Information and Organizational Sciences 30 pp. 241-249 - 2006.

15. F. Marić: P. Janičić; M. Maliković.
Proving Correctness of a KRK Chess Endgame Strategy by using Isabelle/HOL and Z3
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, 2015.

Kongresna priopćenja

1.
M. Maliković, M. Schatten
Artificial Intelligent Player’s Planning in Massively Multi-Player On-Line Role-Playing Games Usmeni 26th Central European Conference on Information and Intelligent Systems Varaždin, Croatia - 24.9.2015.
2.
M. Maliković
An Overview and Classification of Retrograde Chess Problems Usmeno izlaganje 25th Central European Conference on Information and Intelligent Systems Varaždin, Croatia - 1.1.2014.
3.
M. Maliković
SAT-based Analysis of the Legality of Chess Endgame Positions Usmeno izlaganje 25th Central European Conference on Information and Intelligent Systems Varaždin, Croatia - 1.1.2014.
4.
M. Maliković, M. Čubrilo, P. Janičić
Formalization of a Strategy for the KRK Chess Endgame Usmeno izlaganje 23st Central European Conference on Information and Intelligent Systems Varaždin, Hrvatska - 1.1.2012.
5.
M. Maliković, M. Čubrilo
Modeling Epistemic Actions in Dynamic Epistemic Logic using Coq Usmeno izlaganje 21st Central European Conference on Information and Intelligent Systems Varaždin, Hrvatska - 1.1.2010.
6.
M. Maliković, M. Čubrilo
Solving Shortest Proof Games by Generating Trajectories using Coq Proof Management System Usmeno izlaganje 21st Central European Conference on Information and Intelligent Systems Varaždin, Hrvatska - 1.1.2010.
7.
M. Maliković
A formal system for automated reasoning about retrograde chess problems using Coq Usmeno izlaganje 19th Central European Conference on Information and Intelligent Systems Varaždin, Hrvatska - 1.1.2008.

Znanstveni projekti

1. 1.1.2014. -
Large-scale Multi-Agent Modelling of Massively Multi-player On-line Role-Playing Games; Istraživač; Hrvatska zaklada za znanost; ;
2. 1.1.2009. - 1.1.2012.
Modeliranje kognitivnih i neuronskih sustava; Suradnik; Nacionalna zaklada za znanost, visoko školstvo i tehnologijski razvitak Republike Hrvatske; ;
3. 1.1.2008. - 1.1.2014.
Razvoj informacijske infrastrukture i deduktivnih mehanizama Semantičkog Weba; Istraživač; Ministarstvo znanosti, obrazovanja i športa Republike Hrvatske; ;

Znanstveni skupovi

1. 23.9.2015. - 25.9.2015.
26th Central European Conference on Information and Intelligent Systems Varaždin, Croatia Voditelj sekcije "Intelligent information systems and intelligent transport systems"
2. 3.2.2012. - 4.2.2012.
Fifth Workshop on Formal and Automated Theorem Proving and Applications Beograd, Srbija Izlagač
3. 4.2.2011. - 5.2.2011.
Fourth Workshop on Formal and Automated Theorem Proving and Applications Beograd, Srbija Izlagač
4. 17.12.2008. -
Seminar on Formal Methods and Applications Varaždin Izlagač

Uredništva časopisa

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

Recenzije

1. 2010. Recenzent znanstvenih radova za Central European Conference on Information and Intelligent Systems

Stručna djelatnost

Stručna aktivnost

1.
1.1.2015. -
Administrator sustava za provjeru podudarnosti tekstova Turnitin
Filozofski fakultet u Rijeci  

Administrativna djelatnost

Rukovođenje na sveučilištu

1. 1.1.2014. - - ECTS koordinator za diplomski studij
Odsjek za psihologiju, Filozofski fakultet u Rijeci