Bojan Marinkovic

17 papers B 1C 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Federating digital contact tracing using structured overlay networks.
Comput. Sci. Inf. Syst.
Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic
2020 J jnl
Correctness of the Chord protocol.
Comput. Sci. Inf. Syst.
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek
2019 J jnl
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol.
J. Log. Comput.
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Thomas Studer
2019 C conf
Probabilistic Consensus of the Blockchain Protocol.
ECSQARU
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer
2019 J jnl
Proving properties of the Chord protocol using the ASM formalism.
Theor. Comput. Sci.
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic
2017 J jnl
Correctness of the Chord Protocol.
CoRR
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Kos, Anton Umek
2016 — conf
Correctness of the Chord Protocol.
IIKI
Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Umek
2015 J jnl
Analyzing the exhaustiveness of the Synapse protocol.
Peer-to-Peer Netw. Appl.
Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic
2014 J jnl
A propositional linear time logic with time flow isomorphic to ω
J. Appl. Log.
Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic
2014 — —
Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications ; Povezivanje heterogenih prekrivajućih mreža: definicija, formalizacija i primene.
Bojan Marinkovic
2014 C conf
Serbia Forum - Digital Cultural Heritage Portal.
ICISP
Aleksandar Mihajlovic, Vladisav Jelisavcic, Bojan Marinkovic, Milan Todorovic, Zoran Ognjanovic, Sinisa Tomovic, Vladimir Stojanovic, Veljko Milutinovic
2013 J jnl
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2.
CoRR
Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic
2012 J jnl
Description of the Chord Protocol using ASMs Formalism
CoRR
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic
2010 — conf
A Distributed Catalog for Digitized Cultural Heritage.
ICT Innovations
Bojan Marinkovic, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic
2010 B conf
Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks.
Networking
Luigi Liquori, Cédric Tedeschi, Laurent Vanni, Francesco Bongiovanni, Vincenzo Ciancaglini, Bojan Marinkovic
2007 — conf
NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia.
MTSR
Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic
2006 — conf
A Proposal for the National Standard for Describing Digitized Heritage.
ELPUB
Zoran Ognjanovic, Tamara Butigan-Vucaj, Bojan Marinkovic