Bojan Marinković

Available identifiers

zbMath Open marinkovic.bojanMaRDI QIDQ1757157

List of research outcomes

Publication	Date of Publication	Type
Probabilistic consensus of the blockchain protocol	2020-02-20	Paper
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol	2020-02-03	Paper
Proving properties of the Chord protocol using the ASM formalism	2019-01-02	Paper
Isotopy invariant quasigroup identities	2017-01-13	Paper
A propositional linear time logic with time flow isomorphic to \(\omega^2\)	2014-04-24	Paper
A logic with conditional probability operators	2012-09-21	Paper

Research outcomes over time

This page was built for person: Bojan Marinković