Истраживачи
Ognjanović, Zoran
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2018 | Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K.   ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; Nenad Savic | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Towards probabilistic reasoning about typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Zoran Ognjanović ; Nenad Savić | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 | A decidable multi-agent logic with iterations of upper and lower probability operators | Dragan Doder; Nenad Savic; Ognjanović, Zoran D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Correctness and Strong Completeness for Logic of Time and Knowledge | Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 D. ; Gilezan, Silvia K. ; Zoran Ognjanović | Конференцијски рад | Мп категорија ће бити приказана накнадно. |