Истраживачи
Ognjanović, Zoran
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2022 | Federating digital contact tracing using structured overlay networks (✓) | Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Научни чланак | 23M23 - Рад у међ. часопису |
2022 | Intuitionistic Propositional Probability Logic (✓) | Ilić-Stepić, Angelina ; Knežević, Mateja ; Ognjanović, Zoran | Научни чланак | 23M23 - Рад у међ. часопису |
2020 | Correctness of the chord protocol | Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, Anton | Научни чланак | 23M23 - Рад у међ. часопису |
2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Научни чланак | 23M23 - Рад у међ. часопису |
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 - Рад у међ. часопису |
2014 | Complex valued probability logics | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Научни чланак | 23M23 - Рад у међ. часопису |
2013 | A first-order conditional probability logic with iterations | Milosevic, Milos; Ognjanović, Zoran | Научни чланак | 23M23 - Рад у међ. часопису |
2012 | A propositional probabilistic logic with discrete linear time for reasoning about evidence | Ognjanović, Zoran ; Marković, Zoran; Rašković, Miodrag ; Doder, Dragan ; Perović, Aleksandar | Научни чланак | 23M23 - Рад у међ. часопису |
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 | Научни чланак | 23M23 - Рад у међ. часопису |
2008 | Logics with the qualitative probability operator | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Научни чланак | 23M23 - Рад у међ. часопису |
2007 | Measure logic | Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran | Научни чланак | 23M23 - Рад у међ. часопису |
2005 | A hybrid genetic and variable neighborhood descent for probabilistic SAT problem | Ognjanović, Zoran ; Midić, Uroš; Mladenović, Nenad | Научни чланак | 23M23 - Рад у међ. часопису |
1994 | A tableau-like proof procedure for normal modal logics | Ognjanović, Zoran | Научни чланак | 23M23 - Рад у међ. часопису |
1990 | Approach to the modeling of the highest control level of flexible manufacturing cell | Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | Научни чланак | 23M23 - Рад у међ. часопису |