Researchers
Ognjanović, Zoran
Results 81-100 of 305
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | An Introduction to Logics with Probability Operators | Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 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 | Security evaluation of the NHB# authentication protocol against a MIM attack | Tomović, Siniša S. | Article | Mp. category will be shown later |
| 2016 | On evaluations of propositional formulas in countable structures | Perović, Aleksandar | Article | 21M21 |
| 2016 | Diplomatska prepiska Kraljevine Srbije 1903-1914 | Ognjanović, Zoran | Technical reports | Mp. category will be shown later |
| 2016 | Towards probabilistic reasoning about lambda terms with intersection types![]() | Gilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2016 | Digitalizacija dokumenata o spoljnoj politici Kraljevine Srbije (1903-1914) | Marija Šegan | 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 |
| 2016 | Modal Quantum logic with probability | Ilić-Stepić, Angelina | 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 | Metod i softver za napredne tehnike za autentikaciju u domenu IoT i M2M | Mihaljević, Miodrag | Technical reports | Mp. category will be shown later |
| 2016 | A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One | Tomović, Siniša | Article | 22M22 |
| 2016 | Correctness of the Chord Protocol | Marinković, Bojan | 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 |
| 2015 | Stvaranje Cendari digitalnog repozitorijuma o Prvom svetskom ratu I srednjevekovnoj kulturi Evrope![]() | Knežević, Milica | Conference Paper | Mp. category will be shown later |
| 2015 | A probabilistic logic for reasoning about uncertain temporal information | Doder, Dragan | Conference Paper | Mp. category will be shown later |
| 2015 | PROJECT 'DIGITARIJUM': CREATION OF TEACHING MATERIAL FOR DIGITAL HERITAGE | Vujošević, Sandra | Conference Paper | Mp. category will be shown later |
| 2015 | A p-adic probability logic![]() | Ikodinović, Nebojša | Conference Paper | Mp. category will be shown later |
| 2015 | ELEKTRONSKI KATALOG SPOMENICI KULTURE U SRBIJI (2014 – 2015) | Vujošević, Sandra; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. | Conference Paper | Mp. category will be shown later |
