Marinković, Bojan

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Marinković, Bojan
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Results 1-20 of 29 (Search time: 0.006 seconds).

Author(s)TitleIssue DateAppears inRank
1Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating Digital Contact Tracing using Structured Overlay NetworksSep-202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 28-30M34
2Marinković, 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
3Ognjanović, 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
4Marinković, Bojan ; Ognjanović, Zoran ; Glavan, PaolaCorrectness and strong completeness for logic of time and knowledge20186th World Congress and School on Universal Logic, UNILOG'2018, Vichy, France, June 16-26, 2018; 451-452M34
5Marinković, 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
6Todorović, Milan ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Tomović, Siniša ; Vujošević, Sandra; Novaković, Maja ; Jelisavčić, Vladisav 3D DIGITALIZACIJA I VIRTUELNO PREDSTAVLjANjE ARHEOLOŠKIH ZBIRKI I LOKALITETA2017XV konferencija Digitalizacija kulturne bastine, starih zapisa iz prirodnih i drustvenih nauka i digitalna humanistika; 25-25M60
7Glavan, 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
8Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Umek, AntonCorrectness of the Chord Protocol20-Oct-2016Proceedings - 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; Beijing; China; 20 October 2016 through 21 October 2016; 547-552M33
9Tomović, 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
10Arsić, 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
11Zdravković, 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
12Šegan-Radonjić, Marija ; Vujošević, Sandra; Arsić, Aleksandra ; Knežević, Milica ; Jelisavčić, Vladisav ; Tomović, Siniša ; Todorović, Milan ; Marinković, Bojan ; Ognjanović, Zoran Digitalizacija dokumenata o spoljnoj politici Kraljevine Srbije (1903-1914)2016XIV konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih I društvenih nauka I digitalna humanistika; 18-18M60
13Knež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
14Todorović, 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
15Krapež, Aleksandar ; Marinković, Bojan Isotopy invariant quasigroup identities2015LOOPS 2015 : LOOPS'15 The International Mathematical Conference on Quasigroups and Loops; Ohrid, Macedonia; Jun 28, 2015 - Jul 4, 2015; 19-29M30
16Marinković, 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
17Mihajlović, 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
18Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Marinković, Bojan ; Ognjanović, Zoran ; Milutinović, VeljkoAn Overview of and Innovative Perspectives for the Serbia-Forum Cultural Heritage Digitization Project2014Review of the NCD; The Eight International SEEDI Conference, Zagreb, 15--16. 5. 2013; 25; 17-21M33
19Jelisavčić, Vladisav ; Mihajlović, Aleksandar; Marinković, Bojan ; Tomović, Siniša ; Stojanović, Vladimir; Todorović, Milan ; Ognjanović, Zoran ; Milutinović, VeljkoDigital National Library of Serbia2014The Ninth SEEDI Conference: Digitization of cultural and scientific heritage Belgrade, Serbia, 15-16 May 2014.; 16-17M34
20Knežević, Milica ; Marinković, Bojan ; Čukić, Ivan; Bulatović, Nataša; Ognjanović, Zoran CENDARI, a view from the technical side2014The Ninth SEEDI Conference: Digitization of cultural and scientific heritage Belgrade, Serbia, 15-16 May 2014.; 15-15M34

Projects
(Co-Investigators)


Results 1-2 of 2 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran