|
Lifo > Thèses et habilitations soutenues au LIFO depuis 2006 (pour celles entre 1992 et 2006 cliquez ici) |
|
- Renseignements pratiques
- Enseignement
Contact
LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37
Thèses et habilitations soutenues au LIFO depuis 2006 (pour celles entre 1992 et 2006 cliquez ici)
Thèses et Habilitations à Diriger des Recherches
[hal-00749277:1]
Khalil Djelloul, Contributions à la résolution de contraintes du premier ordre, Habilitation à Diriger des Recherches. Université d'Orléans. 09. 2012. [URL]
[tel-00771273:4]
Xavier Kauffmann-Tourkestansky, Analyses sécuritaires de code de carte à puce sous attaques physiques simulées, Thèse de Doctorat. Université d'Orléans. 11. 2012. [URL]
[tel-00801555:2]
Jacques-Henri Sublemontier, Classification non supervisée : de la multiplicité des données à la multiplicité des analyses, Thèse de Doctorat. Université d'Orléans. 12. 2012. [URL]
[tel-00736633:2]
Ahmed Turki, Un modèle pour la composition d'applications de visualisation et d'interaction continue avec des simulations scientifiques, Thèse de Doctorat. Université d'Orléans. 03. 2012. [URL]
[tel-00659666:2]
Mathieu Chapelle, Décompositions de graphes : quelques limites et obstructions, Thèse de Doctorat. Université d'Orléans. 12. 2011. [URL]
[tel-00659738:2]
Quang-Thang Dinh, Apprentissage statistique relationnel : apprentissage de structures de réseaux de Markov logiques, Thèse de Doctorat. Université d'Orléans. 11. 2011. [URL]
[tel-00660083:2]
Hiep-Thuan Do, Extensibilité des moyens de traitements pour les données issues des vastes systèmes d'informations géographiques, Thèse de Doctorat. Université d'Orléans. 12. 2011. [URL]
[tel-00675250:1]
Julie Dubois-Chevalier, Chimiothèques ; vers une approche rationnelle de la sélection de sous-chimiothèques, Thèse de Doctorat. Université d'Orléans. 12. 2011. [URL]
[tel-00651088:1]
Noman Javed, Squelettes algorithmiques méta-programmés : implantations, performances et sémantique, Thèse de Doctorat. Université d'Orléans. 10. 2011. [URL]
[tel-00668156:2]
Matthieu Lopez, Apprentissage de problèmes de contraintes, Thèse de Doctorat. Université d'Orléans. 12. 2011. [URL]
[tel-00597422:2]
Damien Poirier, Des textes communautaires à la recommandation, Thèse de Doctorat. Université d'Orléans. 02. 2011. [URL]
[tel-00660554:3]
Julien Tesson, Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels, Thèse de Doctorat. Université d'Orléans. 11. 2011. [URL]
[tel-00669780:1]
Gaël Dias, Information Digestion, Université d'Orléans. Habilitation à Diriger des Recherches. 12. 2010. [URL]
[tel-00579490:2]
Duy-Tùng Nguyên, Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés, Thèse de Doctorat. Université d'Orléans. 10. 2010. [URL]
[tel-00623075:1]
Jonathan Rouzaud-Cornabas, Formalisation de propriétés de sécurité pour la protection des systèmes d'exploitation, Thèse de Doctorat. Université d'Orléans. 12. 2010. [URL]
[tel-00486721:2]
Jérémie Vautard, Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées, Thèse de Doctorat. Université d'Orléans. 04. 2010. [URL]
[tel-00465073:1]
Mohamad Al Hajj Hassan, Parallélisme et équilibrage de charges dans le traitement de la jointure sur des architectures distribuées., Thèse de Doctorat. Université d'Orléans. 12. 2009. [URL]
[tel-00491193:1]
Barbara Fila, Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès, Thèse de Doctorat. Université d'Orléans. 11. 2008. [URL]
[tel-00261613:1]
Jérémy Briffaut, Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
[tel-00476678:1]
Pierre-Alain Fayolle, Reconstruction 3D d'objets par une representation fonctionnelle, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
[tel-00465080:1]
Sylvain Jubertie, Modèles et outils pour le déploiement d'applications de Réalité Virtuelle sur des architectures distribuées, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
[tel-00490819:1]
Pierre Pillot, Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis, Thèse de Doctorat. Université d'Orléans. 12. 2007. [URL]
[tel-00460610:1]
Mathieu Blanc, 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., Thèse de Doctorat. Université d'Orléans. 12. 2006. [URL]
[hal-00491497:1]
Arnaud Lallouet, Construction de Solveurs, Apprentissage de Contraintes, et Résolution de Contraintes Quantifiées, Habilitation à Diriger des Recherches. Université d'Orléans. 12. 2006. [URL]
[tel-00480669:1]
Karol Suchan, Complétions d'intervalles minimales, Thèse de Doctorat. Université d'Orléans. 12. 2006. [URL]
[tel-00480655:1]
Ioan Todinca, Décompositions arborescentes de graphes : calcul, approximations, heuristiques, Université d'Orléans. Habilitation à Diriger des Recherches. 12. 2006. [URL]
[hal-00483325:1]
Soumia Ziti, Classes Particulières de Graphes : Aspects Structurels et Algorithmiques, Thèse Université d'Orléans. 10. 2006. [URL]
