Ha Thi Thu Doan

Japan Advanced Institute of Science and Technology

Papers

3

Total Citations

36

H-Index

2

About

No biography available yet.

Research Focus

Mathematics3 · 36 citations
Programming language3 · 36 citations
Rewriting3 · 36 citations
Computer science3 · 36 citations
Theoretical computer science3 · 36 citations
Counterexample2 · 34 citations
Correctness2 · 34 citations
Model checking2 · 34 citations
Artificial intelligence2 · 34 citations
Mobile robot2 · 34 citations
Robot2 · 34 citations
Algorithm2 · 22 citations

Key Achievements

2
H-Index
3
Papers
36
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
Model Checking of a Mobile Robots Perpetual Exploration Algorithm
20 citations · 2017
📈 Most Prolific Year: 2017 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Japan Advanced Institute of Science and Technology

Top Papers

  1. 1
    Model Checking of a Mobile Robots Perpetual Exploration Algorithm
    20 citations · 2017
  2. 2
    Model Checking of Robot Gathering
    14 citations · 2018
  3. 3
    An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms
    2 citations · 2019

Key Collaborators

KOKazuhiro Ogata3 shared papersFBFrançois Bonnet2 shared papersARAdrián Riesco1 shared papers
Not generated yet