Researchers

Publications

Results 61-80 of 303

Issue DateTitleAuthor(s)TypeМ-cat.
2017A probabilistic temporal logic with countably additive semanticsDoder, Dragan J. ; Ognjanović, Zoran D.  Conference Paper
Mp. category will be shown later
2017Programski 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
2017Digitalizacija č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
2017A first-order logic for reasoning about higher-order upper and lower probabilitiesSavić, Nenad ; Doder, Dragan ; Ognjanović, Zoran  Conference Paper
Mp. category will be shown later
2017Digitalizacija č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
2017Leibniz, a Sorb (✓)Huylebrouck, D.; Ognjanović, Zoran  ; Radović, Ljiljana  Article
23M23
2017Justification logic with approximate conditional probabilitiesOgnjanović, Zoran  ; Savić, Nenad ; Studer, ThomasConference Paper
Mp. category will be shown later
2017Matematički metodi i zaštita privatnostiGilezan, Silvia K.  ; Ognjanović, Zoran D.  ; Todorović, Milan D.  Conference Paper
Mp. category will be shown later
2017Napredno rešenje za 3D-digitalizaciju i predstavljanje 3D-kulturnih dobara i nepokretnih spomenika kultureOgnjanović, 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
2016Modal Quantum logic with probabilityIlić-Stepić, Angelina  ; Ognjanović, Zoran  Conference Paper
Mp. category will be shown later
2016Vizuelni arhiv Jugoslavija – Digitalizacija fotograđe Muzeja istorije JugoslavijeAleksandra 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
2016Security evaluation of the NHB# authentication protocol against a MIM attackTomović, Siniša S.  ; Knežević, Milica  ; Mihaljević, Miodrag  ; Perović, Aleksandar M.  ; Ognjanović, Zoran  Article
Mp. category will be shown later
2016Towards probabilistic reasoning about lambda terms with intersection typesGilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; SAVIĆ, NENAD D. Conference Paper
Mp. category will be shown later
2016Digitalizacija 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
2016Diplomatska prepiska Kraljevine Srbije 1903-1914Ognjanović, 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
2016Metod i softver za napredne tehnike za autentikaciju u domenu IoT i M2MMihaljević, Miodrag  ; Arsić, Aleksandra  ; Ognjanović, Zoran  ; Tomović, Siniša S.  ; Perović, Aleksandar M.  Technical reports
Mp. category will be shown later
2016A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing OneTomović, Siniša  ; Mihaljević, Miodrag  ; Perović, Aleksandar  ; Ognjanović, Zoran  Article
23M23
2016An Introduction to Logics with Probability OperatorsOgnjanović, Zoran  Conference Paper
Mp. category will be shown later
2016On evaluations of propositional formulas in countable structuresPerović, Aleksandar  ; Doder, Dragan ; Ognjanović, Zoran  ; Rašković, Miodrag  Article
21M21
2016Metod za prilagođeno upravljanje privatnošću informacija kroz implementaciju principa iz familije standarda ISO 29100Mihaljević, Miodrag  ; Ognjanović, Zoran  ; Šegan, Marija  ; Vujošević, Sandra Technical reports
Mp. category will be shown later

Results 61-80 of 303