Researchers
Ognjanović, Zoran
Results 101-120 of 305
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2015 | Probabilistic common knowledge among infinite number of agents | Tomović, Siniša S.   ; Ognjanović, Zoran ; Doder, Dragan | Conference Paper | Mp. category will be shown later |
| 2015 | Proving formal properties of the Chord protocol using Isabelle | Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Aleksandar Zeljić; Paola Glavan | Conference Paper | Mp. category will be shown later |
| 2015 | ELEKTRONSKI KATALOG SPOMENICI KULTURE U SRBIJI (2014 – 2015) | Vujošević, Sandra; Ognjanović, Zoran ; Šegan-Radonjić, Marija | Conference Paper | Mp. category will be shown later |
| 2015 | ELEKTRONSKI KATALOG - SPOMENICI KULTURE - U SRBIJI (2014 – 2015) | Vujošević, Sandra ; Ognjanović, Zoran ; Šegan, Marija | Conference Paper | Mp. category will be shown later |
| 2015 | Some applications of probabilistic first-order logics | Ikodinović, Nebojša ; Ognjanović, Zoran ; Rašković, Miodrag ; Zoran Marković | Conference Paper | Mp. category will be shown later |
| 2015 | Exploratory Analysis of Communities in Co-authorship Networks: A Case Study | Savić, Miloš ; Ivanović, Mirjana ; Radovanović, Miloš ; Ognjanović, Zoran ; Pejović, Aleksandar ; Jakšić Kruger, Tatjana | 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 ; Ognjanović, Zoran | Article | 21M21 |
| 2015 | First steps towards probabilistic justification logic | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas | Article | 21M21 |
| 2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Article | 22M22 |
| 2015 | Stvaranje Cendari digitalnog repozitorijuma o Prvom svetskom ratu I srednjevekovnoj kulturi Evrope | Knežević, Milica ; Marinković, Bojan ; Čukić, Ivan ; Ognjanović, Zoran ; Nataša Bulatović; Todorović, Milan ; Jörg Lehmann; Andrei Zamoiski | Conference Paper | Mp. category will be shown later |
| 2015 | A probabilistic logic for reasoning about uncertain temporal information | Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2015 | Probabilistic logics with independence and probabilistic support | Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2015 | Bee colony optimization for the satisfiability problem in probabilistic logic | Stojanović, Tatjana ; Davidović, Tatjana ; Ognjanović, Zoran | Article | 21aM21a |
| 2015 | SERBIA-FORUM - KORAK KA BOLjOJ VIDLjIVOSTI DIGITALIZOVANE KULTURNE BAŠTINE U SRBIJI | Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Aleksandar Mihajlović; Jelisavčić, Vladisav ; Tomović, Siniša ; Milutinović, Veljko | Conference Paper | Mp. category will be shown later |
| 2015 | Digitalizacija naučnog i kulturnog nasleđa u srednjoškolskom obrazovanju | Šegan-Radonjić, Marija ; Lajbenšperger, Milica; Rajić, Sanja; Ivanović, Aleksandra; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2014 | Дигитална вишелејерна карта Топличког округа | Ваљаревић, Александар ; Коћовић, Драгомир ; Огњановић, Зоран ; Стевановић, Владица | Conference Paper | Mp. category will be shown later |
| 2014 | Dealing with satisfiability problem in default logic using Bee-colony optimization | Stojanović, Tatjana ; Ikodinović, Nebojša M. ; Davidović, Tatjana M. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2014 | A Propositional Linear Time Logic with Time Flow Isomorphic to $omega^2$ | Marinković, Bojan ; Ognjanović, Zoran ; Perović, Aleksandar ; Doder, Dragan | Conference Paper | Mp. category will be shown later |
| 2014 | Hierarchies of probabilistic logics | Ikodinović, Nebojša ; Ognjanović, Zoran ; Perović, Aleksandar ; Rašković, Miodrag | Article | 21M21 |
| 2014 | Finitely Additive Probability Measures in Automated Medical Diagnostics | Knežević, Milica M. ; Ognjanović, Zoran ; Perović, Aleksandar M. | Conference Paper | Mp. category will be shown later |