ACD  Abstraction  Abstraction hiérarchique  Acquisition automatique des données  Agent mobile  Agents mobiles  Algorithmes  Algorithmes d'approximation  Allocation de ressources  Analyse formelle  Answer Set Programming  Answer Set Programming  Apprentissage des modèles  Architectures manycore  Atteignabilité  Attracteurs  Attracteurs  Automate temporisé  Automate à mémoire  Automates mathématiques, Théorie des  Automates temporisés  Automatisation  Bactéries -- Motilité  Bioinformatique  Biologie systémique  Biotechnologie  Calcul adaptatif  Cas de test  Circulation  Circulation, Technique de la  Cloud computing  Collecte des données  Communauté  Communication  Compilation  Contraintes  Données massives  Escherichia coli  Expression régulière  Expressions rationnelles  Graphe d’Observation Symbolique  Grille de PCs  IDS  Informatique  Informatique autonome  Informatique dans les nuages  Informatique mobile  Innovation  Intelligence artificielle  Jeu  Jini  Langages formels  Logiciels -- Vérification  Logique temporelle  Mgs  Model Checking Symbolique  Model Checking parallèle  Model-checking  Modularité  Modèle de corrélation  Modèle formel  Modèles formels  Modèles mathématiques  Modélisation formelle  Mu-calcul  Méthodes formelles  Noyaux  Ontologie  Optimisation combinatoire  Optimisation mathématique  Optimisation multi-critères  Paritisation  Pepa  Petri, Réseaux de  Pi-calcul  Pi-graphes  Poste à poste  Processus métier à base de services  Programmation spatiale  Protocoles  Protocoles de réseaux d'ordinateurs  Publication-souscription  Robots autonomes  Robots mobiles  Réduction  Réputation  Réseaux biologiques  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux de régulation biologique  Réseaux d’automates  Réseaux d’automates avec le temps  Simulation  Simulation par ordinateur  Simulation, Méthodes de  Substances dangereuses -- Transport  Surveillance logicielle  Symétrie  Systemes concurents  Système complexe  Systèmes Multi-Agents  Systèmes adaptatifs  Systèmes complexes  Systèmes d'exploitation orientés objets  Systèmes de transport intelligent  Systèmes virtuels  Sécurité des systèmes  Sûreté de fonctionnement  Temps réel  Tests  Théorie des jeux  Voies réservées  Véhicule autonome  Véhicules autonomes  Vérification  Vérification de modèles  Vérification dynamique  Workflow scientifique  Ω-automates  

Hanna Klaudel dirige actuellement la thèse suivante :


Hanna Klaudel a dirigé les 9 thèses suivantes :


Hanna Klaudel a été président de jury des 4 thèses suivantes :


Hanna Klaudel a été rapporteur des 3 thèses suivantes :


Hanna Klaudel a été membre de jury des 7 thèses suivantes :