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
Slika profila

Paola Glavan

10797

Paola

Glavan

doc. dr. sc.

nije evidentirano
Naziv Akcije
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
nije evidentirano
nije evidentirano