Istraživači
Ognjanović, Zoran
Rezultati 41-60 od 305
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 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. |
| 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 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2019 | Cultural heritage digitization in Serbia: Standards, policies, and case studies | Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 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. |
| 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 ; Kašterović, Simona ; Ognjanović, Zoran ; Savic, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Towards probabilistic reasoning about typed lambda terms | Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Logical Framework for Proving the Correctness of the Chord Protocol | Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Logics to formalise p-adic valued probability and their applications | Ilić, Stepić Angelina; Ognjanović, Zoran | Naučni članak | 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 | Mathematical methods for privacy protection | Todorović, Milan ; Gilezan, Silvia ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Some optimization methods for non-monotonic Reasoning in System P | Stojanović, Tatjana P. ; Ikodinović, Nebojša M. ; Davidović, Tatjana M. ; Ognjanović, Zoran 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 | 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 | Leibniz, a Sorb | Huylebrouck, D.; Ognjanović, Zoran ; Radović, Ljiljana | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 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. |
| 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 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | 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. |