Истраживачи
Marinković, Bojan
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2022 | Federating digital contact tracing using structured overlay networks (✓) | Ghilezan, Silvia   ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Научни чланак | 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 - Рад у међ. часопису |