ECSQARU 2019 with: B. Marinković, P. Glavan, Z. Ognjanović, D. Doder, T.
Studer: Probabilistic Consensus of the Blockchain Protocol
LAP 2018 with: B. Marinković, Z. Ognjanović,P. Glavan: Logical
Framework for Proving the Correctness of the Chord Protocol
UNILOG 2018 with: B. Marinković, Z. Ognjanović,P. Glavan: Correctness and
Strong Completeness for Logic of Time and Knowledge
LAP 2017 with: B. Marinković, Z. Ognjanović,P. Glavan: Proving
Properties of Peer-to-Peer Protocols using ASMs Formalism - An
Overview
IIKI 2016 with: B. Marinković, Z. Ognjanović, P. Glavan, A. Umek:
Correctness of the Chord Protocol
8th SEEDI with: M. Knežević, B. Marinković, Z. Ognjanović, I. Čukić,
N. Bulatović: CENDARI (Collaborative EuropeaN Digital Archive Infrastructure)
ICT Innovations 2010 with: B. Marinković, L. Liquori, V. Ciancaglini and Z. Ognjanović: A Distributed Catalog for Digitized Cultural Heritage
5th SEEDI with: Z. Ognjanović, B. Marinković and T. Butigan Vučaj: Recommendation for the national standard for describing collections
4th SEEDI with: Z. Ognjanović, B. Marinković: National Catalogue of Digitized Cultural Heritage
MTSR '07 with: Z. Ognjanović, T. Butigan Vučaj, and B. Marinković: NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia
ELPUB 2006 with: Z. Ognjanović, T. Butigan Vučaj, and B. Marinković: A Proposal for the National Standard for Describing Digitized Heritage
NCD 2005 with: S. Adžić, B. Marinković: EAD DTD Software
NCD 2003 with: B. Marinković: EAD DTD - Encoded Archival Description Document Type Definition
