| Internetska istraživanja: Sveučilišni priručnik M Maliković Sveučilište u Rijeci, Filozofski fakultet, 2015 | 25 | 2015 |
| What were the last moves? M Maliković, M Čubrilo International Review on Computers and Software 5 (1), 59-70, 2010 | 10 | 2010 |
| Utjecaj vizualne orijentacije skale za odgovaranje i broja stranica web-upitnika na rezultate ispitivanja M Maliković, D Švegar, S Šomođi Zbornik Veleučilišta u Rijeci 5 (1), 1-12, 2017 | 9 | 2017 |
| Artificial intelligent player's planning in massively multi-player on-line role-playing games M Malikovic, M Schatten Central european conference on information and intelligent systems, 3, 2015 | 8 | 2015 |
| Reasoning about epistemic actions and knowledge in multi-agent systems using Coq M Maliković, M Čubrilo Computer technology and application 2 (8), 616-627, 2011 | 4 | 2011 |
| Modeling epistemic actions in dynamic epistemic logic using Coq M Malikovic, M Cubrilo Central european conference on information and intelligent systems, 3, 2010 | 4 | 2010 |
| Developing heuristics for solving retrograde chess problems M Maliković Ph. D. Thesis. University of Zagreb, Croatia, 2008 | 4 | 2008 |
| Proving correctness of a KRK chess endgame strategy by using Isabelle/HOL and Z3 F Marić, P Janičić, M Maliković Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 3 | 2015 |
| Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving M Maliković, P Janičić ICGA Journal 36 (2), 81-99, 2013 | 3 | 2013 |
| A formal system for automated reasoning about retrograde chess problems using Coq M Maliković Proceedings of 19th Central European Conference on Information and …, 2008 | 3 | 2008 |
| Reasoning about multiagent systems by using OTTER system for automatic theorem proving on the example of card games M Maliković MS thesis. Unpublished. University of Zagreb, Faculty of Organization and …, 2006 | 3 | 2006 |
| Large-scale multi-agent modelling of massively multi-player on-line role-playing games–a summary M Schatten, BO Ðuric, I Tomišcić, N Ivković, M Konecki Central european conference on information and intelligent systems, 193-200, 2017 | 2 | 2017 |
| An Overview and Classification of Retrograde Chess Problems M Maliković 25th Central European Conference on Information and Intelligent Systems …, 2014 | 2 | 2014 |
| REASONING ABOUT THE GAME „CLUE “BY USING OTTER M Maliković Journal of Information and Organizational Sciences 30 (2), 241-249, 2006 | 2 | 2006 |
| 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 (1), 34:1–34:37, 2019 | 1 | 2019 |
| Formalization of a Strategy for the KRK Chess Endgame M Malikovic, M Cubrilo, P Janicic Central European Conference on Information and Intelligent Systems, 29, 2012 | 1 | 2012 |
| Formal System for Searching for the Shortest Proof Games using Coq M Maliković, M Čubrilo International Review on Computers and Software 5 (6), 746-756, 2010 | 1 | 2010 |
| Solving Shortest Proof Games by Generating Trajectories using Coq Proof Management System M Malikovic, M Cubrilo Central European Conference on Information and Intelligent Systems, 11, 2010 | 1 | 2010 |
| Using individually adapted progress indicator in web surveys M Maliković, M Tončić International Journal of Social Research Methodology 26 (1), 23-33, 2023 | | 2023 |
| THE SOLVING SIMPLE STATIC BEAM PROBLEM IN THE VISUAL BASIC PROGRAMMING LANGUAGE M Maliković, R Fumić, D Purković Polytechnic and design 8 (4), 235-244, 2020 | | 2020 |
