Communicating Evolving Algebras. - Paola Glavan; Dean Rosenzweig (CSL, 1992)

Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. - Egon Börger; Giuseppe Del Castillo; Paola Glavan; Dean Rosenzweig (IFIP Congress (1), 1994)

Evolving Algebra Model of Programming Language Semantics. - Paola Glavan; Dean Rosenzweig (IFIP Congress (1), 1994)

Verification of Causality Requirements in Java Memory Model Is Undecidable. - Matko Botincan; Paola Glavan; Davor Runje (PPAM (2), 2009)

Description of the Chord Protocol using ASMs Formalism - Bojan Marinkovic; Paola Glavan; Zoran Ognjanovic (CoRR, 2012)

Analyzing the exhaustiveness of the Synapse protocol. - Bojan Marinkovic; Vincenzo Ciancaglini; Zoran Ognjanovic; Paola Glavan; Luigi Liquori; Petar Maksimovic 001 (Peer-to-Peer Netw. Appl., 2015)

Correctness of the Chord Protocol. - Bojan Marinkovic; Zoran Ognjanovic; Paola Glavan; Anton Umek (IIKI, 2016)

Probabilistic Consensus of the Blockchain Protocol. - Bojan Marinkovic; Paola Glavan; Zoran Ognjanovic; Dragan Doder; Thomas Studer (ECSQARU, 2019)

A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. - Bojan Marinkovic; Paola Glavan; Zoran Ognjanovic; Thomas Studer (J. Log. Comput., 2019)

Proving properties of the Chord protocol using the ASM formalism. - Bojan Marinkovic; Paola Glavan; Zoran Ognjanovic (Theor. Comput. Sci., 2019)

Correctness of the Chord protocol. - Bojan Marinkovic; Zoran Ognjanovic; Paola Glavan; Anton Kos; Anton Umek (Comput. Sci. Inf. Syst., 2020)