| |
| 2008 | ||
|---|---|---|
| 3 | EE | Hiroyuki Nakagawa, Ryohei Nakatsu: Achievement of Carrying Objects by Small-Sized Humanoid Robot. ICEC 2008: 106-115 |
| 2007 | ||
| 2 | EE | Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden: Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. ASE 2007: 531-532 |
| 2006 | ||
| 1 | EE | Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden: Analysis of multi-agent systems based on KAOS modeling. ICSE 2006: 926-929 |
| 1 | Shinichi Honiden | [1] [2] |
| 2 | Takuya Karube | [1] |
| 3 | Ryohei Nakatsu | [3] |
| 4 | Kenji Taguchi | [2] |