Istraživači
Ognjanović, Zoran
Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
---|---|---|---|---|
2022 | Federating digital contact tracing using structured overlay networks (✓) | Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Naučni članak | 23M23 - Rad u međ. časopisu |
2022 | Intuitionistic Propositional Probability Logic (✓) | Ilić-Stepić, Angelina ; Knežević, Mateja ; Ognjanović, Zoran | Naučni članak | 23M23 - Rad u međ. časopisu |
2020 | Correctness of the chord protocol | Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, Anton | Naučni članak | 23M23 - Rad u međ. časopisu |
2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Naučni članak | 23M23 - Rad u međ. časopisu |
2017 | Leibniz, a Sorb (✓) | Huylebrouck, D.; Ognjanović, Zoran ; Radović, Ljiljana | Naučni članak | 23M23 - Rad u međ. časopisu |
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 | Naučni članak | 23M23 - Rad u međ. časopisu |
2014 | Complex valued probability logics | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Naučni članak | 23M23 - Rad u međ. časopisu |
2013 | A first-order conditional probability logic with iterations | Milosevic, Milos; Ognjanović, Zoran | Naučni članak | 23M23 - Rad u međ. časopisu |
2012 | A propositional probabilistic logic with discrete linear time for reasoning about evidencetransfer function - advantages and weak points | Perović, Aleksandar ; Ognjanović, Zoran ; Zoran Markovic; Rašković, Miodrag ; Doder, Dragan | Naučni članak | 23M23 - Rad u međ. časopisu |
2012 | A propositional probabilistic logic with discrete linear time for reasoning about evidence | Ognjanović, Zoran ; Marković, Zoran; Rašković, Miodrag ; Doder, Dragan ; Perović, Aleksandar | Naučni članak | 23M23 - Rad u međ. časopisu |
2008 | Logics with the qualitative probability operator | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Naučni članak | 23M23 - Rad u međ. časopisu |
2007 | Measure logic | Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran | Naučni članak | 23M23 - Rad u međ. časopisu |
2005 | A hybrid genetic and variable neighborhood descent for probabilistic SAT problem | Ognjanović, Zoran ; Midić, Uroš; Mladenović, Nenad | Naučni članak | 23M23 - Rad u međ. časopisu |
1994 | A tableau-like proof procedure for normal modal logics | Ognjanović, Zoran | Naučni članak | 23M23 - Rad u međ. časopisu |
1990 | Approach to the modeling of the highest control level of flexible manufacturing cell | Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | Naučni članak | 23M23 - Rad u međ. časopisu |