Bojan Marinković

A logic with conditional probability operators

This paper presents a sound and strongly complete axiomatization of the reasoning about linear combinations of conditional probabilities, including compar- ative statements. The developed logic is decidable, with a PSPACE containment for the decision procedure.

A Distributed Catalog for Digitized Cultural Heritage

Peer-to-peer networks have emerged recently as a flexible decentralized solution to handle large amount of data without the use of high-end servers. In this paper we present a distributed catalog built up on an overlay network called “Synapse”. The Synapse protocol allows interconnection of different overlay networks each of them being an abstraction of a ”community” of virtual providers. Data storage and data retrieval from different kind of content providers (i.e. libraries, archives, museums, universities, research centers, etc.) can be stored inside one catalog. We illustrate the concept based on the Synapse protocol: a catalog for digitized cultural heritage of Serbia.

A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2.

Primarily guided with the idea to express zero-time transitions by means of temporal propositional language, we have developed a temporal logic where the time flow is isomorphic to ordinal

NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia

\omega^2

Proving properties of the Chord protocol using the ASM formalism

(concatenation of

Analyzing the exhaustiveness of the synapse protocol

\omega

Serbia Forum - Digital Cultural Heritage Portal

copies of

Synapse: a scalable protocol for interconnecting heterogeneous overlay networks

\omega

Correctness of the Chord Protocol

). If we think of

Description of the Chord Protocol using ASMs Formalism

\omega^2