Истраживачи
Marinković, Bojan
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan ![]() ![]() ![]() ![]() | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2019 | Cultural heritage digitization in Serbia: Standards, policies, and case studies | Ognjanović, Zoran ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |