Browsing by Author Glavan, Paola
Showing results 1 to 11 of 11
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Analyzing the exhaustiveness of the Synapse protocol | 7-Sep-2015 | Peer-to-Peer Networking and Applications; 8(5); 793-806 | M22 |
| Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola | Correctness and strong completeness for logic of time and knowledge | 2018 | 6th World Congress and School on Universal Logic, UNILOG'2018, Vichy, France, June 16-26, 2018; 451-452 | M34 |
| Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Umek, Anton | Correctness of the Chord Protocol | 20-Oct-2016 | Proceedings - 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; Beijing; China; 20 October 2016 through 21 October 2016; 547-552 | M33 |
| Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, Anton | Correctness of the chord protocol | 1-Jan-2020 | Computer Science and Information Systems; 17(1); 141-160 | M23 |
| Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Zeljić, Aleksandar; Glavan, Paola | Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant | 2013 | The first national conference “Information theory and complex systems”; 16-16 | M64 |
| Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Logical Framework for Proving the Correctness of the Chord Protocol | 2018 | 7th international conference Logic and Applications LAP 2018, Dubrovnik, Croatia, September 24-28, 2018; 29-31 | M34 |
| Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, Thomas | Probabilistic consensus of the blockchain protocol | 1-Jan-2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; Belgrade; Serbia; 18 September 2019 through 20 September 2019; 11726 LNAI; 469-480 | M33 |
| Todorović, Milan ; Zeljić, Aleksandar; Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Proving formal properties of the Chord protocol using Isabelle | 2015 | 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 59-60 | M34 |
| Glavan, Paola; Marinković, Bojan ; Ognjanović, Zoran | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | 2017 | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 18-20 | M34 |
| Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Proving properties of the Chord protocol using the ASM formalism | 17-Jan-2019 | Theoretical Computer Science; 756; 64-93 | M23 |
| Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | 1-Sep-2019 | Journal of Logic and Computation; 29(5); 803-830 | M21 |