Истраживачи
Ognjanović, Zoran
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2022 | Intuitionistic Propositional Probability Logic (✓) | Ilić-Stepić, Angelina ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2022 | Federating digital contact tracing using structured overlay networks (✓) | Ghilezan, Silvia ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2020 | Correctness of the chord protocol | Marinković, Bojan ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2017 | Leibniz, a Sorb (✓) | Huylebrouck, D.; Ognjanović, Zoran ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2016 | A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One | Tomović, Siniša ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2014 | Complex valued probability logics | Ilić-Stepić, Angelina ![]() ![]() ![]() ![]() | Научни чланак | 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 evidencetransfer function - advantages and weak points | Perović, Aleksandar ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2012 | A propositional probabilistic logic with discrete linear time for reasoning about evidence | Ognjanović, Zoran ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2008 | Logics with the qualitative probability operator | Ognjanović, Zoran ![]() ![]() | Научни чланак | 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 ![]() ![]() ![]() ![]() | Научни чланак | 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 - Рад у међ. часопису |