Researchers
Marinković, Bojan
Results 21-40 of 69
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | 'Vizuelni arhiv Jugoslavije: Web aplikacija za skladištenje - i virtuelno predstavljanje digitalizovane fotograđe - Muzeja istorije Jugoslavije' | Ognjanović, Zoran | Technical reports | Mp. category will be shown later |
| 2016 | Kastomizovani metod i softfer za federativno upravljanje identitetima FIM (Federated Identity Management) | Mihaljević, Miodrag | Technical reports | Mp. category will be shown later |
| 2016 | PREDLOG FORMATA METADAPODAKA ZA OPIS NEPOKRETNIH KULTURNIH DOBARA | Arsić, Aleksandra | Conference Paper | Mp. category will be shown later |
| 2016 | Predlog formata metapodataka za opis nepokretnih kulturnih dobara | Arsić, Aleksandra | Conference Paper | Mp. category will be shown later |
| 2016 | Izgradnja osnova za kastomizovanu informaciono-komunikacionu infrastrukturu za pametna električna brojila | Mihaljević, Miodrag J. | Technical reports | Mp. category will be shown later |
| 2016 | Diplomatska prepiska Kraljevine Srbije 1903-1914 | Ognjanović, Zoran | Technical reports | Mp. category will be shown later |
| 2016 | Digitalizacija dokumenata o spoljnoj politici Kraljevine Srbije (1903-1914) | Marija Šegan | Conference Paper | Mp. category will be shown later |
| 2016 | Correctness of the Chord Protocol | Marinković, Bojan | Conference Paper | 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 | Technical reports | Mp. category will be shown later |
| 2015 | Proving formal properties of the Chord protocol using Isabelle | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan | Article | 22M22 |
| 2015 | Stvaranje Cendari digitalnog repozitorijuma o Prvom svetskom ratu I srednjevekovnoj kulturi Evrope![]() | Knežević, Milica | Conference Paper | Mp. category will be shown later |
| 2015 | SERBIA-FORUM - KORAK KA BOLjOJ VIDLjIVOSTI DIGITALIZOVANE KULTURNE BAŠTINE U SRBIJI | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2014 | A Propositional Linear Time Logic with Time Flow Isomorphic to $omega^2$ | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2014 | Ontology for NCD Standards for Description of Digital Documents and Collections | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2014 | A propositional linear time logic with time flow isomorphic to $omega^2$![]() | Marinković, Bojan | Article | 21M21 |
| 2014 | Informaciono-komunikacione platforme za predstavljanje digitalizovane baštine u Matematičkom institutu SANU | Šegan-Radonjić, Marija | Conference Paper | Mp. category will be shown later |
| 2014 | Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications | Marinković, Bojan | Doctoral theses | 70M70 |
| 2014 | An Overview of and Innovative Perspectives for the Serbia-Forum Cultural Heritage Digitization Project | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2014 | Digital National Library of Serbia | Jelisavčić, Vladisav | Conference Paper | Mp. category will be shown later |
