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

Lifo > Doctoral and habilitation thesis of LIFO members since 2006 (for those between 1992 and 2006 click here)

 Site en Français



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



Doctoral and habilitation thesis of LIFO members since 2006 (for those between 1992 and 2006 click here)



Thesis


[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-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-02269565:1]
Axel Michel, Personalizing Privacy Constraints in Generalization-based Anonymization Models, Thèse de Doctorat. INSA Centre Val de Loire. 04. 2019. [URL]
[tel-02414240:1]
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, Assisted Concurrent Program Verification by Code and Specification Transformation, Thèse de Doctorat. Université d'Orléans (UO). 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]



2024/03/18 generated via HALLO + JabRef.