eNauka - pregled
Pregled prema Autor Liquori, Luigi
Prikaz rezultata 1 do 9 od 9
Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
---|---|---|---|---|
2011 | A distributed catalog for digitized cultural heritage | Marinković, Bojan ![]() ![]() ![]() ![]() | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2012 | An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks | Ciancaglini, Vincenzo; Liquori, Luigi; Giang, Ngo Hoang; Maksimovic, Petar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2016 | An open logical framework | Honsell, Furio; Lenisa, Marina; Scagnetto, Ivan; Liquori, Luigi; Maksimovic, Petar | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan ![]() ![]() ![]() ![]() | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
2021 | Federating Digital Contact Tracing using Structured Overlay Networks (✓) | Ghilezan, Silvia ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2014 | Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications | Marinković, Bojan ![]() ![]() | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
2017 | LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads | Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
2018 | Plugging-in proof development environments using Locks in LF | Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |