Researchers
Marinković, Bojan
Results 1-20 of 69
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2022 | Digital Documentation Management of Cultural Heritage | Marinković, Bojan  ; Šegan-Radonjić, Marija  ; Novaković, Maja ; Ognjanović, Zoran | Book parts | 14  MNO za istoriju, arheologiju i etnologiju (07.04.2022.)M14 |
| 2021 | Federating Digital Contact Tracing using Structured Overlay Networks | Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Conference Paper | Mp. category will be shown later |
| 2020 | Correctness of the chord protocol | Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, Anton | Article | 22M22 |
| 2019 | TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM | Zoran Ognjanović ; Bojan Marinković ; Šegan-Radonjić, Marija S. ; Dejan Masliković | Conference Paper | Mp. category will be shown later |
| 2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Article | 22M22 |
| 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 | Probabilistic consensus of the blockchain protocol | Marinković, Bojan B. ; P. Glavan; Ognjanović, Zoran D. ; D. Doder; T. Studer | Conference Paper | Mp. category will be shown later |
| 2019 | Prikaz doprinosa Matematičkog instituta SANU i Matematičkog fakulteta u Beogradu digitalizaciji kulturne i naučne baštine od 1990-tih do danas | Ognjanović, Zoran ; Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2019 | Cultural heritage digitization in Serbia: Standards, policies, and case studies | Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan | Article | 22M22 |
| 2018 | Logical Framework for Proving the Correctness of the Chord Protocol | Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavan | Conference Paper | Mp. category will be shown later |
| 2018 | Correctness and Strong Completeness for Logic of Time and Knowledge | Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavana | Conference Paper | Mp. category will be shown later |
| 2017 | Programski sistem za digitalizovano izdanje časopisa “Filmske sveske” (1968-1986) | Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan ; Vujošević, Sandra ; Novaković, Maja ; Marinković, Bojan ; Knežević, Milica ; Daković, Nevena | Technical reports | Mp. category will be shown later |
| 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 | Napredno rešenje za 3D-digitalizaciju i predstavljanje 3D-kulturnih dobara i nepokretnih spomenika kulture | Ognjanović, Zoran D. ; Todorović, Milan D. ; Tomović, Siniša S. ; Vujošević, Sandra Z. ; Šegan-Radonjić, Marija S. ; Marinković, Bojan B. ; Jelisavčić, Vladisav S. ; Korać, Vanja M. ; D. Aćimović; J. Kuzmanović-Cvetković | Technical reports | Mp. category will be shown later |
| 2017 | 3D DIGITALIZACIJA I VIRTUELNO PREDSTAVLjANjE ARHEOLOŠKIH ZBIRKI I LOKALITETA | Todorović, Milan D. ; Marinković, Bojan B. ; Šegan-Radonjić, Marija S. ; Tomović, Siniša S. ; Vujošević, Sandra Z. ; Novaković, Maja ; Jelisavčić, Vladisav S. | Conference Paper | Mp. category will be shown later |
| 2017 | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | Paola Glavan; Marinković, Bojan B. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 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 |
| 2016 | 'Vizuelni arhiv Jugoslavije: Web aplikacija za skladištenje - i virtuelno predstavljanje digitalizovane fotograđe - Muzeja istorije Jugoslavije' | Ognjanović, Zoran ; Aleksandra Zdravković; Marinković, Bojan ; Jelisavčić, Vladisav ; Arsić, Aleksandra ; Šegan, Marija ; Vujošević, Sandra ; Todorović, Milan ; Tomović, Siniša | Technical reports | Mp. category will be shown later |
| 2016 | Kastomizovani metod i softfer za federativno upravljanje identitetima FIM (Federated Identity Management) | Mihaljević, Miodrag ; Marinković, Bojan ; Korać, Vanja ; Todorović, Milan | Technical reports | Mp. category will be shown later |