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 57 (Search time: 0.005 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 networks2022Computer Science and Information Systems~M23
2Marinković, Bojan ; Šegan-Radonjić, Marija ; Novaković, Maja ; Ognjanović, Zoran Digital Documentation Management of Cultural Heritage2022Handbook of Cultural Heritage Analysis; 2133-2155M14
3Ghilezan, 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
4Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, AntonCorrectness of the chord protocol1-Jan-2020Computer Science and Information Systems; 17(1); 141-160M23
5Marinković, 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
6Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23
7Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, DejanCultural heritage digitization in Serbia: Standards, policies, and case studies1-Jan-2019Sustainability (Switzerland); 11(14); 3788M22
8Marinković, 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
9Ognjanović, 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
10Marinković, 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
11Marinković, 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
12Š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
13Todorović, 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
14Glavan, 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
15Ognjanović, 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
16Ognjanović, 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
17Arsić, Aleksandra ; Zdravković, Aleksandra; Todorović, Milan ; Tomović, Siniša ; Jelisavčić, Vladisav ; Marinković, Bojan ; Knežević, Milica ; Stojanović, Miroljub; Đurković Đorđević, IvanaImproving the Digital National Library of Serbia2017Pregled Nacionalnog centra za digitalizaciju; 30; 40-45M53
18Marinković, 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
19Krapež, Aleksandar ; Marinković, Bojan Isotopy invariant quasigroup identities1-Jan-2016Commentationes Mathematicae Universitatis Carolinae; 57(4); 537-547
20Tomović, 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

Projects
(Co-Investigators)


Results 1-2 of 2 (Search time: 0.0 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