Knowledge Tree

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