@ARTICLE{
author={Ghilezan Silvia,Kasterovic Simona,Liquori Luigi,Marinkovic Bojan B,Ognjanovic Zoran D,Stefanovic Tamara},
year={2022},
title={Federating Digital Contact Tracing using Structured Overlay Networks},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={19},
number={3},
pages={1261-1282},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ognjanovic Zoran D,Glavan Paola,Kos Anton,Umek Anton},
year={2020},
title={Correctness of the Chord Protocol},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={17},
number={1},
pages={141-160},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Glavan Paola,Ognjanovic Zoran D,Studer Thomas},
year={2019},
title={A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={29},
number={5},
pages={803-830},
document_type={Article},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Marinkovic Bojan B,Segan-Radonjic Marija,Maslikovic Dejan},
year={2019},
title={Cultural Heritage Digitization in Serbia: Standards, Policies, and Case Studies},
journal={SUSTAINABILITY},
volume={11},
number={14},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Glavan Paola,Ognjanovic Zoran D},
year={2019},
title={Proving properties of the Chord protocol using the ASM formalism},
journal={THEORETICAL COMPUTER SCIENCE},
volume={756},
number={},
pages={64-93},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ognjanovic Zoran D,Glavan Paola,Umek Anton},
year={2016},
title={Correctness of the Chord Protocol},
journal={2016 INTERNATIONAL CONFERENCE ON IDENTIFICATION, INFORMATION AND KNOWLEDGE IN THE INTERNET OF THINGS (IIKI)},
volume={},
number={},
pages={547-552},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ciancaglini Vincenzo,Ognjanovic Zoran D,Glavan Paola,Liquori Luigi,Maksimovic Petar},
year={2015},
title={Analyzing the exhaustiveness of the Synapse protocol},
journal={PEER-TO-PEER NETWORKING AND APPLICATIONS},
volume={8},
number={5},
pages={793-806},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ognjanovic Zoran D,Doder Dragan J,Perovic Aleksandar M},
year={2014},
title={A propositional linear time logic with time flow isomorphic to omega(2)},
journal={JOURNAL OF APPLIED LOGIC},
volume={12},
number={2},
pages={208-229},
document_type={Article},
} 

@ARTICLE{
author={Mihajlovic Aleksandar,Jelisavcic Vladislav S,Marinkovic Bojan B,Todorovic Milan,Ognjanovic Zoran D,Tomovic Sinisa,Stojanovic Vladimir,Milutinovic Veljko M},
year={2014},
title={Serbia Forum - Digital Cultural Heritage Portal},
journal={IMAGE AND SIGNAL PROCESSING, ICISP 2014},
volume={8509},
number={},
pages={265-271},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Bojan B,Liquori Luigi,Ciancaglini Vincenzo,Ognjanovic Zoran D},
year={2011},
title={A Distributed Catalog for Digitized Cultural Heritage},
journal={ICT INNOVATIONS 2010},
volume={83},
number={},
pages={176-186},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Doder Dragan J,Marinkovic Bojan B,Maksimovic Petar,Perovic Aleksandar M},
year={2010},
title={A Logic with Conditional Probability Operators},
journal={PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD},
volume={87},
number={101},
pages={85-96},
document_type={Article},
} 

@ARTICLE{
author={Liquori Luigi,Tedeschi Cedric,Vanni Laurent,Bongiovanni Francesco,Ciancaglini Vincenzo,Marinkovic Bojan B},
year={2010},
title={Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks},
journal={NETWORKING 2010, PROCEEDINGS},
volume={6091},
number={},
pages={67-82},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ognjanovic Zoran D,Butigan-Vucaj Tamara,Marinkovic Bojan B},
year={2009},
title={NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia},
journal={METADATA AND SEMANTICS},
volume={},
number={},
pages={45-54},
document_type={Proceedings Paper},
}