Adaptive Storage Control For Page Frame Supply in Large Scale Computer Systems. - Yasufumi Yoshizawa; Toshiaki Arai; Takashige Kubo; Toshiharu Shinozaki (SIGMETRICS, 1988)

Aluminum-based gate structure for active-matrix liquid crystal displays. - Toshiaki Arai; Hideo Iiyori; Yasunobu Hiromasu; Masakazu Atsumi; Shouji Ioku; Kaoru Furuta (IBM J. Res. Dev., 1998)

Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. - Toshiaki Arai; Frieder Stolzenburg (AAMAS, 2002)

From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications. - Frieder Stolzenburg; Toshiaki Arai (MATES, 2003)

Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification. - Jan Murray; Frieder Stolzenburg; Toshiaki Arai (Künstliche Intell., 2006)