Kentaro Hanada
Papers
1
Total Citations
3
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 3 citations
Automaton1 · 3 citations
Computer science1 · 3 citations
Embedded system1 · 3 citations
Formal verification1 · 3 citations
Java1 · 3 citations
Model checking1 · 3 citations
Programming language1 · 3 citations
Reliability (semiconductor)1 · 3 citations
Robot1 · 3 citations
Tracing1 · 3 citations
Key Achievements
1
H-Index
1
Papers
3
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model
3 citations · 2013
📈 Most Prolific Year: 2013 (1 Papers)
🤝 Key Collaborators: 6
Top Papers
- 1
Key Collaborators
Not generated yet