Researchers
Ognjanović, Zoran
Date issued - custom
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2019 | TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM (✓) | Zoran Ognjanović   ; Bojan Marinković ; Šegan-Radonjić, Marija S. ; Dejan Masliković | Conference Paper | Mp. category will be shown later |
| 2019 | Приказ доприноса Математичког института САНУ и Математичког факултета у Београду дигитализацији културне и научне баштине од 1990-их до данас | Огњановић, Зоран ; Маринковић, Бојан | Conference Paper | Mp. category will be shown later |
| 2019 | Probabilistic consensus of the blockchain protocol | Marinković, Bojan B. ; P. Glavan; Ognjanović, Zoran D. ; D. Doder; T. Studer | Conference Paper | Mp. category will be shown later |
| 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 ; Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2018 | Some optimization methods for non-monotonic Reasoning in System P (✓) | Stojanović, Tatjana P. ; Ikodinović, Nebojša M. ; Davidović, Tatjana M. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2018 | Mathematical methods for privacy protection | Todorović, Milan D. ; Gilezan, Silvia K. ; Zoran Ognjanović | Conference Paper | Mp. category will be shown later |
| 2018 | Logical Framework for Proving the Correctness of the Chord Protocol | Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavan | Conference Paper | Mp. category will be shown later |
| 2018 | Correctness and Strong Completeness for Logic of Time and Knowledge | Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavana | Conference Paper | Mp. category will be shown later |
| 2018 | A decidable multi-agent logic with iterations of upper and lower probability operators | Dragan Doder; Nenad Savic; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2018 | Towards probabilistic reasoning about typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Zoran Ognjanović ; Nenad Savić | Conference Paper | Mp. category will be shown later |
| 2018 | Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; Nenad Savic | Conference Paper | Mp. category will be shown later |
| 2017 | A first-order logic for reasoning about higher-order upper and lower probabilities | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 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. | Conference Paper | Mp. category will be shown later |
| 2017 | Digitalizacija časopisa filmske sveske' (1968 -1986) | Vujošević, Sandra Z. ; Novaković, Maja I. ; Ognjanović, Zoran D. ; Arsić, Aleksandra S. ; Todorović, Milan D. | Conference Paper | Mp. category will be shown later |
| 2017 | A probabilistic temporal logic with countably additive semantics | Doder, Dragan J. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2017 | Justification logic with approximate conditional probabilities | Ognjanović, Zoran ; Savić, Nenad ; Studer, Thomas | Conference Paper | Mp. category will be shown later |
| 2017 | Digitalizacija časopisa "Filmske sveske" (1968-1986) (✓) | Vujošević, Sandra ; Novaković, Maja ; Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan | Conference Paper | Mp. category will be shown later |
| 2017 | A Probability Logic for Reasoning About Quantum Observations | Ilić-Stepić, Angelina V. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; SAVIĆ, NENAD D. | Conference Paper | Mp. category will be shown later |
| 2017 | Matematički metodi i zaštita privatnosti | Gilezan, Silvia K. ; Ognjanović, Zoran D. ; Todorović, Milan D. | Conference Paper | Mp. category will be shown later |