Paola Glavan

According to our database, Paola Glavan authored at least 11 papers between 1992 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2020

Correctness of the Chord protocol.

Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek

Comput. Sci. Inf. Syst., 2020

2019

Proving properties of the Chord protocol using the ASM formalism.

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic

Theor. Comput. Sci., 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

Probabilistic Consensus of the Blockchain Protocol.

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2016

Correctness of the Chord Protocol.

Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Umek

Proceedings of the International Conference on Identification, 2016

2015

Analyzing the exhaustiveness of the Synapse protocol.

Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic

Peer-to-Peer Netw. Appl., 2015

2012

Description of the Chord Protocol using ASMs Formalism

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic

CoRR, 2012

2009

Verification of Causality Requirements in Java Memory Model Is Undecidable.

Matko Botincan, Paola Glavan, Davor Runje

Proceedings of the Parallel Processing and Applied Mathematics, 2009

1994

Evolving Algebra Model of Programming Language Semantics.

Paola Glavan, Dean Rosenzweig

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Towards a Mathematical Specification of the APE100 Architecture: The APESE Model.

Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1992

Communicating Evolving Algebras.

Paola Glavan, Dean Rosenzweig

Proceedings of the Computer Science Logic, 6th Workshop, 1992