Laure Millet

Centre National de la Recherche Scientifique

Papers

4

Total Citations

78

H-Index

3

About

No biography available yet.

Research Focus

Artificial intelligence4 · 78 citations
Mathematical proof4 · 78 citations
Robot4 · 78 citations
Distributed computing4 · 78 citations
Computer science4 · 78 citations
Mobile robot4 · 78 citations
Correctness4 · 78 citations
Theoretical computer science3 · 76 citations
Mathematics2 · 71 citations
Formal methods3 · 45 citations
Programming language3 · 45 citations
Model checking3 · 45 citations

Key Achievements

3
H-Index
4
Papers
78
Total Citations
20
Avg Citations/Paper
🏆 Most Cited Paper
Formal verification of mobile robot protocols
38 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 9
🏛 Institutions: Centre National de la Recherche Scientifique

Top Papers

  1. 1
    Formal verification of mobile robot protocols
    38 citations · 2016
  2. 2
    On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering
    33 citations · 2014
  3. 3
    [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems
    5 citations · 2015
  4. 4
    Vérification formelle et robots mobiles
    2 citations · 2013

Key Collaborators

MPMaria Potop-Butucaru4 shared papersSTSébastien Tixeuil4 shared papersBBBéatrice Bérard3 shared papersYTYann Thierry-Mieg2 shared papersNSNathalie Sznajder2 shared papersLRLionel Rieg1 shared papersPLPascal Lafourcade1 shared papersPCPierre Courtieu1 shared papersXUXavier Urbain1 shared papers
Not generated yet