| 2007 | ||
|---|---|---|
| 2 | EE | Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh: A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. KES (2) 2007: 840-851 |
| 2006 | ||
| 1 | EE | Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto: The Theory Grid and Grid Theorists. SKG 2006: 32 |
| 1 | Jingde Cheng | [1] [2] |
| 2 | Yuichi Goto | [1] [2] |
| 3 | Shinsuke Nara | [1] [2] |