Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Hanna Klaudel
Hanna Klaudel
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Reconnaissance de motifs dynamiques par automates temporisés à mémoire
Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : application aux véhicules autonomes communicants
Modelling and analysing open reconfigurable systems
Compilation de réseaux de Petri : modèles haut niveau et symétries de processus
Le calibrage de modèles à base d'agents pour la simulation de systèmes complexes
Une approche cognitive de l'adaptativité appliquée à l'automatisation de tâches répétitives
Modèles composables et concurrents pour le temps-réel