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]
2025/03/23 généré via HALLO + JabRef.