David Ilcinkas
IdRefMots clés
FR |
EN
Algorithmes
Théorie des graphes
Graphes dynamiques
Algorithmique distribuée
Agents mobiles (logiciels)
Algorithmique des graphes
Multicritères
Structures de données
Thêta-Graphes
Approximation
Structures de données (informatique)
Preuve formelle
Robots mobiles autonomes
Algorithmes parallèles
Méthodes formelles (informatique)
Plus courts chemins
Ingénierie algorithmique
Automate fini
Oracle
Gendarmes et voleurs