Synapse: A scalable protocol for interconnecting heterogeneous overlay networks L Liquori, C Tedeschi, L Vanni, F Bongiovanni, V Ciancaglini, ... NETWORKING 2010: 9th International IFIP TC 6 Networking Conference, Chennai …, 2010 | 30 | 2010 |
Matematicka logika u racunarstvu P Janicic Matematicki fakultet, Beograd, 2008 | 25 | 2008 |
A logic with conditional probability operators D Doder, B Marinković, P Maksimović, A Perović Publications de l'Institut Mathématique 87 (107), 85-96, 2010 | 21 | 2010 |
A propositional linear time logic with time flow isomorphic to ω2 B Marinković, Z Ognjanović, D Doder, A Perović Journal of Applied Logic 12 (2), 208-229, 2014 | 20 | 2014 |
Cultural Heritage Digitization in Serbia: Standards, Policies, Case Studies Z Ognjanović, B Marinković, M Šegan-Radonjić, D Masliković Sustainability 11 (14), 3788, 2019 | 19* | 2019 |
A Temporal Epistemic Logic with a Non-rigid Set of Agents for Analyzing the Blockchain Protocol B Marinković, P Glavan, Z Ognjanović, T Studer Journal of Logic and Computation 29 (5), 803-830, 2019 | 18 | 2019 |
A Distributed Catalog for Digitized Cultural Heritage B Marinković, L Liquori, V Ciancaglini, Z Ognjanović ICT Innovations 2010, CCIS 83, 176 -- 186, 2011 | 12 | 2011 |
NCD recommendation for the national standard for describing digitized heritage in Serbia Z Ognjanovć, T Butigan-Vučaj, B Marinković Metadata and Semantics, 45-54, 2009 | 10 | 2009 |
Proving properties of the Chord protocol using the ASM formalism B Marinković, P Glavan, Z Ognjanović Theoretical Computer Science 756, 64-93, 2019 | 7* | 2019 |
Analyzing the exhaustiveness of the synapse protocol B Marinković, V Ciancaglini, Z Ognjanović, P Glavan, L Liquori, ... Peer-to-Peer Networking and Applications 8 ((5)), 793 -- 806, 2015 | 5 | 2015 |
Predlog nacionalnog standarda opisa nepokretnih kulturnih dobara Z Ognjanović, T Butigan-Vučaj, B Marinković Pregled nacionalnog centra za digitalizaciju, 2007 | 5 | 2007 |
Correctness of the Chord Protocol B Marinković, Z Ognjanović, P Glavan, A Kos, A Umek ComSIS 17 (1), 141-160, 2020 | 4* | 2020 |
Probabilistic consensus of the blockchain protocol B Marinković, P Glavan, Z Ognjanović, D Doder, T Studer Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 15th …, 2019 | 4 | 2019 |
The Serbia-forum Cultural Heritage Digitization Project with Emphasis on Semantic Indexing A Mihajlovic, V Jelisavcic, B Marinkovic, Z Ognjanovic, V Milutinovic Rev. Natl. Center Digit 22, 47-54, 2013 | 4 | 2013 |
Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications B Marinković Faculty of Technical Sciences, University of Novi Sad, Serbia, 2014 | 3 | 2014 |
ONTOLOGY FOR NCD STANDARDS FOR DESCRIPTION OF DIGITAL DOCUMENTS AND COLLECTIONS MM Jevrić, Z Ognjanović, B Marinković | 3 | 2014 |
A distributed implementation of a catalog of digitized cultural collections B Marinković, Z Ognjanović, TB Vučaj Proceedings from NCD 21, 19-24, 2012 | 3 | 2012 |
Federating digital contact tracing using structured overlay networks S Ghilezan, S Kašterović, L Liquori, B Marinković, Z Ognjanović, ... Computer Science and Information Systems, 2022 | 2 | 2022 |
Digital Documentation Management of Cultural Heritage B Marinković, M Šegan Radonjić, M Novaković, Z Ognjanović Handbook of Cultural Heritage Analysis, 2133-2155, 2022 | 2 | 2022 |
Guidelines for metadata format for describing cultural heritage and the ways of their storage [Смернице за формат метаподатака за описивање културне баштине и начине њиховог … B Marinković Open Access to the Museum Documentation in Serbia - Experiences, Challenges …, 2016 | 2* | 2016 |