Истраживачи
Ognjanović, Zoran
Година
- 38 2020 - 2027
- 164 2010 - 2019
- 71 2000 - 2009
- 28 1990 - 1999
- 4 1980 - 1989
Мп-кат.
Година - распон
Резултати 41-60 од 305
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2019 | Cultural heritage digitization in Serbia: Standards, policies, and case studies | Ognjanović, Zoran   ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | Приказ доприноса Математичког института САНУ и Математичког факултета у Београду дигитализацији културне и научне баштине од 1990-их до данас | Огњановић, Зоран ; Маринковић, Бојан | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 - Водећи међународни часопис категорије M21 |
| 2019 | TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM | Zoran Ognjanović ; Bojan Marinković ; Šegan-Radonjić, Marija S. ; Dejan Masliković | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Correctness and Strong Completeness for Logic of Time and Knowledge | Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Logical Framework for Proving the Correctness of the Chord Protocol | Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Logics to formalise p-adic valued probability and their applications | Ilić, Stepić Angelina; Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2018 | Some optimization methods for non-monotonic Reasoning in System P | Stojanović, Tatjana P. ; Ikodinović, Nebojša M. ; Davidović, Tatjana M. ; Ognjanović, Zoran D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Mathematical methods for privacy protection | Todorović, Milan ; Gilezan, Silvia ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Towards probabilistic reasoning about typed lambda terms | Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | A decidable multi-agent logic with iterations of upper and lower probability operators | Dragan Doder; Nenad Savic; Ognjanović, Zoran D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savic, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | A first-order logic for reasoning about higher-order upper and lower probabilities | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Justification logic with approximate conditional probabilities | Ognjanović, Zoran ; Savić, Nenad ; Studer, Thomas | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | A case study of the usage of information technologies and mobile devices by visitors in museum environments | Tatić, Dušan D. ; N. Jovanović; D. Tatić; Stanković, Radomir S. ; Ognjanović, Zoran D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Digitalizacija časopsisa Filmske sveske (1968-1986) | Vujošević, Sandra Z. ; Novaković, Maja ; Ognjanović, Zoran D. ; Arsić, Aleksandra S. ; Todorović, Milan D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | A Probability Logic for Reasoning About Quantum Observations | Ilić-Stepić, Angelina V. ; Ognjanović, Zoran D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Logics with lower and upper probability operators | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |