Thèses soutenues | LIFO

Thèses soutenues

Thèses soutenues | Thèses en cours

Nombre de thèses : 77

Algorithmes exacts et exponentiels pour des problèmes de graphes

Doctorant : Romain LETOURNEUR
Thèse soutenue le 9 juillet, 2015
Analyse du capitalisme social sur Twitter

Doctorant : Nicolas DUGUÉ
Thèse soutenue le 29 juin, 2015
⌈-Pomset pour la modélisation et la vérification de systèmes parallèles

Doctorant : Mouhamadou Tafsir SAKHO
Thèse soutenue le 17 décembre, 2014
Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation

Doctorant : Thomas PINSARD
Thèse soutenue le 15 décembre, 2014
Coloriage du plan discret par jeux de tuiles déterministes

Doctorant : Bastien LE GLOANNEC
Thèse soutenue le 12 décembre, 2014
Génération modulaire de grammaires formelles

Doctorant : Simon PETITJEAN
Thèse soutenue le 11 décembre, 2014
Comparaison et évolution de schémas XML

Doctorant : Joshua AMAVI
Thèse soutenue le 28 novembre, 2014
Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillages

Doctorant : Hélène COULLON
Thèse soutenue le 29 septembre, 2014
Protection obligatoire répartie : usage pour le calcul intensif et les postes de travail

Doctorant : Damien GROS
Thèse soutenue le 30 juin, 2014
Approche algorithmique pour l’amélioration des performances du système de détection d’intrusions PIGA

Doctorant : Pierre CLAIRET
Thèse soutenue le 24 juin, 2014
Protection obligatoire des serveurs d’applications Web : application aux processus métiers

Doctorant : Maxime FONDA
Thèse soutenue le 21 mai, 2014
Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles

Doctorant : Joeffrey LEGAUX
Thèse soutenue le 13 décembre, 2013
Modèle géométrique de calcul : fractales et barrières de complexité

Doctorant : Maxime SENOT
Thèse soutenue le 27 juin, 2013
Classification non supervisée : de la multiplicité des données à la multiplicité des analyses

Doctorant : Jacques-Henri SUBLEMONTIER
Thèse soutenue le 7 décembre, 2012
Analyses sécuritaires de code de carte à puce sous attaques physiques simulées

Doctorant : Xavier KAUFFMANN-TOURKESTANSKY
Thèse soutenue le 28 novembre, 2012
Un modèle pour la composition d'applications de visualisation et d'interaction continue avec des simulations scientifiques

Doctorant : Ahmed TURKI
Thèse soutenue le 8 mars, 2012
Extensibilité des moyens de traitements pour les données issues des vastes systèmes d'informations géographiques

Doctorant : Hiep-Thuan DO
Thèse soutenue le 13 décembre, 2011
Apprentissage de problèmes de contraintes

Doctorant : Matthieu LOPEZ
Thèse soutenue le 8 décembre, 2011
Chimiothèques ; vers une approche rationnelle de la sélection de sous-chimiothèques

Doctorant : Julie DUBOIS-CHEVALIER
Thèse soutenue le 7 décembre, 2011
Décompositions de graphes : quelques limites et obstructions

Doctorant : Mathieu CHAPELLE
Thèse soutenue le 5 décembre, 2011

INSA CVL

© 2025 LIFO. All rights reserved.