| 2003 |
|---|
| 4 | EE | 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: 131-143 |
| 2002 |
|---|
| 3 | EE | Toshiaki Arai,
Frieder Stolzenburg:
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing.
AAMAS 2002: 11-18 |
| 1998 |
|---|
| 2 | EE | Toshiaki Arai,
Hideo Iiyori,
Yasunobu Hiromasu,
Masakazu Atsumi,
Shouji Ioku,
Kaoru Furuta:
Aluminum-based gate structure for active-matrix liquid crystal displays.
IBM Journal of Research and Development 42(3): 491-500 (1998) |
| 1988 |
|---|
| 1 | | Yasufumi Yoshizawa,
Toshiaki Arai,
Takashige Kubo,
Toshiharu Shinozaki:
Adaptive Storage Control For Page Frame Supply in Large Scale Computer Systems.
SIGMETRICS 1988: 235-243 |
