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:
Date Issued:  [2010 TO 2019]

Results 1-20 of 48 (Search time: 0.007 seconds).

Author(s)TitleIssue DateAppears inRank
1Marinković, 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
2Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23
3Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, DejanCultural heritage digitization in Serbia: Standards, policies, and case studies1-Jan-2019Sustainability (Switzerland); 11(14); 3788M22
4Marinković, 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
5Ognjanović, 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
6Marinković, 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
7Marinković, 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
8Š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
9Todorović, 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
10Glavan, 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
11Ognjanović, 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
12Ognjanović, 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
13Arsić, 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
14Marinković, 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
15Krapež, Aleksandar ; Marinković, Bojan Isotopy invariant quasigroup identities1-Jan-2016Commentationes Mathematicae Universitatis Carolinae; 57(4); 537-547
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
19Mihaljević, Miodrag J. ; Marinković, Bojan ; Zdravković, Aleksandra; Vujošević, SandraIzgradnja osnova za kastomizovanu informaciono-komunikacionu infrastrukturu za pametna električna brojila2016M80
20Ognjanović, 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

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