еНаука - преглед

Преглед према Аутор Liquori, Luigi

Приказ резултата 1 до 9 од 9
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2011A distributed catalog for digitized cultural heritageMarinković, Bojan  ; Liquori, Luigi; Ciancaglini, Vincenzo; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012An Extension and Cooperation Mechanism for Heterogeneous Overlay NetworksCiancaglini, Vincenzo; Liquori, Luigi; Giang, Ngo Hoang; Maksimovic, PetarКонференцијски рад
Мп категорија ће бити приказана накнадно.
2016An open logical frameworkHonsell, Furio; Lenisa, Marina; Scagnetto, Ivan; Liquori, Luigi; Maksimovic, PetarНаучни чланак
21M21 - Рад у врхунском међ. часопису
2015Analyzing the exhaustiveness of the Synapse protocolMarinković, Bojan  ; Ciancaglini, Vincenzo; Ognjanović, Zoran  ; Glavan, Paola; Liquori, Luigi; Maksimović, PetarНаучни чланак
22M22 - Рад у истакнутом међ. часопису
2013Development and verification of probability logics and logical frameworksMaksimović, PetarДокторска дисертација
70M70 - Одбрањена докторска дисертација
2021Federating Digital Contact Tracing using Structured Overlay Networks (✓)Ghilezan, Silvia  ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan  ; Ognjanović, Zoran  ; Stefanović, Tamara  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and ApplicationsMarinković, Bojan  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2017LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using MonadsHonsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, IvanНаучни чланак
22M22 - Рад у истакнутом међ. часопису
2018Plugging-in proof development environments using Locks in LFHonsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, IvanНаучни чланак
22M22 - Рад у истакнутом међ. часопису
Приказ резултата 1 до 9 од 9