| |
| 2007 | ||
|---|---|---|
| 2 | EE | Xingchen Heng, Zheng Qin, Tian Lei, Li-Ping Shao: Learning Bayesian Network Structures with Discrete Particle Swarm Optimization Algorithm. FOCI 2007: 47-52 |
| 1 | EE | Hongjiang Gao, Zheng Qin, Li-Ping Shao, Xingchen Heng: Specifying and Verifying Cases Retrieval System Combining Event B and Spin. ICSC 2007: 53-60 |
| 1 | Hongjiang Gao | [1] |
| 2 | Xingchen Heng | [1] [2] |
| 3 | Tian Lei | [2] |
| 4 | Zheng Qin | [1] [2] |