Keiju Anada
Papers
2
Total Citations
16
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 16 citations
Programming language2 · 16 citations
Software engineering2 · 16 citations
Artificial intelligence2 · 16 citations
Robot2 · 16 citations
Embedded system1 · 11 citations
Formal verification1 · 11 citations
Correctness1 · 11 citations
Formal specification1 · 11 citations
Formal methods1 · 11 citations
Formal language1 · 11 citations
Completeness (order theory)1 · 11 citations
Key Achievements
2
H-Index
2
Papers
16
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Modelling and Analysis of a Redundant Mobile Robot Architecture Using AADL
11 citations · 2014
📈 Most Prolific Year: 2014 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Abbott (Japan)
Top Papers
- 1Modelling and Analysis of a Redundant Mobile Robot Architecture Using AADL11 citations · 2014
- 2Experiences with model-centred design methods and tools in safe robotics5 citations · 2013
Key Collaborators
Not generated yet