Researchers



Results 81-100 of 305
Issue DateTitleAuthor(s)TypeМp-cat.
2016PREDLOG FORMATA METADAPODAKA ZA OPIS NEPOKRETNIH KULTURNIH DOBARAArsić, Aleksandra  ; Šegan-Radonjić, Marija  ; Marinković, Bojan ; Ognjanović, Zoran  Conference Paper
Mp. category will be shown later
2016Probabilistic reasoning in type systemsGhilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, NenadConference Paper
Mp. category will be shown later
2016Probabilistic justification logicIoannis Kokkinis; Ognjanović, Zoran  ; Thomas StuderConference Paper
Mp. category will be shown later
2016Digitalizacija diplomatske prepiske Kraljevine Srbije 1903-1914Zoran Ognjanović  ; Miodrag Mihaljević  ; Dragan Aćimović; Zoran Davidovac; Vanja Korać  ; Milica Knežević  ; Aleksandra Zdravković  ; Bojan Marinković ; Vladisav Jelisavčić ; Milan Todorović  ;
Tomović, Siniša  ; Aleksandra Arsić  ; Marija Šegan  ; Sandra Vujošević ;
Technical reports
Mp. category will be shown later
2016Security evaluation of NHB# authentication protocol against a MIM attackTomović, Siniša  ; Knežević, Milica  ; Mihaljević, Miodrag J.  ; Perović, Aleksandar; Ognjanović, Zoran  Article
Mp. category will be shown later
2016Vizuelni arhiv Jugoslavije: Web aplikacija za skladištenje i virtuelno predstavljanje digitalizovane fotograđe Muzeja istorije JugoslavijeOgnjanović, Zoran  ; Zdravković, Aleksandra; Marinković, Bojan ; Jelisavčić, Vladisav ; Arsić, Aleksandra  ; Šegan-Radonjić, Marija  ; Vujošević, Sandra ; Todorović, Milan  ; Tomović, Siniša  Technical reports
Mp. category will be shown later
2016'Vizuelni arhiv Jugoslavije: Web aplikacija za skladištenje - i virtuelno predstavljanje digitalizovane fotograđe - Muzeja istorije Jugoslavije'Ognjanović, Zoran  ; Aleksandra Zdravković; Marinković, Bojan ; Jelisavčić, Vladisav ; Arsić, Aleksandra  ; Šegan, Marija  ; Vujošević, Sandra ; Todorović, Milan  ; Tomović, Siniša  Technical reports
Mp. category will be shown later
2016Probability Logics. Probability-Based Formalization of Uncertain ReasoningOgnjanović, Zoran  ; Rašković, Miodrag  ; Zoran MarkovićMonograph
Mp. category will be shown later
2016Predlog formata metapodataka za opis nepokretnih kulturnih dobaraArsić, Aleksandra  ; Šegan-Radonjić, Marija  ; Marinković, Bojan ; Ognjanović, Zoran  Conference Paper
Mp. category will be shown later
2016Digitalization of Scientific and Cultural Heritage in Dissemination of Innovative Teaching ModelsLajbenšperger Milica; Šegan, Marija  ; Vujošević, Sandra ; Ognjanović, Zoran  Article
Mp. category will be shown later
2016Unapređenja Digitalne narodne biblioteke SrbijeKnežević, Milica  ; Jelisavčić, Vladisav ; Arsić, Aleksandra  ; Marinković, Bojan ; Ognjanović, Zoran  ; Tomović, Siniša  ; Todorović, Milan  ; Miroljub StojanovićConference Paper
Mp. category will be shown later
2016Probabilistic reasoning in types systemsGilezan, Silvia  ; Ivetić, Jelena  ; Ognjanović, Zoran  ; Savić, Nenad Conference Paper
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
2015Probabilistic common knowledge among infinite number of agentsTomović, Siniša S.  ; Ognjanović, Zoran  ; Doder, Dragan Conference Paper
Mp. category will be shown later
2015Proving formal properties of the Chord protocol using IsabelleMarinković, Bojan ; Ognjanović, Zoran  ; Todorović, Milan  ; Aleksandar Zeljić; Paola GlavanConference Paper
Mp. category will be shown later
2015Exploratory Analysis of Communities in Co-authorship Networks: A Case StudySavić, Miloš  ; Ivanović, Mirjana  ; Radovanović, Miloš  ; Ognjanović, Zoran  ; Pejović, Aleksandar ; Jakšić Kruger, Tatjana  Conference Paper
Mp. category will be shown later
2015First steps towards probabilistic justification logicKokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran  ; Studer, ThomasArticle
21M21
2015Analyzing the exhaustiveness of the Synapse protocolMarinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran  ; Glavan, Paola; Liquori, Luigi; Maksimović, PetarArticle
22M22
2015Probabilistic logics with independence and probabilistic supportDoder, Dragan ; Ognjanović, Zoran  Conference Paper
Mp. category will be shown later