|
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
Email:
contact.lifo
Tel: +33 (0)2 38 41 99 29
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-04706199:1]
Arthur Braida, Analog Quantum Computing for NP-Hard Combinatorial Graph Problems, Thèse de Doctorat. Université d'Orléans. 06. 2024. [URL]
[tel-04546106:1]
Sofiane Elguendouze, Explainable Artificial Intelligence approaches for Image Captioning, Thèse de Doctorat. Université d'Orléans. 01. 2024. [URL]
[tel-04794341:1]
Nicolas Hiot, Construction automatique de bases de données pour le domaine médical : Intégration de texte et maintien de la cohérence, Thèse de Doctorat. Université d'Orléans. 07. 2024. [URL]
[tel-04546776:1]
Darine Rammal, Memory safety for synchronous reactive programming, Thèse de Doctorat. Université d'Orléans. 01. 2024. [URL]
[tel-04730569:1]
Sébastien Rivault, Parallélisme, équilibrage de charges et extensibilité dans le traitement des mégadonnées sur des systèmes à grande échelle, Thèse de Doctorat. Université d'Orléans. 07. 2024. [URL]
[tel-04638902:1]
Maël Dumas, Modification et couverture de graphes : Approches paramétrées, Thèse de Doctorat. Université d'Orléans. 12. 2023. [URL]
[tel-04603797:1]
Aurélien Emmanuel, Courbes d'accumulations des machines à signaux, Thèse de Doctorat. Université d'Orléans. 12. 2023. [URL]
[tel-04633635:2]
Olivier Gracianne, Exploration de micro-posts d'actualité : représentation, structuration et description, Thèse de Doctorat. Université d'Orléans. 12. 2023. [URL]
[tel-04482222:1]
Antoine Guillaume, Time series classification with Shapelets : Application to predictive maintenance on event logs, Thèse de Doctorat. Université d'Orléans. 01. 2023. [URL]
[tel-04844034:1]
Shahrzad Heydarshahi, Self-Assembly on Various Surfaces, Thèse de Doctorat. Université d'Orléans. 12. 2023. [URL]
[tel-04949895:1]
Daniil Kozhemiachenko, Paraconsistent and fuzzy modal logics for reasoning about uncertainty, Thèse de Doctorat. INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire. 09. 2023. [URL]
[tel-04688533:1]
Sara Taki, Linked Data Sanitization with Differential Privacy, Thèse de Doctorat. INSA Centre Val de Loire. 12. 2023. [URL]
[tel-04645556:1]
Adrien Jousse, Mandatory protection checked against the automotive sector 's safety objectives, Thèse de Doctorat. INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire. 12. 2022. [URL]
[tel-04301178:1]
Dara Ly, Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C, Thèse de Doctorat. Université d'Orléans. 12. 2022. [URL]
[tel-04186027:1]
Ciro Morais Medeiros, Improvements on graph path queries : expression, evaluation, and minimum-weight satisfiability, Thèse de Doctorat. Université d'Orléans. 08. 2022. [URL]
[tel-04088683:1]
Haoran Wang, Implicit parallelism for neural network acceleration, Thèse de Doctorat. Université d'Orléans. 10. 2022. [URL]
[tel-03256882:1]
Radu Ciucanu, Secure Outsourced Data Analytics, Université d'Orléans. Habilitation `a Diriger des Recherches. 06. 2021. [URL]
[tel-03544194:1]
Nguyen-Viet-Dung Nghiem, Clustering and knowledge integration, Thèse de Doctorat. Université d'Orléans. 12. 2021. [URL]
[tel-03616187:1]
Salwa Souaf, Formal Methods meet Security in a Cost Aware Cloud Brokerage Solution, Thèse de Doctorat. INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire. 12. 2020. [URL]
[tel-02988287:1]
Cherifa Ben Khelil, Construction semi-automatique d'une grammaire d'arbres adjoints pour l'analyse syntaxico-sémantique de l'arabe, Thèse de Doctorat. Université d'Orléans. 06. 2019. [URL]
[tel-03625475:1]
Gaëtan Caillaut, Apprentissage d'espaces prétopologiques pour l'extraction de connaissances structurées, Thèse de Doctorat. Université d'Orléans. 12. 2019. [URL]
[tel-02920363:1]
Filip Jakobsson, Static Analysis for BSPlib Programs, Thèse de Doctorat. Université d'Orléans. 06. 2019. [URL]
[tel-02414240:2]
Axel Michel, Personalising privacy contraints in Generalization-based Anonymization Models, Thèse de Doctorat. Institut National des Sciences Appliquées - Centre Val de Loire. 04. 2019. [URL]
[tel-02986761:1]
Gauthier Sornet, Parallèlisme des calculs numériques appliqué aux géosciences, Thèse de Doctorat. Université d'Orléans. 10. 2019. [URL]
[tel-03215462:1]
Thibaut Tachon, Automatic Generation of Bulk-Synchronous Parallel code, Thèse de Doctorat. Université d'Orléans. 06. 2019. [URL]
[tel-01975875:1]
Tom Besson, Discrétisation automatique de machines à signaux en automates cellulaires, Thèse de Doctorat. Université d'Orléans. 04. 2018. [URL]
[tel-01832811:1]
Thi-Bich-Hanh Dao, Constraint Programming for Data Mining and for Natural Language Processing, Université d'Orléans. Habilitation `a Diriger des Recherches. 03. 2018. [URL]
[tel-02099753:1]
Diego Maldonado, Universalité et complexité des automates cellulaires coagulants, Thèse de Doctorat. Université d'Orléans. 11. 2018. [URL]
[tel-02426935:2]
Thanh Binh Nguyen, L'interrogation du web de données garantissant des réponses valides par rapport à des critères donnés, Thèse de Doctorat. Université d'Orléans. 12. 2018. [URL]
[tel-03626690:1]
Pedro Montealegre-Barba, Sequential and distributes graph algorithms. Parameterized algorithms via potential maximal cliques; broadcast congested clique., Thèse de Doctorat. Université d'Orléans. 02. 2017. [URL]
[tel-01891863:1]
Vivien Pelletier, Sur-approximations non régulières et terminaison pour l 'analyse d 'accessibilité, Thèse de Doctorat. Université d'Orléans. 10. 2017. [URL]
[tel-01897436:1]
Xing Wei, Non-asymptotic method estimation and applications for fractional order systems, Thèse de Doctorat. Institut National des Sciences Appliquées - Centre Val de Loire. 11. 2017. [URL]
[tel-03624110:1]
Allan Blanchard, Aide à la vérification de programmes concurrents par transformation de code et de spécifications, Thèse de Doctorat. Université d'Orléans. 12. 2016. [URL]
[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:2]
Jean-François Lalande, Vers la sécurité mobile : caractérisation des attaques et contremesures, Université d'Orléans. Habilitation `a 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 d 'informatique 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 `a 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 `a 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 l 'amélioration des performances du système de détection d 'intrusions 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 d 'applications 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 `a 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 `a 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]
Université d'Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 