Pregled po CROSBI profilu: Marko Maliković (CROSBI Profil: 23648, MBZ: 291461)
Pronađeno 26 radova
-
1.Maliković, Marko; Tončić, MarkoUsing individually adapted progress indicator in web surveys // International Journal of Social Research Methodology, 24 (2021), 3; ., 11 doi:10.1080/13645579.2021.1962131 (međunarodna recenzija, članak, znanstveni)
-
2.Maliković, Marko; Fumić, Robert; Purković, DamirIzrada programa za problem gredni nosač iz područja statike u programskom jeziku Visual Basic // Polytechnic and design, 8 (2020), 4; 235-244 doi:10.19279/TVZ.PD.2020-8-4-04 (recenziran, članak, stručni)
-
3.Janičić, Predrag; Marić, Filip; Maliković, MarkoComputer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture // Logical Methods in Computer Science, 15 (2019), 1; 34, 37 doi:10.23638/LMCS-15(1:34)2019 (međunarodna recenzija, članak, znanstveni)
-
4.Maliković, Marko; Švegar, DomagojUtječe li tehnika visoke prepreke na rezultate web-ispitivanja? // Zbornik Veleučilišta u Rijeci / Journal of the Polytechnic of Rijeka, 7 (2019), 1; 17-30 (međunarodna recenzija, članak, znanstveni)
-
5.Maliković, Marko; Švegar, Domagoj; Borković, SvenWeb-ispitivanja, uređaji i web-forme // Politehnika, 1 (2017), 1; 7-16 (domaća recenzija, članak, znanstveni)
-
6.Schatten, Markus; Okreša Ðurić, Bogdan; Tomičić, Igor; Ivković, Nikola; Konecki, Mario; Ševa, Jurica; Maliković, Marko; Terna, PietroLarge-Scale Multi-Agent Modelling of Massively Multi-Player On-Line Role-Playing Games – A Summary // Central European Conference on Information and Intelligent Systems / Strahonja, Vjeran ; Kirinić, Valentina (ur.).
Varaždin: Faculty of Organization and Informatics, University of Zagreb, 2017. str. 193-200 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
7.Maliković, Marko; Švegar, Domagoj; Šomođi, StjepanUtjecaj vizualne orijentacije skale za odgovaranje i broja stranica web-upitnika na rezultate ispitivanja // Zbornik Veleučilišta u Rijeci / Journal of the Polytechnic of Rijeka, 5 (2017), 1; 1-12 (međunarodna recenzija, članak, znanstveni)
-
8.Maliković, MarkoInternetska istraživanja, 2015
-
9.Maliković, Marko; Schatten, MarkusArtificial Intelligent Player’s Planning in Massively Multi-Player On-Line Role-Playing Games // Proceedings of 26th Central European Conference on Information and Intelligent Systems, 2015, Varaždin, Croatia
Varaždin: Fakultet organizacije i informatike Sveučilišta u Zagrebu, 2015. str. 3-10 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
10.Marić, Filip; Janičić, Predrag; Maliković, MarkoProving Correctness of a KRK Chess Endgame Strategy by using Isabelle/HOL and Z3 // Automated Deduction - CADE-25 / Amy P. Felty and Aart Middeldorp (ur.).
Berlin: Springer, 2015. str. 256-271 doi:10.1007/978-3-319-21401-6_17 (ostalo, recenziran, cjeloviti rad (in extenso), znanstveni) -
11.Maliković, MarkoSAT-based Analysis of the Legality of Chess Endgame Positions // Proceedings of 25th Central European Conference on Information and Intelligent Systems
Varaždin, 2014. str. 264-270 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
12.Maliković, MarkoAn Overview and Classification of Retrograde Chess Problems // Proceedings of 25th Central European Conference on Information and Intelligent Systems
Varaždin, 2014. str. 256-263 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
13.Šomođi, StjepanEfekti djelovanja dizajna web upitnika na aspekte odgovaranja, 2013., diplomski rad, diplomski, Filozofski fakultet, Rijeka
-
14.Maliković, Marko; Janičić, PredragProving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving // ICGA Journal, 36 (2013), 2; 81-99 (međunarodna recenzija, članak, znanstveni)
-
15.Maliković, Marko; Čubrilo, Mirko; Janičić, PredragFormalization of a Strategy for the KRK Chess Endgame // Central European Conference on Information and Intelligent Systems
Hrvatska, 2012. (poster, sažetak, ostalo) -
16.Maliković, Marko; Čubrilo, Mirko; Janičić, PredragFormalization of a Strategy for the KRK Chess Endgame // Proceedings of 23st Central European Conference on Information and Intelligent Systems
Varaždin, 2012. str. 29-36 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
17.Maliković, Marko; Čubrilo, MirkoReasoning about Epistemic Actions and Knowledge in Multi-agent Systems using Coq // Computer technology and application, 2 (2011), 8; 616-627 (podatak o recenziji nije dostupan, članak, znanstveni)
-
18.Maliković, Marko; Čubrilo, MirkoFormal System for Searching for the Shortest Proof Games using Coq // International Review on Computers and Software, 5 (2010), 6; 746-756 (međunarodna recenzija, članak, znanstveni)
-
19.Maliković, Marko; Čubrilo, MirkoSolving Shortest Proof Games by Generating Trajectories using Coq Proof Management System // Proceedings of 21st Central European Conference on Information and Intelligent Systems, 2010
Varaždin, 2010. str. 11-18 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
20.Maliković, Marko; Čubrilo, MirkoModeling Epistemic Actions in Dynamic Epistemic Logic using Coq // Proceedings of 21st Central European Conference on Information and Intelligent Systems, 2010
Varaždin, 2010. str. 3-10 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
21.Maliković, Marko; Čubrilo, MirkoA knowledge-based system for heuristic search in a competitive multiagent game // International Review on Computers and Software, 5 (2010), 2; 209-218 (međunarodna recenzija, članak, znanstveni)
-
22.Maliković, Marko; Čubrilo, MirkoWhat Were the Last Moves? // International Review on Computers and Software, 5 (2010), 1; 59-70 (međunarodna recenzija, članak, znanstveni)
-
23.Maliković, MarkoRazvoj heuristika za rješavanje problema retrogradne šahovske analize, 2008., doktorska disertacija, Fakultet organizacije i informatike, Varaždin
-
24.Maliković, MarkoA formal system for automated reasoning about retrograde chess problems using Coq // Proceedings of 19th Central European Conference on Information and Intelligent Systems
Varaždin, 2008. str. 465-475 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
25.Maliković, MarkoRezoniranje o višeagentnim sustavima na primjeru kartaških igara pomoću sustava za automatsko dokazivanje tvrdnji OTTER, 2006., magistarski rad, Fakultet organizacije i informatike, Varaždin
