Researchers
Ognjanović, Zoran
Date issued
- 13 2020 - 2024
- 101 2010 - 2019
- 34 2000 - 2009
- 17 1990 - 1999
- 4 1980 - 1989
Мп-кат.
- 169 M30/M60
Date issued - custom
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2022 | Incomplete Information and Justifications (✓) | Doder, Dragan ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2022 | A Logic of Interactive Proofs (✓) | Lehnherr, David; Studer, Thomas; Ognjanović, Zoran ![]() ![]() | Conference Paper | Mp. category will be shown later |
2022 | The logic ILP for intuitionistic reasoning about probability (✓) | Ilić Stepić, Angelina ![]() ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2022 | Probabilistic-Temporal Logic with Actions (✓) | Dautović, Šejla ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2021 | A Probabilistic Temporal Epistemic Logic (✓) | Ilić Stepić, Angelina ![]() ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2021 | An Epistemic Probabilistic Logic with Conditional Probabilities (✓) | Dautović, Šejla ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2021 | Federating Digital Contact Tracing using Structured Overlay Networks (✓) | Ghilezan, Silvia ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2021 | A Logic of Interactive Proofs (✓) | Lehnherr, David; Ognjanović, Zoran ![]() ![]() | Conference Paper | Mp. category will be shown later |
2021 | Logics for Reasoning about Knowledge and Conditional Probability (✓) | Dautović, Šejla ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2020 | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case (✓) | Ghilezan, Silvia ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2020 | Reasoning About Degrees of Confirmation | Dautović, Šejla ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2020 | An Introduction To Logics With Probability Operators | Ognjanović, Zoran ![]() ![]() | Conference Paper | Mp. category will be shown later |
2020 | Logical formalization of Bayesian concepts of confirmation | Dautović, Šejla ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2019 | TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM (✓) | Zoran Ognjanović ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | 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. ![]() ![]() ![]() ![]() | 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 ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2018 | Some optimization methods for non-monotonic Reasoning in System P (✓) | Stojanović, Tatjana P. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2018 | Mathematical methods for privacy protection | Todorović, Milan D. ![]() ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2018 | Logical Framework for Proving the Correctness of the Chord Protocol | Marinković, Bojan B. ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |