| Communicating evolving algebras P Glavan, D Rosenzweig International Workshop on Computer Science Logic, 182-215, 1992 | 48 | 1992 |
| Towards a Mathematical Speci cation of the APE100 Architecture: The APESE Model E Börger, G Del Castillo, P Glavan, D Rosenzweig IFIP 13th World Computer Congress 1994, 396-401, 1994 | 21 | 1994 |
| A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol B MarinkoviĆ, P Glavan, Z OgnjanoviĆ, T Studer Journal of logic and computation 29 (5), 803-830, 2019 | 18 | 2019 |
| Verification of causality requirements in Java memory model is undecidable M Botinčan, P Glavan, D Runje Parallel Processing and Applied Mathematics: 8th International Conference …, 2010 | 7 | 2010 |
| Evolving algebra model of programming language semantics P Glavan, D Rosenzweig IFIP 14th World Computer Congress, 416-422, 1994 | 7 | 1994 |
| Analyzing the exhaustiveness of the synapse protocol B Marinković, V Ciancaglini, Z Ognjanović, P Glavan, L Liquori, ... Peer-to-Peer Networking and Applications 8 (5), 793-806, 2015 | 5 | 2015 |
| Correctness of the Chord protocol AU B. Marinkovic, P. Glavan, Z. Ognjanovic, A. Kos Computer Science and Information Systems, 17 (2020) 1, 141–160, 2020 | 4* | 2020 |
| Proving properties of the Chord protocol using the ASM formalism B Marinković, P Glavan, Z Ognjanović Theoretical Computer Science 756, 64-93, 2019 | 4 | 2019 |
| Probabilistic consensus of the blockchain protocol B Marinković, P Glavan, Z Ognjanović, D Doder, T Studer Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 15th …, 2019 | 4 | 2019 |
| Distributed Algorithms. A Case Study of the Java Memory Model M Botincan, P Glavan, D Runje Proc. of the 14th Int. ASM Workshop, 2007 | 4 | 2007 |
| Formal description of the chord protocol using ASM B Marinkovic, P Glavan, Z Ognjanovic arXiv preprint arXiv:1208.0712, 2012 | 2 | 2012 |
| Description of the Chord Protocol using ASMs Formalism B Marinković, P Glavan, Z Ognjanović arXiv preprint arXiv:1208.0712, 2012 | 1 | 2012 |
| Correctness and strong completeness for logic of time and knowledge B Marinkovic, Z Ognjanovic, P Glavan Handbook of the 6th World Congress and School on Universal Logic, 437, 2018 | | 2018 |
| Blockchain Logic B Marinkovic, P Glavan, Z Ognjanovic, T Studer | | 2018 |
| Correctenss and strong completeness for logic of time and knowledge ZO Paola Glavan, Bojan Marinković Jean-Yves Beziau, Arthur Buchsbaum and Christophe Rey (Eds.), Handbook of …, 2018 | | 2018 |
| Logical Framework for Proving the Correctness of the Chord Protocol B Marinkovic, Z Ognjanovic, P Glavan Dubrovnik 25, 09, 2018 | | 2018 |
| Proving Properties of Peer-to-Peer Protocols using ASMs Formalism-An Overview P Glavan, B Marinkovic, Z Ognjanovic Logic and Applications LAP 2017, 10-13, 2017 | | 2017 |
| Correctness of the Chord Protocol B Marinkovivić, Z Ognjanović, P Glavan, A Umek Information and Knowledge in the Internet of Things-IIKI 2016, 217-223, 2016 | | 2016 |
| Correctness of the Chord Protocol P Glavan, B Marinković, Z Ognjanović, A Umek Proceedings of International conference on identification, information and …, 2016 | | 2016 |
| Correctness of the Chord Protocol G P, M B, O Z, U A INTERNATIONAL CONFERENCE ON IDENTIFICATION, INFORMATION AND KNOWLEDGE IN THE …, 2016 | | 2016 |
