Arnaud Casteigts
IdRefMots clés
FR |
EN
Graphes dynamiques
Algorithmes
Systèmes de communication sans fil
Connexité
Théorie des graphes
Réseaux dynamiques
Graphes évolutifs
Réseaux de capteurs (technologie)
Théorie des graphes temporels
Algorithmique
Planification de mouvement
Spanneurs
Modélisation
Flots (théorie des graphes)
Traitement réparti
Distribué
Synchronisation
Auto-Stabilisation
Preuve formelle
Autostabilisation (informatique)