Xavier Urbain

École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise, Laboratoire de Recherche en Informatique, Université Paris-Saclay, Université Claude Bernard Lyon 1, Université Paris-Sud, Laboratoire d'Informatique en Images et Systèmes d'Information, Centre National de la Recherche Scientifique, Centre d'Etudes et De Recherche en Informatique et Communications

Papers

16

Total Citations

195

H-Index

7

About

No biography available yet.

Research Focus

Computer science16 · 195 citations
Robot14 · 183 citations
Artificial intelligence14 · 183 citations
Certification12 · 169 citations
Mathematics8 · 167 citations
Mathematical proof8 · 157 citations
Proof assistant7 · 156 citations
Theoretical computer science9 · 150 citations
Mobile robot12 · 118 citations
Correctness7 · 113 citations
Distributed computing8 · 105 citations
Impossibility5 · 104 citations

Key Achievements

7
H-Index
16
Papers
195
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: 16
🏛 Institutions: École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise, Laboratoire de Recherche en Informatique, Université Paris-Saclay, Université Claude Bernard Lyon 1, Université Paris-Sud, Laboratoire d'Informatique en Images et Systèmes d'Information

Top Papers

  1. 1
    Impossibility of gathering, a certification
    46 citations · 2014
  2. 2
    Certified Impossibility Results for Byzantine-Tolerant Mobile Robots
    44 citations · 2013
  3. 3
    Certified Universal Gathering in $$\mathbb {R} ^2$$ for Oblivious Mobile Robots
    26 citations · 2016
  4. 4
    Synchronous Gathering without Multiplicity Detection: a Certified Algorithm
    21 citations · 2018
  5. 5
    Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots
    11 citations · 2019
  6. 6
    Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm
    11 citations · 2016
  7. 7
    Formal Methods for Mobile Robots
    7 citations · 2019
  8. 8
    A Certified Universal Gathering Algorithm for Oblivious Mobile Robots
    6 citations · 2015
  9. 9
    Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots
    5 citations · 2018
  10. 10
    [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems
    5 citations · 2015

Key Collaborators

STSébastien Tixeuil16 shared papersPCPierre Courtieu13 shared papersLRLionel Rieg12 shared papersTBThibaut Balabonski6 shared papersNSNathalie Sznajder2 shared papersRPRobin Pelle2 shared papersMPMaria Potop-Butucaru2 shared papersCACédric Auger2 shared papersADAmélie Delga2 shared papersZBZohir Bouzid2 shared papersQBQuentin Bramas1 shared papersLMLaure Millet1 shared papersFBFrançois Bonnet1 shared papersBBBéatrice Bérard1 shared papersXDXavier Défago1 shared papersLRLionel Rieg1 shared papers
Not generated yet