eNauka - pregled
Pregled prema Autor Glavan, Paola
Prikaz rezultata 1 do 4 od 4
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan  ; Glavan, Paola; Ognjanović, Zoran  ; Studer, Thomas | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2020 | Correctness of the chord protocol | Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, Anton | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2019 | Proving properties of the Chord protocol using the ASM formalism | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |