Showing results 33 to 52 of 57
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
Ognjanović, Zoran ; Todorović, Milan ; Tomović, Siniša ; Lazarević, Sandra; Šegan-Radonjić, Marija ; Marinković, Bojan ; Jelisavčić, Vladisav ; Korać, Vanja ; Aćimović, Dragan; Kuzmanović Cvetković, Julka | Napredno rešenje za 3D-digitalizaciju i predstavljanje 3D-kulturnih dobara i nepokretnih spomenika kulture | 2017 | | M82 |
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan | NCD recommendation for the national standard for describing digitized heritage in Serbia | 1-Dec-2009 | Metadata and Semantics; 45-54 | M14 |
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan | NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia | 2007 | 2nd International Conference on Metadata and Semantics Research (CD-ROM), Ionian Academy, Corfu, Greece, 2007.; 1-16 | M33 |
Arsić, Aleksandra ; Šegan-Radonjić, Marija ; Marinković, Bojan ; Ognjanović, Zoran | Predlog formata metapodataka za opis nepokretnih kulturnih dobara | 2016 | XIV konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih I društvenih nauka I digitalna humanistika; 2-2 | M60 |
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan | Predlog nacionalnog standarda opisa nepokretnih kulturnih dobara | 2007 | Pregled nacionalnog centra za digitalizaciju; VI nacionalna konferencije "Nove tehnologije i standardi: digitalizacija nacionalne baštine", Beograd, 2007; 11; 1-11 | M63 |
Ognjanović, Zoran ; Marinković, Bojan | Prikaz doprinosa Matematičkog instituta SANU i Matematičkog fakulteta u Beogradu digitalizaciji kulturne i naučne baštine od 1990-tih do danas | 2019 | 1. Naučno-stručni skup "Primena digitalizacije u kulturi i nauci", 16. 11. 2018.; 31-42 | M63 |
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, Thomas | Probabilistic consensus of the blockchain protocol | 1-Jan-2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; Belgrade; Serbia; 18 September 2019 through 20 September 2019; 11726 LNAI; 469-480 | M33 |
Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan ; Vujošević, Sandra; Novaković, Maja ; Marinković, Bojan ; Knežević, Milica ; Daković, Nevena | Programski sistem za digitalizovano izdanje časopisa “Filmske sveske” (1968-1986) | 2017 | | M82 |
Jelisavčić, Vladisav ; Marinković, Bojan ; Milutinović, Veljko; Mihajlović, Aleksandar; Ognjanović, Zoran ; Tomović, Siniša ; Todorović, Milan | Progress and Innovative Ideas for the Serbia-Forum Cultural Heritage Digitization Project | 2013 | XII Konferencija Nove tehnologije i standardi: Digitalizacija nacionalne baštine, NCD 2013, Srbija; 15-15 | M60 |
Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan; Perović, Aleksandar | A propositional linear time logic with time flow isomorphic to ω2 | 1-Jan-2014 | Journal of Applied Logic; 12; 208-229 | M22 |
Todorović, Milan ; Zeljić, Aleksandar; Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Proving formal properties of the Chord protocol using Isabelle | 2015 | 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 59-60 | M34 |
Glavan, Paola; Marinković, Bojan ; Ognjanović, Zoran | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | 2017 | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 18-20 | M34 |
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Proving properties of the Chord protocol using the ASM formalism | 17-Jan-2019 | Theoretical Computer Science; 756; 64-93 | M23 |
Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Marinković, Bojan ; Todorović, Milan ; Ognjanović, Zoran ; Tomović, Siniša ; Stojanović, Vladimir; Milutinović, Veljko | Serbia forum - Digital cultural heritage portal | 1-Jan-2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Conference on Image and Signal Processing, ICISP 2014; Cherbourg; France; 30 June 2014 through 2 July 2014; 8509 LNCS; 265-271 | M33 |
Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Tomović, Siniša ; Milutinović, Veljko | Serbia-Forum - korak ka boljoj vidljivosti digitalizovane kulturne baštine u Srbiji | 2015 | XIII Konferencija Digitalizacija nacionalne baštine i digitalna humanistika, 10.09.2015.-11.09.2015, Srbija; 7-7 | M60 |
Ognjanović, Zoran ; Jelisavčić, Vladisav ; Mihajlović, Aleksandar; Tomović, Siniša ; Todorović, Milan ; Marinković, Bojan ; Knežević, Milica ; Milutinović, Veljko | Serbia-forum, interaktivna i dinamička aplikacija za skupljanje, skladištenje i virtuelno predstavljanje digitalizovane nacionalne baštine Srbije | 2013 | | M84 |
Jelisavčić, Vladisav ; Knežević, Milica ; Marinković, Bojan ; Mihajlović, Aleksandar; Ognjanović, Zoran ; Čukić, Ivan; Tomović, Siniša ; Todorović, Milan | Serbia-Forum: interaktivna platforma za predstavljanje digitalizovane nacionalne baštine u okviru evropske infrastrukture za digitalnu humanistiku CENDARI | 2014 | | M81 |
Knežević, Milica ; Marinković, Bojan ; Bulatović, Nataša; Todorović, Milan ; Čukić, Ivan; Ognjanović, Zoran ; Lehmann, Jörg; Zamoiski, Andrei | Stvaranje CENDARI digitalnog repozitorijuma o Prvom svetskom ratu i srenjevekovnoj kulturi Evrope | 2015 | 13th National Conference: Cultural Heritage Digitization & Digital Humanities; 4-4 | M60 |
Liquori, Luigi; Tedeschi, Cédric; Vanni, Laurent; Bongiovanni, Francesco; Ciancaglini, Vincenzo; Marinković, Bojan | Synapse: A scalable protocol for interconnecting heterogeneous overlay networks | 14-Jun-2010 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9th International IFIP-TC6 Networking Conference, NETWORKING 2010; Chennai; India; 11 May 2010 through 15 May 2010; 6091 LNCS; 67-82 | M23 |
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | 1-Sep-2019 | Journal of Logic and Computation; 29(5); 803-830 | M21 |