S. Ghilezan, S. Kašterović, L. Liquori, B. Marinković, Z.
Ognjanović, T. Stefanović: Federating digital contact tracing using
structured overlay networks, Computer Science and Information
Systems (ComSIS), 2022, DOI:10.2298/csis210825029g
B. Marinković, M. Šegan Radonjić, M. Novaković, Z. Ognjanović:
Digital Documentation Management of Cultural Heritage. In: D'Amico S., Venuti V. (eds)
Handbook of Cultural Heritage Analysis. Springer, Cham, 2022,
DOI:10.1007/978-3-030-60016-7_74
B. Marinković, Z. Ognjanović, P. Glavan, A. Kos, A. Umek:
Correctness of the Chord Protocol, Computer Science and Information
Systems (ComSIS) 17(1), p. 141 -- 160, 2020, DOI:10.2298/CSIS181115017M
Z. Ognjanović, B. Marinković, M. Šegan-Radonjić, D.
Masliković: Cultural Heritage Digitization in Serbia: Standards, Policies, Case
Studies, Sustainability 11(14), 3788, 2019, DOI:10.3390/su11143788
B. Marinković, P. Glavan, Z. Ognjanović, T. Studer: A
Temporal Epistemic Logic with a Non-rigid Set of Agents for
Analyzing the Blockchain Protocol, Journal of Logic and Computation 29 (5),
p. 803 -– 830, 2019, DOI:10.1093/logcom/exz007
B. Marinković, P. Glavan, Z. Ognjanović: Proving Properties of
the Chord Protocol using the ASM Formalism, Theoretical Computer
Science 756, p. 64 -- 93, 2019, DOI:10.1016/j.tcs.2018.10.025
B. Marinković: Guidelines for metadata format for describing
cultural heritage and the ways of their storage [in Serbian], in Open Access to the
Museum Documentation in Serbia - Experiences, Challenges and
Potentials (ed. Milja Stijović), p. 61 -- 76, ISBN:
978-86-6179-042-3, 2016.
A. Krapež, B. Marinković: Isotopy invariant quasigroup
identities, Comment.Math.Univ.Carolin. 57(4), p. 537 -- 547, DOI:
10.14712/1213-7243.2015.179, 2016
B. Marinković, V. Ciancaglini, Z. Ognjanović,
P. Glavan, L. Liquori and P. Maksimović: Analyzing the
Exhaustiveness of the Synapse Protocol, Peer-to-Peer Networking and
Applications 8(5), p. 793 -- 806,
DOI:10.1007/s12083-014-0293-z, 2015
A. Mihajlović, V. Jelisavčić, B. Marinković,
M. Todorović, Z. Ognjanović, S. Tomović, V. Stojanović and V.
Milutinović: Serbia Forum – Digital Cultural Heritage Portal,
ICISP 2014, LNCS 8509, p. 265 -- 271, 2014
A. Mihajlović, V. Jelisavčić, B. Marinković, Z. Ognjanović and
V. Milutinović: An Overview of and Innovative Perspectives for the
Serbia-Forum Cultural Heritage Digitization Project,
Review of the National Center for Digitization,
Issue 25, p. 17 -- 21, ISSN: 1820-0109, 2014
M. Milojević Jevrić, Z. Ognjanović and B. Marinković:
Ontology for NCD Standards for Description of Digital Documents and
Collections, Review of the National Center for Digitization,
Issue 24, p. 13 -- 18, ISSN: 1820-0109, 2014
B. Marinković, Z. Ognjanović, D. Doder and A. Perović: A
Propositional Linear Time Logic with Time Flow Isomorphic to
omega^2, Journal of Applied Logic 12 (2). p. 208 -- 229, 2014
A. Mihajlović, V. Jelisavčić, B. Marinković, Z. Ognjanović and
V. Milutinović: The Serbia-forum Cultural Heritage Digitization
Project with Emphasis on Semantic Indexing, Review of the National
Center for Digitization, Issue 22, p. 47 -- 54, ISSN: 1820-0109,
2013
B. Marinković, Z. Ognjanović and T. Butigan Vučaj:
A Distributed Implementation of a Catalog of Digitized Cultural
Collections, Review of the National Center for Digitization,
Issue 21, p. 19 -- 24, ISSN: 1820-0109, 2012
B. Marinković, L. Liquori, V. Ciancaglini and Z. Ognjanović:
A Distributed Catalog for Digitized Cultural Heritage,
ICT Innovations 2010, CCIS 83 (p. 378), p. 176 -- 186, Edited by:
Gusev, Marjan; Mitrevski Pece, Springer-Verlag Berlin
Heidelberg, ISBN: 978-3-642-19324-8, 2011
D. Doder, B. Marinković, P. Maksimović and A. Perović: A Logic
with Conditional Probability Operators, Publications de l'Institut
Mathematique (N.S.) 87(101), p. 85 -- 96, ISSN: 0350-1302, 2010
L. Liquori, C. Tedeschi, L. Vanni, F. Bongiovanni, V. Ciancaglini
and B. Marinković: Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay
Networks, Lecture Notes in Computer Science, vol. 6091 (p. 410),
p. 67 -- 82, Edited by: Crovella, Mark; Feeney, Laura Marie;
Raghavan, S.V., Springer Berlin / Heidelberg, ISBN: 978-3-642-12962-9, 2010
Z. Ognjanović, T. Butigan Vučaj, and B. Marinković:
NCD Recommendation for the National Standard for Describing
Digitized Heritage in Serbia, Metadata and Semantics (p. 552), p.
45 -- 54, Edited by: Sicilia, Miguel-Angel, Lytras; Miltiadis D,
Springer US, ISBN: 978-0-387-77744-3, 2009
