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 41 to 57 of 57 < previous 
Author(s)TitleIssue DateAppears inRank
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
Knežević, Milica ; Marinković, Bojan ; Bulatović, Nataša; Todorović, Milan ; Čukić, Ivan; Ognjanović, Zoran ; Lehmann, Jörg; Zamoiski, AndreiStvaranje CENDARI digitalnog repozitorijuma o Prvom svetskom ratu i srenjevekovnoj kulturi Evrope201513th National Conference: Cultural Heritage Digitization & Digital Humanities; 4-4M60
Liquori, Luigi; Tedeschi, Cédric; Vanni, Laurent; Bongiovanni, Francesco; Ciancaglini, Vincenzo; Marinković, Bojan Synapse: A scalable protocol for interconnecting heterogeneous overlay networks14-Jun-2010Lecture 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-82M23
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, ThomasA temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol1-Sep-2019Journal of Logic and Computation; 29(5); 803-830M21
Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Marinković, Bojan ; Ognjanović, Zoran ; Milutinović, VeljkoThe Serbia-forum Cultural Heritage Digitization Project with Emphasis on Semantic Indexing2013Review of the NCD; VII International SEEDI Conference, Ljubljana, Slovenia, 17-18th May 2012; 22; 47-54M33
Tomović, Siniša ; Todorović, Milan ; Knežević, Milica ; Jelisavčić, Vladisav ; Arsić, Aleksandra ; Zdravković, Aleksandra; Marinković, Bojan ; Ognjanović, Zoran ; Stojanović, MiroljubUnapređenja Digitalne narodne biblioteke Srbije2016XIV konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih I društvenih nauka I digitalna humanistika; 22-23M60
Šegan-Radonjić, Marija ; Zdravković, Aleksandra; Tomović, Siniša ; Todorović, Milan ; Jelisavčić, Vladisav ; Vujošević, Sandra; Arsić, Aleksandra ; Marinković, Bojan ; Đurković Đorđević, Ivana; Vasiljević, Marija; Cukić, Radovan; Vlajić, AdaVisual Archive of Yugoslavia - Digitizing photographic material of Museum of Yugoslav History2017Pregled Nacionalnog centra za digitalizaciju, Matematički fakultet Univerziteta u Beogradu; 30; 35-39M53
Zdravković, Aleksandra; Tomović, Siniša ; Todorović, Milan ; Jelisavčić, Vladisav ; Šegan-Radonjić, Marija ; Vujošević, Sandra; Arsić, Aleksandra ; Marinković, Bojan ; Ognjanović, Zoran ; Cukić, Radovan; Vasiljević, Marija; Vlajić, AdaVizuelni arhiv Jugoslavija – Digitalizacija fotograđe Muzeja istorije Jugoslavije2016XIV Konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih i društvenih nauka i digitalna humanistika; 25-25M60
Ognjanović, Zoran ; Zdravković, Aleksandra; Marinković, Bojan ; Jelisavčić, Vladisav ; Arsić, Aleksandra ; Šegan-Radonjić, Marija ; Vujošević, Sandra; Todorović, Milan ; Tomović, Siniša Vizuelni arhiv Jugoslavije: Web aplikacija za skladištenje i virtuelno predstavljanje digitalizovane fotograđe Muzeja istorije Jugoslavije2016M82