Researchers
Ognjanović, Zoran
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2022 | Federating digital contact tracing using structured overlay networks (✓) | Ghilezan, Silvia   ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Article | 23M23 |
| 2022 | Intuitionistic Propositional Probability Logic (✓) | Ilić-Stepić, Angelina ; Knežević, Mateja ; Ognjanović, Zoran | Article | 23M23 |
| 2020 | Correctness of the chord protocol | Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, Anton | Article | 23M23 |
| 2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Article | 23M23 |
| 2017 | Leibniz, a Sorb (✓) | Huylebrouck, D.; Ognjanović, Zoran ; Radović, Ljiljana | Article | 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 | Article | 23M23 |
| 2014 | Complex valued probability logics | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Article | 23M23 |
| 2013 | A first-order conditional probability logic with iterations | Milosevic, Milos; Ognjanović, Zoran | Article | 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 | Article | 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 | Article | 23M23 |
| 2008 | Logics with the qualitative probability operator | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Article | 23M23 |
| 2007 | Measure logic | Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran | Article | 23M23 |
| 2005 | A hybrid genetic and variable neighborhood descent for probabilistic SAT problem | Ognjanović, Zoran ; Midić, Uroš; Mladenović, Nenad | Article | 23M23 |
| 1994 | A tableau-like proof procedure for normal modal logics | Ognjanović, Zoran | Article | 23M23 |
| 1990 | Approach to the modeling of the highest control level of flexible manufacturing cell | Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | Article | 23M23 |