Истраживачи

Резултати 41-60 од 305
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2019Cultural heritage digitization in Serbia: Standards, policies, and case studiesOgnjanović, Zoran  ; Marinković, Bojan ; Šegan-Radonjić, Marija  ; Masliković, Dejan  Научни чланак
22M22 - Међународни часопис категорије M22
2019Приказ доприноса Математичког института САНУ и Математичког факултета у Београду дигитализацији културне и научне баштине од 1990-их до данасОгњановић, Зоран  ; Маринковић, БојанКонференцијски рад
Мп категорија ће бити приказана накнадно.
2019TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEMZoran Ognjanović  ; Bojan Marinković ; Šegan-Radonjić, Marija S.  ; Dejan Masliković  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2019Prikaz doprinosa Matematičkog instituta SANU i Matematičkog fakulteta u Beogradu digitalizaciji kulturne i naučne baštine od 1990-tih do danasOgnjanović, Zoran  ; Marinković, Bojan Конференцијски рад
Мп категорија ће бити приказана накнадно.
2019Probabilistic consensus of the blockchain protocolMarinković, Bojan B. ; P. Glavan; Ognjanović, Zoran D.  ; D. Doder; T. StuderКонференцијски рад
Мп категорија ће бити приказана накнадно.
2018A decidable multi-agent logic with iterations of upper and lower probability operatorsDragan Doder; Nenad Savic; Ognjanović, Zoran D.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Towards probabilistic reasoning about typed lambda termsGilezan, Silvia K.  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, NenadКонференцијски рад
Мп категорија ће бити приказана накнадно.
2018Probabilistic reasoning about simply typed lambda termsGilezan, Silvia K.  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savic, NenadКонференцијски рад
Мп категорија ће бити приказана накнадно.
2018Some optimization methods for non-monotonic Reasoning in System PStojanović, Tatjana P.  ; Ikodinović, Nebojša M.  ; Davidović, Tatjana M.  ; Ognjanović, Zoran D.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Mathematical methods for privacy protectionTodorović, Milan  ; Gilezan, Silvia  ; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2018Logical Framework for Proving the Correctness of the Chord ProtocolMarinković, Bojan B. ; Ognjanović, Zoran D.  ; Paola GlavanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2018Logics to formalise p-adic valued probability and their applicationsIlić, Stepić Angelina; Ognjanović, Zoran  Научни чланак
Мп категорија ће бити приказана накнадно.
2018Correctness and Strong Completeness for Logic of Time and KnowledgeMarinković, Bojan B. ; Ognjanović, Zoran D.  ; Paola GlavanaКонференцијски рад
Мп категорија ће бити приказана накнадно.
2017Napredno rešenje za 3D-digitalizaciju i predstavljanje 3D-kulturnih dobara i nepokretnih spomenika kultureOgnjanović, Zoran D.  ; Todorović, Milan D.  ; Tomović, Siniša S.  ; Vujošević, Sandra Z. ; Šegan-Radonjić, Marija S.  ; Marinković, Bojan B. ; Jelisavčić, Vladisav S. ; Korać, Vanja M.  ; D. Aćimović; J. Kuzmanović-CvetkovićТехничко решење
Мп категорија ће бити приказана накнадно.
2017Matematički metodi i zaštita privatnostiGilezan, Silvia  ; Ognjanović, Zoran  ; Todorović, Milan  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017Logics with lower and upper probability operatorsSavić, Nenad ; Doder, Dragan ; Ognjanović, Zoran  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2017Leibniz, a SorbHuylebrouck, D.; Ognjanović, Zoran  ; Radović, Ljiljana  Научни чланак
23M23 - Међународни часопис категорије M23
2017Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An OverviewPaola Glavan; Marinković, Bojan B. ; Ognjanović, Zoran D.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017A probabilistic temporal logic with countably additive semanticsDoder, Dragan J. ; Ognjanović, Zoran D.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2017A Probability Logic for Reasoning About Quantum ObservationsIlić-Stepić, Angelina V.  ; Ognjanović, Zoran D.  Конференцијски рад
Мп категорија ће бити приказана накнадно.