еНаука - преглед
Преглед према Аутор Liquori, Luigi
Приказ резултата 1 до 9 од 9
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | A distributed catalog for digitized cultural heritage | Marinković, Bojan  ; Liquori, Luigi; Ciancaglini, Vincenzo; Ognjanović, Zoran  | Conference Paper | Mp. category will be shown later |
| 2012 | An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks | Ciancaglini, Vincenzo; Liquori, Luigi; Giang, Ngo Hoang; Maksimovic, Petar | Conference Paper | Mp. category will be shown later |
| 2016 | An open logical framework | Honsell, Furio; Lenisa, Marina; Scagnetto, Ivan; Liquori, Luigi; Maksimovic, Petar | Article | 21aM21a |
| 2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Article | 22M22 |
| 2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Doctoral theses | 70M70 |
| 2021 | Federating Digital Contact Tracing using Structured Overlay Networks | Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Conference Paper | Mp. category will be shown later |
| 2014 | Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications | Marinković, Bojan | Doctoral theses | 70M70 |
| 2017 | LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads | Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan | Article | 22M22 |
| 2018 | Plugging-in proof development environments using Locks in LF | Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan | Article | 22M22 |