Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola ; Kos, Anton ; Umek, Anton
Correctness of the Chord Protocol // Computer science and information systems, 17 (2020), 1; 141-160
Bojan Marinković, Paola Glavan, Zoran Ognjanović, Dragan Doder, Thomas Studer
Probabilistic Consensus of the Blockchain Protocol // LNCS, volume 11726. 2019. str. 469-480 doi: 10.1007/978-3-030-29765-7_39
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran
Proving properties of the Chord protocol using the ASM formalism // Theoretical computer science, 756 (2019), 64-93. doi: 10.1016/j.tcs.2018.10.025
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran ; Studer, Thomas
A Temporal Epistemic Logic with a Non-rigid Set of Agents for Analyzing the Blockchain Protocol // Journal of logic and computation, exz007, 29 (2019), 5; 803-830. doi: https://doi.org/10.1093/logcom/exz007
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran
Correctness and strong completeness for logic of time and knowledge // Handbook of the 6th World Congress and School on Universal Logic, UNILOG'2018 / Beziau, Jean-Yves ; Buchsbaum, Arthur ; Rey, Christophe (ur.). Vichy, 2018. str. 451-452
Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran
Logical Framework for Proving the Correctness of Chord Protocol // Book of Abstracts of the 7th International Conference on Logic and. Applications - LAP 2018 / Ghilezan, S. ; Ognjanović, Zoran (ur.). 2018. str. 29-31
Glavan, Paola ; Marinkovic, Bojan ; Ognjanovic, Zoran
Proving Properties of Peer-to-Peer Protocols using ASMs Formalism-An Overview // Logic and Applications LAP 2017 / Ghilezan, S, Ognjanovic, Z. (ur.). Dubrovnik, 2017. str. 10-13
Marinkovivić, Bojan ; Ognjanović, Zoran ; Glavan, Paola ; Umek, Anton
Correctness of the Chord Protocol // International Conference on Identication, Information and Knowledge in the Internet of Things - IIKI 2016. 2016. str. 217-223 doi: 10.1109/IIKI.2016.65
Marinković, Bojan ; Ciancaglini, Vincenzo ; Ognjanović, Zoran ; Glavan, Paola ; Liquori, Luigi ; Maksimović, Petar
Analyzing the exhaustiveness of the Synapse protocol // Peer-to-Peer Networking and Applications, 8 (2015), 5; 793-806
Todorovic, Milan, Zeljić, Aleksandar ; Marinkovic, Bojan ; Glavan, Paola ; Ognjanovic, Zoran
Proving formal properties of the Chord protocol using Isabelle // Logic and Applications, 2015 / Ghilezan S, Ognjanovic Z. (ur.). Dubrovnik, 2015. str. 15-18