| |
| 2006 | ||
|---|---|---|
| 2 | EE | Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi: Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model. JACIII 10(3): 349-361 (2006) |
| 2004 | ||
| 1 | Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani: Equivalent Transformation Computation Model. MSV/AMCS 2004: 391-398 | |
| 1 | Kiyoshi Akama | [1] [2] |
| 2 | Ikumi Imani | [1] [2] |
| 3 | Hiroshi Mabuchi | [2] |
| 4 | Yoshinori Shigeta | [1] |