Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Colette Johnen
Colette Johnen
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Analyse algorithmique des réseaux de Petri : vérification d'espace d'accueil, systèmes de réécriture
Directed Thesis:
Autour des groupes tolérants aux délais dans les flottes mobiles communicantes
Étude de la complexité des implémentations d'objets concurrents, sans attente, abandonnables et/ou solo-rapides
Automatic classification of dynamic graphs
Partitionnement dans les réseaux mobiles Ad-hoc : conception et évaluation de protocoles auto-stabilisants et robustes