@ARTICLE{
author={Ghilezan Silvia|0000-0003-2253-8285,Kasterovic Simona|,Liquori Luigi|,Marinkovic Bojan B|0000-0002-9533-0330,Ognjanovic Zoran D|0000-0003-2508-6480,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|0000-0002-9533-0330,Ognjanovic Zoran D|0000-0003-2508-6480,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|0000-0002-9533-0330,Glavan Paola|,Ognjanovic Zoran D|0000-0003-2508-6480,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|0000-0003-2508-6480,Marinkovic Bojan B|0000-0002-9533-0330,Segan-Radonjic Marija|,Maslikovic Dejan|0000-0002-0425-0686},
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|0000-0002-9533-0330,Glavan Paola|,Ognjanovic Zoran D|0000-0003-2508-6480},
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|0000-0002-9533-0330,Ognjanovic Zoran D|0000-0003-2508-6480,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|0000-0002-9533-0330,Ciancaglini Vincenzo|,Ognjanovic Zoran D|0000-0003-2508-6480,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|0000-0002-9533-0330,Ognjanovic Zoran D|0000-0003-2508-6480,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|0009-0003-9122-229X,Jelisavcic Vladislav S|,Marinkovic Bojan B|0000-0002-9533-0330,Todorovic Milan|0000-0002-7741-061X,Ognjanovic Zoran D|0000-0003-2508-6480,Tomovic Sinisa|,Stojanovic Vladimir|,Milutinovic Veljko M|0000-0002-9380-5232},
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|0000-0002-9533-0330,Liquori Luigi|,Ciancaglini Vincenzo|,Ognjanovic Zoran D|0000-0003-2508-6480},
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|0000-0002-9533-0330,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|0000-0002-9533-0330},
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|0000-0003-2508-6480,Butigan-Vucaj Tamara|,Marinkovic Bojan B|0000-0002-9533-0330},
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},
}