Истраживачи

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

Marinković, Bojan

Сарадња

Мп-кат.

1 M21
1 M22
1 M23

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

Година од:

Година до:

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

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

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

Година: 2019

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
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	Proving properties of the Chord protocol using the ASM formalism	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran	Научни чланак	23M23 - Рад у међ. часопису
2019	Cultural heritage digitization in Serbia: Standards, policies, and case studies	Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan	Научни чланак	22M22 - Рад у истакнутом међ. часопису