Browsing by Author Marinković, Bojan


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 30 to 49 of 57 < previous   next >
Author(s)TitleIssue DateAppears inRank
Doder, Dragan; Marinković, Bojan ; Maksimović, Petar; Perović, AleksandarA logic with conditional probability operators14-Oct-2010Publications de l'Institut Mathematique; 87(101); 85-96M24
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Logical Framework for Proving the Correctness of the Chord Protocol20187th international conference Logic and Applications LAP 2018, Dubrovnik, Croatia, September 24-28, 2018; 29-31M34
Mihaljević, Miodrag J. ; Marković, M.; Marković, Zoran ; Ognjanović, Zoran ; Perišić, Z.; Marinković, Bojan ; Korać, Vanja Metodološke, organizacione i normativne komponente za sistem upravljanja bezbednošću informacija u Telekomu Srbija2006M80
Ognjanović, Zoran ; Todorović, Milan ; Tomović, Siniša ; Lazarević, Sandra; Šegan-Radonjić, Marija ; Marinković, Bojan ; Jelisavčić, Vladisav ; Korać, Vanja ; Aćimović, Dragan; Kuzmanović Cvetković, JulkaNapredno rešenje za 3D-digitalizaciju i predstavljanje 3D-kulturnih dobara i nepokretnih spomenika kulture2017M82
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan NCD recommendation for the national standard for describing digitized heritage in Serbia1-Dec-2009Metadata and Semantics; 45-54M14
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia20072nd International Conference on Metadata and Semantics Research (CD-ROM), Ionian Academy, Corfu, Greece, 2007.; 1-16M33
Arsić, Aleksandra ; Šegan-Radonjić, Marija ; Marinković, Bojan ; Ognjanović, Zoran Predlog formata metapodataka za opis nepokretnih kulturnih dobara2016XIV konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih I društvenih nauka I digitalna humanistika; 2-2M60
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan Predlog nacionalnog standarda opisa nepokretnih kulturnih dobara2007Pregled nacionalnog centra za digitalizaciju; VI nacionalna konferencije "Nove tehnologije i standardi: digitalizacija nacionalne baštine", Beograd, 2007; 11; 1-11M63
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 danas20191. Naučno-stručni skup "Primena digitalizacije u kulturi i nauci", 16. 11. 2018.; 31-42M63
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, ThomasProbabilistic consensus of the blockchain protocol1-Jan-2019Lecture 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-480M33
Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan ; Vujošević, Sandra; Novaković, Maja ; Marinković, Bojan ; Knežević, Milica ; Daković, NevenaProgramski sistem za digitalizovano izdanje časopisa “Filmske sveske” (1968-1986)2017M82
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 Project2013XII Konferencija Nove tehnologije i standardi: Digitalizacija nacionalne baštine, NCD 2013, Srbija; 15-15M60
Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan; Perović, AleksandarA propositional linear time logic with time flow isomorphic to ω21-Jan-2014Journal of Applied Logic; 12; 208-229M22
Todorović, Milan ; Zeljić, Aleksandar; Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving formal properties of the Chord protocol using Isabelle20154th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 59-60M34
Glavan, Paola; Marinković, Bojan ; Ognjanović, Zoran Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview20176th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 18-20M34
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23
Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Marinković, Bojan ; Todorović, Milan ; Ognjanović, Zoran ; Tomović, Siniša ; Stojanović, Vladimir; Milutinović, VeljkoSerbia forum - Digital cultural heritage portal1-Jan-2014Lecture 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-271M33
Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Tomović, Siniša ; Milutinović, VeljkoSerbia-Forum - korak ka boljoj vidljivosti digitalizovane kulturne baštine u Srbiji2015XIII Konferencija Digitalizacija nacionalne baštine i digitalna humanistika, 10.09.2015.-11.09.2015, Srbija; 7-7M60
Ognjanović, Zoran ; Jelisavčić, Vladisav ; Mihajlović, Aleksandar; Tomović, Siniša ; Todorović, Milan ; Marinković, Bojan ; Knežević, Milica ; Milutinović, VeljkoSerbia-forum, interaktivna i dinamička aplikacija za skupljanje, skladištenje i virtuelno predstavljanje digitalizovane nacionalne baštine Srbije2013M84
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 CENDARI2014M81