Thèses soutenues | LIFO

Thèses soutenues

Thèses soutenues | Thèses en cours

Nombre de thèses : 82

Un modèle pour la composition d'applications de visualisation et d'interaction continue avec des simulations scientifiques

Doctorant : Ahmed TURKI
Thèse soutenue le 8 mars, 2012
Extensibilité des moyens de traitements pour les données issues des vastes systèmes d'informations géographiques

Doctorant : Hiep-Thuan DO
Thèse soutenue le 13 décembre, 2011
Apprentissage de problèmes de contraintes

Doctorant : Matthieu LOPEZ
Thèse soutenue le 8 décembre, 2011
Chimiothèques ; vers une approche rationnelle de la sélection de sous-chimiothèques

Doctorant : Julie DUBOIS-CHEVALIER
Thèse soutenue le 7 décembre, 2011
Décompositions de graphes : quelques limites et obstructions

Doctorant : Mathieu CHAPELLE
Thèse soutenue le 5 décembre, 2011
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

INSA CVL

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