Researchers
Ognjanović, Zoran
Results 81-100 of 305
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | Metod za prilagođeno upravljanje privatnošću informacija kroz implementaciju principa iz familije standarda ISO 29100 | Mihaljević, Miodrag | 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 | Article | 21M21 |
| 2016 | Correctness of the Chord Protocol | Marinković, Bojan | 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 | 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 | Probability Logics. Probability-Based Formalization of Uncertain Reasoning | Ognjanović, Zoran | Monograph | 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 | 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 | Predlog formata metapodataka za opis nepokretnih kulturnih dobara | Arsić, Aleksandra | Conference Paper | 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 |
| 2015 | First-order probabilistic logics and their applications![]() | Ikodinović, Nebojša | Book parts | 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 | Digitalizacija naučnog i kulturnog - nasleđa u srednjoškolskom - Obrazovanju | Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2015 | First-Order Probabilistic Common Knowledge Logic | 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 | Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers | Ilić-Stepić, Angelina | Article | 21M21 |
