Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Luigi Liquori

Luigi Liquori

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Types union, intersection, et dépendants dans le lambda-calcul explicitement typé
Techniques de modélisation et d’analyse pour l’amélioration de la robustesse des systèmes distribués
De l'interconnexion à la coopération des systèmes pair-à-pair
Développement et vérification des logiques probabilistes et des cadres logiques
Du routage par clé au routage par contenu : interconnexion des systèmes et applications de diffusion vidéo