Thèses soutenues | LIFO

Thèses soutenues

Thèses soutenues | Thèses en cours

Nombre de thèses : 85

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

Doctorant : Pierre PILLOT
Thèse soutenue le 4 décembre, 2007
Sécurité des systèmes d'exploitation répartis : architecture décentralisée de méta-politique pour l'administration du contrôle d'accès obligatoire.

Doctorant : Mathieu BLANC
Thèse soutenue le 19 décembre, 2006
Complétions d'intervalles minimales

Doctorant : Karol SUCHAN
Thèse soutenue le 12 décembre, 2006
Une méthode de classification non-supervisée pour l'apprentissage de règles et la recherche d'information

Doctorant : Cleuziou Guillaume
Thèse soutenue le 8 décembre, 2004
Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD)

Doctorant : Daniel DIAZ
Thèse soutenue le 13 janvier, 1995

INSA CVL

© 2026 LIFO. All rights reserved. | Mentions légales