Du routage par clé au routage par contenu : interconnexion des systèmes et applications
de diffusion vidéo / par Vincenzo Ciancaglini ; sous la direction de Luigi Liquori
et de Jean-Christophe Pazzaglia. - Thèse de doctorat : Informatique : Nice : 2013
Types union, intersection, et dépendants dans le lambda-calcul explicitement typé
/ Claude Stolze ; sous la direction de Luigi Liquori. Thèse de doctorat : Informatique
: Université Côte d'Azur (ComUE) : 2019
Information trouvée : directeur de thèse