| |
| 2008 | ||
|---|---|---|
| 3 | EE | Haihe Shi, Jinyun Xue, Dawei Du: A Mechanical Approach for Deriving Algorithmic Programs. ACIS-ICIS 2008: 483-487 |
| 2 | EE | Haihe Shi, Dawei Du, Jinyun Xue: Generating Algorithms plus Loop Invariants by Formal Derivation. ACIS-ICIS 2008: 496-501 |
| 1 | EE | 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] |