Researchers
Ognjanović, Zoran
Results 81-100 of 305
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | PREDLOG FORMATA METADAPODAKA ZA OPIS NEPOKRETNIH KULTURNIH DOBARA | Arsić, Aleksandra | Conference Paper | Mp. category will be shown later |
| 2016 | Probabilistic reasoning in type systems![]() | Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2016 | Probabilistic justification logic | Ioannis Kokkinis; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2016 | Digitalizacija diplomatske prepiske Kraljevine Srbije 1903-1914![]() | Zoran Ognjanović | Technical reports | Mp. category will be shown later |
| 2016 | Security evaluation of NHB# authentication protocol against a MIM attack | Tomović, Siniša | Article | 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 | 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 | Technical reports | Mp. category will be shown later |
| 2016 | Probability Logics. Probability-Based Formalization of Uncertain Reasoning | Ognjanović, Zoran | Monograph | Mp. category will be shown later |
| 2016 | Predlog formata metapodataka za opis nepokretnih kulturnih dobara | Arsić, Aleksandra | Conference Paper | Mp. category will be shown later |
| 2016 | Digitalization of Scientific and Cultural Heritage in Dissemination of Innovative Teaching Models | Lajbenšperger Milica; Šegan, Marija | Article | Mp. category will be shown later |
| 2016 | Unapređenja Digitalne narodne biblioteke Srbije | Knežević, Milica | Conference Paper | Mp. category will be shown later |
| 2016 | Probabilistic reasoning in types systems![]() | Gilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2016 | Modal Quantum logic with probability | Ilić-Stepić, Angelina | Conference Paper | Mp. category will be shown later |
| 2016 | Vizuelni arhiv Jugoslavija – Digitalizacija fotograđe Muzeja istorije Jugoslavije | Aleksandra Zdravković; Tomović, Siniša
Marija Vasiljević; Ada Vlajić;
| Conference Paper | Mp. category will be shown later |
| 2015 | Probabilistic common knowledge among infinite number of agents | Tomović, Siniša S. | Conference Paper | Mp. category will be shown later |
| 2015 | Proving formal properties of the Chord protocol using Isabelle | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2015 | Exploratory Analysis of Communities in Co-authorship Networks: A Case Study | Savić, Miloš | Conference Paper | Mp. category will be shown later |
| 2015 | First steps towards probabilistic justification logic | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran | Article | 21M21 |
| 2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan | Article | 22M22 |
| 2015 | Probabilistic logics with independence and probabilistic support | Doder, Dragan | Conference Paper | Mp. category will be shown later |
