Researchers
Marinković, Bojan
Date issued
Date issued - custom
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2022 | Federating digital contact tracing using structured overlay networks (✓) | Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Article | 23M23 |
2020 | Correctness of the chord protocol | Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, Anton | Article | 23M23 |
2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas | Article | 21M21 |
2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Article | 23M23 |
2019 | Cultural heritage digitization in Serbia: Standards, policies, and case studies | Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan | Article | 22M22 |
2017 | Improving the Digital National Library of Serbia | Arsić, Aleksandra S. ; A. Zdravković; Todorović, Milan D. ; Tomović, Siniša S. ; Jelisavčić, Vladisav S. ; Marinković, Bojan B. ; Knežević, Milica M. ; M. Stojanović; Đ. Ivana | Article | 53M53 |
2017 | Visual Archive of Yugoslavia - Digitizing photographic material of Museum of Yugoslav History | Šegan-Radonjić, Marija S. ; A. Zdravković; Tomović, Siniša S. ; Todorović, Milan D. ; Jelisavčić, Vladisav S. ; Vujošević, Sandra Z. ; Arsić, Aleksandra S. ; Marinković, Bojan B. ; Đ. Ivana; M. Vasiljević;
R. Cukić; A. Vlajić;
| Article | 53M53 |
2016 | Isotopy invariant quasigroup identities | Krapež, Aleksandar ; Marinković, Bojan | Article | Mp. category will be shown later |
2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Article | 22M22 |
2014 | A propositional linear time logic with time flow isomorphic to $omega^2$ (✓) | Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan ; Perović, Aleksandar | Article | 21M21 |
2010 | A logic with conditional probability operators | Doder, Dragan ; Marinković, Bojan ; Maksimovic, Petar; Perović, Aleksandar | Article | 24M24 |
2010 | Synapse: A scalable protocol for interconnecting heterogeneous overlay networks | L. Liquori; C. Tedeschi; L. Vanni; F. Bongiovanni; V. Ciancaglini; Marinković, Bojan | Article | Mp. category will be shown later |