Internetska istraživanja: Sveučilišni priručnik M Maliković Sveučilište u Rijeci, Filozofski fakultet, 2015 | 29 | 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 | 9 | 2015 |
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 | 7 | 2017 |
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 |
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 |
Using individually adapted progress indicator in web surveys M Maliković, M Tončić International Journal of Social Research Methodology 26 (1), 23-33, 2023 | 1 | 2023 |
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 |
Utječe li veličina web-elemenata upitnika na kvalitetu rezultata u web-ispitivanjima? M Maliković Zbornik Veleučilišta u Rijeci 12 (1), 109-124, 2024 | | 2024 |