Истраживачи

еНаука > Истраживачи > Marinković, Bojan

Marinković, Bojan

Сарадња

Година

3 2019
2 2017
1 2016
1 2015
1 2014
2 2010

Мп-кат.

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

Година - распон

Година од:

Година до:

Филтрирано по:

Тип: Научни чланак

Година: [2010 TO 2019]

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2019	Proving properties of the Chord protocol using the ASM formalism	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran	Научни чланак	23M23 - Рад у међ. часопису
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	Научни чланак	21M21 - Рад у врхунском међ. часопису
2019	Cultural heritage digitization in Serbia: Standards, policies, and case studies	Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan	Научни чланак	22M22 - Рад у истакнутом међ. часопису
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	Научни чланак	53M53 - Рад у нац. часопису
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ć;	Научни чланак	53M53 - Рад у нац. часопису
2016	Isotopy invariant quasigroup identities	Krapež, Aleksandar ; Marinković, Bojan	Научни чланак	Мп категорија ће бити приказана накнадно.
2015	Analyzing the exhaustiveness of the Synapse protocol	Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar	Научни чланак	22M22 - Рад у истакнутом међ. часопису
2014	A propositional linear time logic with time flow isomorphic to $omega^2$ (✓)	Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan ; Perović, Aleksandar	Научни чланак	21M21 - Рад у врхунском међ. часопису
2010	A logic with conditional probability operators	Doder, Dragan ; Marinković, Bojan ; Maksimovic, Petar; Perović, Aleksandar	Научни чланак	24M24 - Рад у нац. часопису међ. значаја
2010	Synapse: A scalable protocol for interconnecting heterogeneous overlay networks	L. Liquori; C. Tedeschi; L. Vanni; F. Bongiovanni; V. Ciancaglini; Marinković, Bojan	Научни чланак	Мп категорија ће бити приказана накнадно.