Marinkovic Bojan B,Ognjanovic Zoran D,Glavan Paola,Kos Anton,Umek Anton (2020) Correctness of the Chord Protocol, COMPUTER SCIENCE AND INFORMATION SYSTEMS, vol. 17, br. 1, str. 141-160 (Article) 

Marinkovic Bojan B,Glavan Paola,Ognjanovic Zoran D,Studer Thomas (2019) A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol, JOURNAL OF LOGIC AND COMPUTATION, vol. 29, br. 5, str. 803-830 (Article) 

Marinkovic Bojan B,Glavan Paola,Ognjanovic Zoran D (2019) Proving properties of the Chord protocol using the ASM formalism, THEORETICAL COMPUTER SCIENCE, vol. 756, br. , str. 64-93 (Article) 

Marinkovic Bojan B,Ciancaglini Vincenzo,Ognjanovic Zoran D,Glavan Paola,Liquori Luigi,Maksimovic Petar (2015) Analyzing the exhaustiveness of the Synapse protocol, PEER-TO-PEER NETWORKING AND APPLICATIONS, vol. 8, br. 5, str. 793-806 (Article)