| |
| 2007 | ||
|---|---|---|
| 2 | EE | Jittisak Senachak, Mun'delanji Vestergaard, René Vestergaard: Cascaded Games. AB 2007: 185-201 |
| 2005 | ||
| 1 | Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi: Provably Correct Translation from CafeOBJ into Java. SEKE 2005: 614-619 | |
| 1 | Kokichi Futatsugi | [1] |
| 2 | Kazuhiro Ogata | [1] |
| 3 | Takahiro Seino | [1] |
| 4 | Mun'delanji Vestergaard | [2] |
| 5 | René Vestergaard | [2] |