Истраживачи
Ognjanović, Zoran
Results 61-80 of 305
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K.   ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Conference Paper | Mp. category will be shown later |
| 2017 | A probabilistic temporal logic with countably additive semantics | Doder, Dragan J. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2017 | Digitalizacija časopisa filmske sveske' (1968 -1986) | Vujošević, Sandra Z. ; Novaković, Maja I. ; Ognjanović, Zoran D. ; Arsić, Aleksandra S. ; Todorović, Milan D. | Conference Paper | Mp. category will be shown later |
| 2017 | Programski sistem za digitalizovano izdanje časopisa “Filmske sveske” (1968-1986) | Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan ; Vujošević, Sandra ; Novaković, Maja ; Marinković, Bojan ; Knežević, Milica ; Daković, Nevena | Technical reports | Mp. category will be shown later |
| 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. | Conference Paper | Mp. category will be shown later |
| 2017 | Digitalizacija časopsisa Filmske sveske (1968-1986) | Vujošević, Sandra Z. ; Novaković, Maja ; Ognjanović, Zoran D. ; Arsić, Aleksandra S. ; Todorović, Milan D. | Conference Paper | Mp. category will be shown later |
| 2017 | Justification logic with approximate conditional probabilities | Ognjanović, Zoran ; Savić, Nenad ; Studer, Thomas | Conference Paper | Mp. category will be shown later |
| 2017 | A first-order logic for reasoning about higher-order upper and lower probabilities | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | 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. ; Todorović, Milan D. ; Tomović, Siniša S. ; Vujošević, Sandra Z. ; Šegan-Radonjić, Marija S. ; Marinković, Bojan B. ; Jelisavčić, Vladisav S. ; Korać, Vanja M. ; D. Aćimović; J. Kuzmanović-Cvetković | Technical reports | Mp. category will be shown later |
| 2017 | Matematički metodi i zaštita privatnosti | Gilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan | Conference Paper | Mp. category will be shown later |
| 2016 | Security evaluation of NHB# authentication protocol against a MIM attack | Tomović, Siniša ; Knežević, Milica ; Mihaljević, Miodrag J. ; Perović, Aleksandar; Ognjanović, Zoran | Article | Mp. category will be shown later |
| 2016 | Modal Quantum logic with probability | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2016 | Vizuelni arhiv Jugoslavija – Digitalizacija fotograđe Muzeja istorije Jugoslavije | Aleksandra Zdravković; Tomović, Siniša ; Milan Todorović ; Vladisav Jelisavčić ; Marija Šegan ; Sandra Vujošević ; Aleksandra Arsić ; Bojan Marinković ; Zoran Ognjanović ; Radovan Cukić;
Marija Vasiljević; Ada Vlajić;
| Conference Paper | Mp. category will be shown later |
| 2016 | Security evaluation of the NHB# authentication protocol against a MIM attack | Tomović, Siniša S. ; Knežević, Milica ; Mihaljević, Miodrag ; Perović, Aleksandar M. ; Ognjanović, Zoran | Article | Mp. category will be shown later |
| 2016 | Probabilistic reasoning in types systems | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad | Conference Paper | Mp. category will be shown later |
| 2016 | Diplomatska prepiska Kraljevine Srbije 1903-1914 | Ognjanović, Zoran ; Mihaljević, Miodrag ; Knežević, Milica ; Aleksandra Zdravković; Marinković, Bojan ; Jelisavčić, Vladisav ; Arsić, Aleksandra ; Šegan, Marija ; Vujošević, Sandra ; Dragan Aćimović;
Zoran Davidovac; Korać, Vanja
; Todorović, Milan ; Tomović, Siniša ; | Technical reports | Mp. category will be shown later |
| 2016 | Digitalizacija dokumenata o spoljnoj politici Kraljevine Srbije (1903-1914) | Marija Šegan ; Sandra Vujošević ; Aleksandra Arsić ; Milica Knežević ; Vladisav Jelisavčić ; Tomović, Siniša ; Milan Todorović ; Bojan Marinković ; Zoran Ognjanović | Conference Paper | Mp. category will be shown later |
| 2016 | Towards probabilistic reasoning about lambda terms with intersection types | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad | Conference Paper | Mp. category will be shown later |
| 2016 | Metod i softver za napredne tehnike za autentikaciju u domenu IoT i M2M | Mihaljević, Miodrag ; Arsić, Aleksandra ; Ognjanović, Zoran ; Tomović, Siniša S. ; Perović, Aleksandar M. | Technical reports | Mp. category will be shown later |
| 2016 | A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One | Tomović, Siniša ; Mihaljević, Miodrag ; Perović, Aleksandar ; Ognjanović, Zoran | Article | 22M22 |