Toshiaki Arai

According to our database1, Toshiaki Arai authored at least 5 papers between 1988 and 2006.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification.
Künstliche Intell., 2006

2003
From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications.
Proceedings of the Multiagent System Technologies, First German Conference, 2003

2002
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

1998
Aluminum-based gate structure for active-matrix liquid crystal displays.
IBM J. Res. Dev., 1998

1988
Adaptive Storage Control For Page Frame Supply in Large Scale Computer Systems.
Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1988


  Loading...