Kazuhiro Ogata

Japan Advanced Institute of Science and Technology

Papers

4

Total Citations

42

H-Index

3

About

No biography available yet.

Research Focus

Programming language4 · 42 citations
Theoretical computer science4 · 42 citations
Mathematics4 · 42 citations
Computer science4 · 42 citations
Rewriting3 · 36 citations
Correctness2 · 34 citations
Artificial intelligence2 · 34 citations
Mobile robot2 · 34 citations
Model checking2 · 34 citations
Counterexample2 · 34 citations
Robot2 · 34 citations
Algorithm2 · 22 citations

Key Achievements

3
H-Index
4
Papers
42
Total Citations
11
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: 6
🏛 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
    Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method
    6 citations · 2021
  4. 4
    An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms
    2 citations · 2019

Key Collaborators

HTHa Thi Thu Doan3 shared papersFBFrançois Bonnet2 shared papersYOYuki Okura1 shared papersMNMasaki Nakamura1 shared papersARAdrián Riesco1 shared papersKSKazutoshi Sakakibara1 shared papers
Not generated yet