Researchers
Ognjanović, Zoran
Results 61-80 of 305
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 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 | Matematički metodi i zaštita privatnosti | Gilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan | 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 | 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 | 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 | 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 | Justification logic with approximate conditional probabilities | Ognjanović, Zoran ; Savić, Nenad ; Studer, Thomas | 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 | Leibniz, a Sorb | Huylebrouck, D.; Ognjanović, Zoran ; Radović, Ljiljana | Article | 23M23 |
| 2017 | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | Paola Glavan; Marinković, Bojan B. ; Ognjanović, Zoran D. | 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 | 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 |
| 2016 | Metod za prilagođeno upravljanje privatnošću informacija kroz implementaciju principa iz familije standarda ISO 29100 | Mihaljević, Miodrag ; Ognjanović, Zoran ; Šegan, Marija ; Vujošević, Sandra | Technical reports | Mp. category will be shown later |
| 2016 | An Introduction to Logics with Probability Operators | Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2016 | On evaluations of propositional formulas in countable structures | Perović, Aleksandar ; Doder, Dragan ; Ognjanović, Zoran ; Rašković, Miodrag | Article | 21M21 |
| 2016 | Correctness of the Chord Protocol | Marinković, Bojan ; Ognjanović, Zoran ; Paola Glavan; Anton Umek | Conference Paper | Mp. category will be shown later |