| 2008 | ||
|---|---|---|
| 3 | Haihe Shi, Jinyun Xue, Dawei Du: A Mechanical Approach for Deriving Algorithmic Programs. ACIS-ICIS 2008: 483-487 | |
| 2 | Haihe Shi, Dawei Du, Jinyun Xue: Generating Algorithms plus Loop Invariants by Formal Derivation. ACIS-ICIS 2008: 496-501 | |
| 1 | Keh-Hsun Chen, Dawei Du, Peigang Zhang: A Fast Indexing Method for Monte-Carlo Go. Computers and Games 2008: 92-101 | |
| 1 | Keh-Hsun Chen | [1] |
| 2 | Haihe Shi | [2] [3] |
| 3 | Jinyun Xue | [2] [3] |
| 4 | Peigang Zhang | [1] |