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

Refined By:
Author:  Ognjanović, Zoran

Results 1-20 of 45 (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
12Glavan, 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
13Ognjanović, 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
14Ognjanović, 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
15Marinković, 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
16Tomović, 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
17Arsić, 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
18Zdravković, 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
19Ognjanović, Zoran ; Mihaljević, Miodrag J. ; Aćimović, Dragan; Davidovac, Zoran; Korać, Vanja ; Knežević, Milica ; Zdravković, Aleksandra; Marinković, Bojan ; Jelisavčić, Vladisav ; Todorović, Milan ; Tomović, Siniša ; Arsić, Aleksandra ; Šegan-Radonjić, Marija ; Vujošević, SandraDiplomatska prepiska Kraljevine Srbije 1903-19142016M82
20Ognjanović, 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

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