Papers
13
Total Citations
151
H-Index
6
About
No biography available yet.
Research Focus
Computer science13 · 151 citations
Robot11 · 139 citations
Artificial intelligence11 · 139 citations
Certification11 · 135 citations
Mathematics7 · 123 citations
Mobile robot10 · 118 citations
Proof assistant6 · 112 citations
Theoretical computer science8 · 111 citations
Distributed computing8 · 110 citations
Correctness6 · 106 citations
Mathematical proof6 · 106 citations
Algorithm5 · 85 citations
Key Achievements
6
H-Index
13
Papers
151
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
Impossibility of gathering, a certification
46 citations · 2014
📈 Most Prolific Year: 2016 (3 Papers)
🤝 Key Collaborators: 13
🏛 Institutions: École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise, Verimag, Collège de France, Yale University, Institut polytechnique de Grenoble, Living Independently Now Center
Top Papers
- 1Impossibility of gathering, a certification46 citations · 2014
- 2
- 3Synchronous Gathering without Multiplicity Detection: a Certified Algorithm21 citations · 2018
- 4
- 5
- 6Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm11 citations · 2016
- 7A Certified Universal Gathering Algorithm for Oblivious Mobile Robots6 citations · 2015
- 8
- 9
- 10
Key Collaborators
STSébastien Tixeuil13 shared papersXUXavier Urbain12 shared papersPCPierre Courtieu10 shared papersTBThibaut Balabonski7 shared papersRPRobin Pelle3 shared papersADAmélie Delga2 shared papersQBQuentin Bramas1 shared papersNSNathalie Sznajder1 shared papersFBFrançois Bonnet1 shared papersBBBéatrice Bérard1 shared papersMPMaria Potop-Butucaru1 shared papersLMLaure Millet1 shared papersXDXavier Défago1 shared papers
Not generated yet