Pregled po CROSBI profilu: Paola Glavan (CROSBI Profil: 13722, MBZ: 170363)
Pronađeno 19 radova
-
1.Marinković, Bojan; Ognjanović, Zoran; Glavan, Paola; Kos, Anton; Umek, AntonCorrectness of the Chord Protocol // Computer science and information systems, 17 (2020), 1; 141-160 (međunarodna recenzija, članak, znanstveni)
-
2.Bojan Marinković, Paola Glavan, Zoran Ognjanović, Dragan Doder, Thomas StuderProbabilistic Consensus of the Blockchain Protocol // LNCS, volume 11726
Beograd, Srbija, 2019. str. 469-480 doi:10.1007/978-3-030-29765-7_39 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), ostalo) -
3.Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran; Studer, ThomasA 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://.org/10.1093/logcom/exz007 (međunarodna recenzija, članak, ostalo)
-
4.Marinković, Bojan; Glavan, Paola; Ognjanović, ZoranProving properties of the Chord protocol using the ASM formalism // Theoretical computer science 756, 756 (2019), 64-93 doi:10.1016/j.tcs.2018.10.025 (međunarodna recenzija, članak, znanstveni)
-
5.Marinković, Bojan; Glavan, Paola; Ognjanović, ZoranCorrectness 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 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
6.Marinković, Bojan; Glavan, Paola; Ognjanović, ZoranLogical 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.).
Dubrovnik, Hrvatska, 2018. str. 29-31 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
7.Glavan, Paola; Marinkovic, Bojan; Ognjanovic, ZoranProving 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 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), ostalo) -
8.Marinkovivić, Bojan; Ognjanović, Zoran; Glavan, Paola; Umek, AntonCorrectness of the Chord Protocol // International Conference on Identication, Information and Knowledge in the Internet of Things - IIKI 2016
Peking, Kina, 2016. str. 217-223 doi:10.1109/IIKI.2016.65 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
9.Todorovic, Milan, Zeljić, Aleksandar; Marinkovic, Bojan; Glavan, Paola; Ognjanovic, ZoranProving formal properties of the Chord protocol using Isabelle // Logic and Applications, 2015 / Ghilezan S, Ognjanovic Z. (ur.).
Dubrovnik, 2015. str. 15-18 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), ostalo) -
10.Marinković, Bojan; Ciancaglini, Vincenzo; Ognjanović, Zoran; Glavan, Paola; Liquori, Luigi; Maksimović, PetarAnalyzing the exhaustiveness of the Synapse protocol // Peer-to-Peer Networking and Applications, 8 (2015), 5; 793-806 (međunarodna recenzija, članak, znanstveni)
-
11.Mićić, Jadranka; Antunac-Majcen, Morana; Glavan, Paola; Gregorek, Petar; Jakšetić, JulijeNastava matematike na prvoj godini Fakulteta strojarstva i brodogradnje Sveučilišta u Zagrebu // Poučak : časopis za metodiku i nastavu matematike, 11 (2010), 21; 61-74 (podatak o recenziji nije dostupan, članak, stručni)
-
12.Botinčan, Matko; Glavan, Paola; Runje, DavorVerication of Causality Requirements in Java Memory Model is Undecidable // Proceedings of the Eighth International Conference on Parallel Processing and Applied Mathematics (PPAM 2009)
Berlin: Springer, 2010. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
13.Glavan PaolaFormalization of the Java Memory Model, 2009., doktorska disertacija, PMF, Zagreb
-
14.Botinčan, Matko; Glavan, Paola; Runje, DavorDistributed Algorithms: A Case Study of the Java Memory Model // Proceedings of the ASM'07 - The 14th International ASM Workshop / Andreas Prinz (ur.).
Grimstad: Agder University College, Faculty of Engineering and Science, ICT Department, 2007. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
15.Glavan, Paola; Rosenzweig, DeanNonatomic Runs of Distributed Evolving Algebras // Pro- ceedings of the 16th International Conference on Information Technology In- terfaces, / Vlatko Ceric, Vesna Hljuz Dobric (ur.).
Pula: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 1994. str. 373-378 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
16.Boerger, Egon, Del Castillo, Giuseppe; Glavan, Paola; Rosenzweig, DeanTowards a Mathematical Speci cation of the APE100 Architecture: The APESE Model // IFIP 13th World Computer Congress 1994 / B.Pehrson, I.Simon, (ur.).
Hamburg: North-Holland 1994, 1994. str. 396-401 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
17.Glavan, Paola; Rosenzweig, DeanEvolving Algebra Model of Programming Language Semantics // IFIP 13th World Computer Congress, volume I: Technology/Foundations / B. Pehrson, I. Simon (ur.).
Amsterdam: Elsevier, 1994. str. 416-422 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
18.E. Boerger, G. Del Castillo, P. Glavan, D. RosenzweigTowards a Mathematical Specification of the APE100 Architecture // IFIP 13th World Computer Congress, volume I: Technology/Foundations / B. Pehrson, A. Simon (ur.).
Amsterdam: Elsevier, 1994. str. 396-401 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
19.Glavan, Paola; Rosenzweig, DeanCommunicating Evolving Algebras // Computer Science Logic / E. Boerger, H. Kleine Buenning, G. Jaeger, S. Martini, M.M. Richter (ur.).
Berlin: Springer, LNCS 702, 1993. str. 182-215 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
