Истраживачи
Ognjanović, Zoran
Резултати 41-60 од 305
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2019 | Cultural heritage digitization in Serbia: Standards, policies, and case studies | Ognjanović, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | Приказ доприноса Математичког института САНУ и Математичког факултета у Београду дигитализацији културне и научне баштине од 1990-их до данас | Огњановић, Зоран | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM![]() | Zoran Ognjanović | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Probabilistic consensus of the blockchain protocol | Marinković, Bojan B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | A decidable multi-agent logic with iterations of upper and lower probability operators | Dragan Doder; Nenad Savic; Ognjanović, Zoran D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Towards probabilistic reasoning about typed lambda terms![]() | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Probabilistic reasoning about simply typed lambda terms![]() | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Some optimization methods for non-monotonic Reasoning in System P![]() | Stojanović, Tatjana P. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Mathematical methods for privacy protection![]() | Todorović, Milan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Logical Framework for Proving the Correctness of the Chord Protocol | Marinković, Bojan B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Logics to formalise p-adic valued probability and their applications | Ilić, Stepić Angelina; Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2018 | Correctness and Strong Completeness for Logic of Time and Knowledge | Marinković, Bojan B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Napredno rešenje za 3D-digitalizaciju i predstavljanje 3D-kulturnih dobara i nepokretnih spomenika kulture | Ognjanović, Zoran D. | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2017 | Matematički metodi i zaštita privatnosti![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Logics with lower and upper probability operators | Savić, Nenad | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2017 | Leibniz, a Sorb![]() | Huylebrouck, D.; Ognjanović, Zoran | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2017 | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | Paola Glavan; Marinković, Bojan B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | A probabilistic temporal logic with countably additive semantics | Doder, Dragan J. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | A Probability Logic for Reasoning About Quantum Observations | Ilić-Stepić, Angelina V. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
