Thèses soutenues | LIFO

Thèses soutenues

Thèses soutenues | Thèses en cours

Nombre de thèses : 77

Statistical relational learning : Structure learning for Markov logic networks

Doctorant : Quang-Thang DINH
Thèse soutenue le 28 novembre, 2011
Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels

Doctorant : Julien TESSON
Thèse soutenue le 8 novembre, 2011
Metaprogrammed algorithmic skeletons : implementations, performances and semantics

Doctorant : Noman JAVED
Thèse soutenue le 21 octobre, 2011
Des textes communautaires à la recommandation

Doctorant : Damien POIRIER
Thèse soutenue le 11 février, 2011
Formalisation de propriétés de sécurité pour la protection des systèmes d'exploitation

Doctorant : Jonathan ROUZAUD-CORNABAS
Thèse soutenue le 2 décembre, 2010
Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés

Doctorant : Duy-Tùng NGUYÊN
Thèse soutenue le 21 octobre, 2010
Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées

Doctorant : Jérémie VAUTARD
Thèse soutenue le 15 avril, 2010
Parallélisme et équilibrage de charges dans le traitement de la jointure sur des architectures distribuées.

Doctorant : Mohamad AL HAJJ HASSAN
Thèse soutenue le 16 décembre, 2009
Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès

Doctorant : Barbara FILA
Thèse soutenue le 3 novembre, 2008
Reconstruction 3D d'objets par une representation fonctionnelle

Doctorant : Pierre-Alain FAYOLLE
Thèse soutenue le 17 décembre, 2007
Modèles et outils pour le déploiement d'applications de Réalité Virtuelle sur des architectures distribuées

Doctorant : Jubertie Sylvain
Thèse soutenue le 14 décembre, 2007
Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions

Doctorant : Briffaut Jérémy
Thèse soutenue le 13 décembre, 2007
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

© 2025 LIFO. All rights reserved.