Toshiaki Arai
Papers
1
Total Citations
8
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 8 citations
Computer science1 · 8 citations
Distributed computing1 · 8 citations
Domain (mathematical analysis)1 · 8 citations
Formal methods1 · 8 citations
Formal specification1 · 8 citations
Formal verification1 · 8 citations
Model checking1 · 8 citations
Multi-agent system1 · 8 citations
Programming language1 · 8 citations
Software1 · 8 citations
Software engineering1 · 8 citations
Key Achievements
1
H-Index
1
Papers
8
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications
8 citations · 2003
📈 Most Prolific Year: 2003 (1 Papers)
🤝 Key Collaborators: 1
Top Papers
- 1
Key Collaborators
Not generated yet