Истраживачи
Ognjanović, Zoran
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan   ; Glavan, Paola; Ognjanović, Zoran | Научни чланак | 23M23 - Рад у међ. часопису |
| 2018 | Logics to formalise p-adic valued probability and their applications | Ilić, Stepić Angelina; Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2017 | Probabilistic Logics with Independence and Confirmation | Doder, Dragan ; Ognjanović, Zoran | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2017 | Logics with lower and upper probability operators | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2017 | Leibniz, a Sorb (✓) | Huylebrouck, D.; Ognjanović, Zoran ; Radović, Ljiljana | Научни чланак | 23M23 - Рад у међ. часопису |
| 2016 | A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One | Tomović, Siniša ; Mihaljević, Miodrag ; Perović, Aleksandar ; Ognjanović, Zoran | Научни чланак | 23M23 - Рад у међ. часопису |
| 2016 | Digitalization of Scientific and Cultural Heritage in Dissemination of Innovative Teaching Models | Lajbenšperger Milica; Šegan, Marija ; Vujošević, Sandra ; Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2016 | Security evaluation of the NHB# authentication protocol against a MIM attack | Tomović, Siniša S. ; Knežević, Milica ; Mihaljević, Miodrag ; Perović, Aleksandar M. ; Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2016 | On evaluations of propositional formulas in countable structures | Perović, Aleksandar ; Doder, Dragan ; Ognjanović, Zoran ; Rašković, Miodrag | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2016 | Security evaluation of NHB# authentication protocol against a MIM attack | Tomović, Siniša ; Knežević, Milica ; Mihaljević, Miodrag J. ; Perović, Aleksandar; Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2015 | Bee colony optimization for the satisfiability problem in probabilistic logic | Stojanović, Tatjana ; Davidović, Tatjana ; Ognjanović, Zoran | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2015 | Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2015 | First steps towards probabilistic justification logic | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2014 | A propositional linear time logic with time flow isomorphic to $omega^2$ (✓) | Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan ; Perović, Aleksandar | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2014 | Heritage Portals and Heritage Mining: Synergizing Data and Image Mining under Uncertainty Constraints | Milutinovic, V.; Salom, J.; Jelisavcic, V. ; Filipovic, V.; Mihajlovic, A.; Ognjanovic, Z. ; Markovic, Z.; Kos, A.; Tomazic, S.; Maurer, H. | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2014 | Conditional p-adic probability logic (✓) | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2014 | The structure and evolution of scientific collaboration in Serbian mathematical journals | Savić, Miloš ; Ivanović, Mirjana ; Radovanović, Miloš ; Ognjanović, Zoran ; Pejović, Aleksandar ; Jakšić Kruger, Tatjana | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
| 2014 | Complex valued probability logics | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Научни чланак | 23M23 - Рад у међ. часопису |
| 2014 | A first-order probabilistic logic with approximate conditional probabilities (✓) | Ikodinović, Nebojša ; Rašković, M.; Marković, Z.; Ognjanović, Zoran | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |