Istraživači

eNauka > Istraživači > Marinković, Bojan

Marinković, Bojan

Saradnja

Godina

2 2020 - 2025
10 2010 - 2019

Mp-kat.

3 M23
2 M20/M50
2 M21
2 M22
2 M53
1 M24

Godina - raspon

Godina od:

Godina do:

Filtrirano po:

Tip: Naučni članak

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2022	Federating digital contact tracing using structured overlay networks (✓)	Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara	Naučni članak	23M23 - Rad u međ. časopisu
2020	Correctness of the chord protocol	Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, Anton	Naučni članak	23M23 - Rad u međ. časopisu
2019	Proving properties of the Chord protocol using the ASM formalism	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran	Naučni članak	23M23 - Rad u međ. časopisu
2019	A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas	Naučni članak	21M21 - Rad u vrhunskom međ. časopisu
2019	Cultural heritage digitization in Serbia: Standards, policies, and case studies	Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan	Naučni članak	22M22 - Rad u istaknutom međ. časopisu
2017	Improving the Digital National Library of Serbia	Arsić, Aleksandra S. ; A. Zdravković; Todorović, Milan D. ; Tomović, Siniša S. ; Jelisavčić, Vladisav S. ; Marinković, Bojan B. ; Knežević, Milica M. ; M. Stojanović; Đ. Ivana	Naučni članak	53M53 - Rad u nac. časopisu
2017	Visual Archive of Yugoslavia - Digitizing photographic material of Museum of Yugoslav History	Šegan-Radonjić, Marija S. ; A. Zdravković; Tomović, Siniša S. ; Todorović, Milan D. ; Jelisavčić, Vladisav S. ; Vujošević, Sandra Z. ; Arsić, Aleksandra S. ; Marinković, Bojan B. ; Đ. Ivana; M. Vasiljević; R. Cukić; A. Vlajić;	Naučni članak	53M53 - Rad u nac. časopisu
2016	Isotopy invariant quasigroup identities	Krapež, Aleksandar ; Marinković, Bojan	Naučni članak	Mp kategorija će biti prikazana naknadno.
2015	Analyzing the exhaustiveness of the Synapse protocol	Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar	Naučni članak	22M22 - Rad u istaknutom međ. časopisu
2014	A propositional linear time logic with time flow isomorphic to $omega^2$ (✓)	Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan ; Perović, Aleksandar	Naučni članak	21M21 - Rad u vrhunskom međ. časopisu
2010	A logic with conditional probability operators	Doder, Dragan ; Marinković, Bojan ; Maksimovic, Petar; Perović, Aleksandar	Naučni članak	24M24 - Rad u nac. časopisu međ. značaja
2010	Synapse: A scalable protocol for interconnecting heterogeneous overlay networks	L. Liquori; C. Tedeschi; L. Vanni; F. Bongiovanni; V. Ciancaglini; Marinković, Bojan	Naučni članak	Mp kategorija će biti prikazana naknadno.