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. |
|---|---|---|---|---|
| 2022 | The logic ILP for intuitionistic reasoning about probability (✓) | Ilić Stepić, Angelina   ; Ognjanović, Zoran ; Perović, Aleksandar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2022 | Probabilistic-Temporal Logic with Actions (✓) | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2022 | A Logic of Interactive Proofs (✓) | Lehnherr, David; Studer, Thomas; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2022 | Incomplete Information and Justifications (✓) | Doder, Dragan ; Ognjanović, Zoran ; Savić, Nenad; Studer, Thomas | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Federating Digital Contact Tracing using Structured Overlay Networks (✓) | Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Logics for Reasoning about Knowledge and Conditional Probability (✓) | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | A Logic of Interactive Proofs (✓) | Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | A Probabilistic Temporal Epistemic Logic (✓) | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | An Epistemic Probabilistic Logic with Conditional Probabilities (✓) | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2020 | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case (✓) | Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2020 | Logical formalization of Bayesian concepts of confirmation | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2020 | An Introduction To Logics With Probability Operators | Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2020 | Reasoning About Degrees of Confirmation | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM (✓) | Zoran Ognjanović ; Bojan Marinković ; Šegan-Radonjić, Marija S. ; Dejan Masliković | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Probabilistic consensus of the blockchain protocol | Marinković, Bojan B. ; P. Glavan; Ognjanović, Zoran D. ; D. Doder; T. Studer | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Приказ доприноса Математичког института САНУ и Математичког факултета у Београду дигитализацији културне и научне баштине од 1990-их до данас | Огњановић, Зоран ; Маринковић, Бојан | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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 | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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 | 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. |