Bojan Marinkovic

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 7

Top Topics

Epistemic Logic

Formal Analysis

Overlay Network

Top Venues

Comput. Sci. Inf. Syst.

J. Log. Comput.

Peer-to-Peer Netw. Appl.

Publications

Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic
Federating digital contact tracing using structured overlay networks. Comput. Sci. Inf. Syst. 19 (3) (2022)
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek
Correctness of the Chord protocol. Comput. Sci. Inf. Syst. 17 (1) (2020)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic
Proving properties of the Chord protocol using the ASM formalism. Theor. Comput. Sci. 756 (2019)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Thomas Studer
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. J. Log. Comput. 29 (5) (2019)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer
Probabilistic Consensus of the Blockchain Protocol. ECSQARU (2019)
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek
Correctness of the Chord Protocol. CoRR (2017)
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Umek
Correctness of the Chord Protocol. IIKI (2016)
Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic
Analyzing the exhaustiveness of the Synapse protocol. Peer-to-Peer Netw. Appl. 8 (5) (2015)
Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic
. J. Appl. Log. 12 (2) (2014)
Aleksandar Mihajlovic, Vladisav Jelisavcic, Bojan Marinkovic, Milan Todorovic, Zoran Ognjanovic, Sinisa Tomovic, Vladimir Stojanovic, Veljko Milutinovic
Serbia Forum - Digital Cultural Heritage Portal. ICISP (2014)
Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2. CoRR (2013)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic
Description of the Chord Protocol using ASMs Formalism CoRR (2012)
Luigi Liquori, Cédric Tedeschi, Laurent Vanni, Francesco Bongiovanni, Vincenzo Ciancaglini, Bojan Marinkovic
Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. Networking (2010)
Bojan Marinkovic, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic
A Distributed Catalog for Digitized Cultural Heritage. ICT Innovations (2010)
Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic
NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia. MTSR (2007)
Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic
A Proposal for the National Standard for Describing Digitized Heritage. ELPUB (2006)