Paola Glavan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1992–2019
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ECSQARU | Probabilistic Consensus of the Blockchain Protocol. | Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer |
| 2009 | PPAM | Verification of Causality Requirements in Java Memory Model Is Undecidable. | Matko Botincan, Paola Glavan, Davor Runje |
| 1992 | CSL | Communicating Evolving Algebras. | Paola Glavan, Dean Rosenzweig |