Istraživači
Ognjanović, Zoran
Godina
- 13 2020 - 2024
- 101 2010 - 2019
- 34 2000 - 2009
- 17 1990 - 1999
- 4 1980 - 1989
Mp-kat.
- 169 M30/M60
Godina - raspon
Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
---|---|---|---|---|
2018 | Correctness and Strong Completeness for Logic of Time and Knowledge | Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2018 | A decidable multi-agent logic with iterations of upper and lower probability operators | Dragan Doder; Nenad Savic; Ognjanović, Zoran D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2018 | Towards probabilistic reasoning about typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Zoran Ognjanović ; Nenad Savić | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2018 | Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; Nenad Savic | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | A first-order logic for reasoning about higher-order upper and lower probabilities | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
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. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | Digitalizacija časopisa filmske sveske' (1968 -1986) | Vujošević, Sandra Z. ; Novaković, Maja I. ; Ognjanović, Zoran D. ; Arsić, Aleksandra S. ; Todorović, Milan D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | A probabilistic temporal logic with countably additive semantics | Doder, Dragan J. ; Ognjanović, Zoran D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | Justification logic with approximate conditional probabilities | Ognjanović, Zoran ; Savić, Nenad ; Studer, Thomas | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | Digitalizacija časopisa "Filmske sveske" (1968-1986) (✓) | Vujošević, Sandra ; Novaković, Maja ; Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | A Probability Logic for Reasoning About Quantum Observations | Ilić-Stepić, Angelina V. ; Ognjanović, Zoran D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; SAVIĆ, NENAD D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | Matematički metodi i zaštita privatnosti | Gilezan, Silvia K. ; Ognjanović, Zoran D. ; Todorović, Milan D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | Digitalizacija časopsisa Filmske sveske (1968-1986) | Vujošević, Sandra Z. ; Novaković, Maja ; Ognjanović, Zoran D. ; Arsić, Aleksandra S. ; Todorović, Milan D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | Paola Glavan; Marinković, Bojan B. ; Ognjanović, Zoran D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2017 | Universal electronic guide developed in unity environment | Tatić, Dušan D. ; Nikola Vitanović; Kristijan Stevanović; Nemanja Živković; N. Jovanović; Stanković, Radomir S. ; Ognjanović, Zoran D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2016 | Probabilistic reasoning in type systems | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2016 | Probabilistic justification logic | Ioannis Kokkinis; Ognjanović, Zoran ; Thomas Studer | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2016 | PREDLOG FORMATA METADAPODAKA ZA OPIS NEPOKRETNIH KULTURNIH DOBARA | Arsić, Aleksandra ; Šegan-Radonjić, Marija ; Marinković, Bojan ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2016 | Towards probabilistic reasoning about lambda terms with intersection types | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; SAVIĆ, NENAD D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |