Toshiaki Arai

Publication Activity (10 Years)

Years Active: 1988-2006
Publications (10 Years): 0

Publications

Jan Murray, Frieder Stolzenburg, Toshiaki Arai
Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification. Künstliche Intell. 20 (3) (2006)
Frieder Stolzenburg, Toshiaki Arai
From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications. MATES (2003)
Toshiaki Arai, Frieder Stolzenburg
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. AAMAS (2002)
Toshiaki Arai, Hideo Iiyori, Yasunobu Hiromasu, Masakazu Atsumi, Shouji Ioku, Kaoru Furuta
Aluminum-based gate structure for active-matrix liquid crystal displays. IBM J. Res. Dev. 42 (3) (1998)
Yasufumi Yoshizawa, Toshiaki Arai, Takashige Kubo, Toshiharu Shinozaki
Adaptive Storage Control For Page Frame Supply in Large Scale Computer Systems. SIGMETRICS (1988)