Bojan Marinkovic

According to our database, Bojan Marinkovic authored at least 15 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Federating digital contact tracing using structured overlay networks.

Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic

Comput. Sci. Inf. Syst., 2022

2020

Correctness of the Chord protocol.

Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek

Comput. Sci. Inf. Syst., 2020

2019

Proving properties of the Chord protocol using the ASM formalism.

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic

Theor. Comput. Sci., 2019

A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol.

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Thomas Studer

J. Log. Comput., 2019

Probabilistic Consensus of the Blockchain Protocol.

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2016

Correctness of the Chord Protocol.

Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Umek

Proceedings of the International Conference on Identification, 2016

2015

Analyzing the exhaustiveness of the Synapse protocol.

Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic

Peer-to-Peer Netw. Appl., 2015

2014

A propositional linear time logic with time flow isomorphic to ω².

Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic

J. Appl. Log., 2014

Serbia Forum - Digital Cultural Heritage Portal.

Aleksandar Mihajlovic, Vladisav Jelisavcic, Bojan Marinkovic, Milan Todorovic, Zoran Ognjanovic, Sinisa Tomovic, Vladimir Stojanovic, Veljko Milutinovic

Proceedings of the Image and Signal Processing - 6th International Conference, 2014

2013

A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2.

Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic

CoRR, 2013

2012

Description of the Chord Protocol using ASMs Formalism

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic

CoRR, 2012

2010

Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks.

Luigi Liquori, Cédric Tedeschi, Laurent Vanni, Francesco Bongiovanni, Vincenzo Ciancaglini, Bojan Marinkovic

Proceedings of the NETWORKING 2010, 2010

A Distributed Catalog for Digitized Cultural Heritage.

Bojan Marinkovic, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic

Proceedings of the ICT Innovations 2010 - Second International Conference, 2010

2007

NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia.

Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic

Proceedings of the Metadata and Semantics, 2007

2006

A Proposal for the National Standard for Describing Digitized Heritage.

Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic

Proceedings of the Digital Spectrum: Integrating Technology and Culture - Proceedings of the 10th International Conference on Electronic Publishing held in Bansko, 2006