Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Thèses et habilitations soutenues au LIFO depuis 2006 (pour celles entre 1992 et 2006 cliquez ici)

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
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


[tel-01431183:1]
Asma Guesmi, Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage, Thèse de Doctorat. Université d'Orléans. 07. 2016. [URL]
[tel-01445558:1]
Jean-François Lalande, Vers la sécurité mobile : caractérisation des attaques et contremesures, Université d'Orléans. Habilitation à Diriger des Recherches. 11. 2016. [URL]
[tel-01282770:3]
Abderrahim Ait Wakrime, Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques, Thèse de Doctorat. Université d'Orléans. 12. 2015. [URL]
[tel-01280792:1]
Ghada ARFAOUI, Design of privacy preserving cryptographic protocols for mobile contactless services, Thèse de Doctorat. Université d'Orléans. 11. 2015. [URL]
[tel-01280846:1]
Aline Bousquet, Application et assurance autonomes de propriétés de sécurité dans un environnement dtextquoterightinformatique en nuage, Thèse de Doctorat. Université d'Orléans. 12. 2015. [URL]
[tel-01250318:1]
Guillaume Cleuziou, Structuration de données par apprentissage non-supervisé : applications aux données textuelles, Université d'Orléans. Habilitation à Diriger des Recherches. 12. 2015. [URL]
[tel-01371936:1]
Sylvain Dailler, Extension paramétrée de compilateur certifié pour la programmation parallèle, Thèse de Doctorat. Université d'Orléans. 12. 2015. [URL]
[tel-01171497:1]
Nicolas Dugué, Analyse du capitalisme social sur Twitter, Thèse de Doctorat. Universite d'orléans. 06. 2015. [URL]
[tel-01309228:2]
Romain Letourneur, Algorithmes exacts et exponentiels pour des problèmes de graphes, Thèse de Doctorat. Université d'Orléans. 07. 2015. [URL]
[tel-01249255:1]
Mathieu Liedloff, Algorithmes exponentiels pour l'étiquetage, la domination et l'ordonnancement, Université d'Orléans. Habilitation à Diriger des Recherches. 12. 2015. [URL]
[tel-01320558:1]
Benjamin Venelle, Contrôle d'accès obligatoire pour systèmes à objets : défense en profondeur des objets Java, Thèse de Doctorat. Université d'Orléans. 07. 2015. [URL]
[tel-01171845:1]
Joshua Amavi, Comparaison et évolution de schémas XML, Thèse de Doctorat. Université d'Orléans. 11. 2014. [URL]
[tel-01080541:1]
Pierre Clairet, Approche algorithmique pour ltextquoterightamélioration des performances du système de détection dtextquoterightintrusions PIGA, Thèse de Doctorat. Université d'Orléans. 06. 2014. [URL]
[tel-01094327:1]
Hélène Coullon, Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillages, Thèse de Doctorat. Université d'Orléans. 09. 2014. [URL]
[tel-01202674:1]
Khanh-Chuong Duong, Constrained clustering by constraint programming, Thèse de Doctorat. Université d'Orléans. 12. 2014. [URL]
[tel-01069411:1]
Maxime Fonda, Protection obligatoire des serveurs dtextquoterightapplications Web : application aux processus métiers, Thèse de Doctorat. Université d'Orléans. 05. 2014. [URL]
[tel-01080544:1]
Damien Gros, Protection obligatoire répartie : usage pour le calcul intensif et les postes de travail, Thèse de Doctorat. Université d'Orléans. 06. 2014. [URL]
[tel-01288501:1]
Bastien Le Gloannec, Coloriage du plan discret par jeux de tuiles déterministes, Thèse de Doctorat. Université d'Orléans. 12. 2014. [URL]
[tel-01163150:2]
Simon Petitjean, Génération modulaire de grammaires formelles, Thèse de Doctorat. Université d'Orléans. 12. 2014. [URL]
[tel-01362118:1]
Thomas Pinsard, Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation, Thèse de Doctorat. Université d'Orléans. 12. 2014. [URL]
[tel-01298527:1]
Mouhamadou Tafsir Sakho, lceil-Pomset pour la modélisation et la vérification de systèmes parallèles, Thèse de Doctorat. Université d'Orléans. 12. 2014. [URL]
[tel-00990852:2]
Joeffrey Legaux, Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles, Thèse de Doctorat. Université d'Orléans. 12. 2013. [URL]
[tel-00870600:2]
Maxime Senot, Modèle géométrique de calcul : fractales et barrières de complexité, Thèse de Doctorat. Université d'Orléans. 06. 2013. [URL]
[hal-00749277:1]
Khalil Djelloul, Contributions à la résolution de contraintes du premier ordre, Habilitation à Diriger des Recherches. Université d'Orléans, LIFO. 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, Statistical relational learning : Structure learning for Markov logic networks, 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, Metaprogrammed algorithmic skeletons : implementations, performances and semantics, 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, LIFO. 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]



2017/03/29 généré via HALLO + JabRef.