Researchers
Ognjanović, Zoran
Type
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2019 | TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM (✓) | Zoran Ognjanović ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2019 | Cultural heritage digitization in Serbia: Standards, policies, and case studies | Ognjanović, Zoran ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Article | 22M22 |
2019 | Probabilistic consensus of the blockchain protocol | Marinković, Bojan B. ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan ![]() ![]() ![]() ![]() | Article | 21M21 |
2019 | Приказ доприноса Математичког института САНУ и Математичког факултета у Београду дигитализацији културне и научне баштине од 1990-их до данас | Огњановић, Зоран ![]() ![]() | Conference Paper | Mp. category will be shown later |
2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan ![]() ![]() ![]() ![]() | Article | 23M23 |
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 | 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 | Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2018 | Towards probabilistic reasoning about typed lambda terms | Gilezan, Silvia K. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2018 | Correctness and Strong Completeness for Logic of Time and Knowledge | Marinković, Bojan B. ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2018 | Logics to formalise p-adic valued probability and their applications | Ilić, Stepić Angelina; Ognjanović, Zoran ![]() ![]() | Article | 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 |
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 |
2017 | Matematički metodi i zaštita privatnosti | Gilezan, Silvia K. ![]() ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2017 | Napredno rešenje za 3D-digitalizaciju i predstavljanje 3D-kulturnih dobara i nepokretnih spomenika kulture | Ognjanović, Zoran D. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Technical reports | Mp. category will be shown later |
2017 | Probabilistic Logics with Independence and Confirmation | Doder, Dragan ![]() ![]() ![]() | Article | 21M21 |
2017 | Digitalizacija časopisa "Filmske sveske" (1968-1986) (✓) | Vujošević, Sandra ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Conference Paper | Mp. category will be shown later |
2017 | Logics with lower and upper probability operators | Savić, Nenad ![]() ![]() ![]() ![]() | Article | 21M21 |