Истраживачи
Marinković, Bojan
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2019 | TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM (✓) | Zoran Ognjanović ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2019 | Cultural heritage digitization in Serbia: Standards, policies, and case studies | Ognjanović, Zoran ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
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 | Probabilistic consensus of the blockchain protocol | Marinković, Bojan B. ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2019 | Prikaz doprinosa Matematičkog instituta SANU i Matematičkog fakulteta u Beogradu digitalizaciji kulturne i naučne baštine od 1990-tih do danas | Ognjanović, Zoran ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2018 | Logical Framework for Proving the Correctness of the Chord Protocol | Marinković, Bojan B. ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2018 | Correctness and Strong Completeness for Logic of Time and Knowledge | Marinković, Bojan B. ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Programski sistem za digitalizovano izdanje časopisa “Filmske sveske” (1968-1986) (✓) | Ognjanović, Zoran ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Техничко решење | Мп категорија ће бити приказана накнадно. |
2017 | Improving the Digital National Library of Serbia | Arsić, Aleksandra S. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 53M53 - Рад у нац. часопису |
2017 | Visual Archive of Yugoslavia - Digitizing photographic material of Museum of Yugoslav History | Šegan-Radonjić, Marija S. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]()
R. Cukić; A. Vlajić;
| Научни чланак | 53M53 - Рад у нац. часопису |
2017 | Napredno rešenje za 3D-digitalizaciju i predstavljanje 3D-kulturnih dobara i nepokretnih spomenika kulture | Ognjanović, Zoran D. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Техничко решење | Мп категорија ће бити приказана накнадно. |
2017 | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | Paola Glavan; Marinković, Bojan B. ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | 3D DIGITALIZACIJA I VIRTUELNO PREDSTAVLjANjE ARHEOLOŠKIH ZBIRKI I LOKALITETA | Todorović, Milan D. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2016 | Kastomizovani metod i softfer za federativno upravljanje identitetima FIM (Federated Identity Management) | Mihaljević, Miodrag ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Техничко решење | Мп категорија ће бити приказана накнадно. |
2016 | 'Vizuelni arhiv Jugoslavije: Web aplikacija za skladištenje - i virtuelno predstavljanje digitalizovane fotograđe - Muzeja istorije Jugoslavije' | Ognjanović, Zoran ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Техничко решење | Мп категорија ће бити приказана накнадно. |
2016 | PREDLOG FORMATA METADAPODAKA ZA OPIS NEPOKRETNIH KULTURNIH DOBARA | Arsić, Aleksandra ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2016 | Izgradnja osnova za kastomizovanu informaciono-komunikacionu infrastrukturu za pametna električna brojila | Mihaljević, Miodrag J. ![]() ![]() ![]() ![]() | Техничко решење | Мп категорија ће бити приказана накнадно. |
2016 | Isotopy invariant quasigroup identities | Krapež, Aleksandar ![]() ![]() ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2016 | Diplomatska prepiska Kraljevine Srbije 1903-1914 | Ognjanović, Zoran ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Техничко решење | Мп категорија ће бити приказана накнадно. |