| |
| 2008 | ||
|---|---|---|
| 3 | EE | Pei He, Lishan Kang, Zengliang Xiao, Zhuoyu Xiao: A Scheduling Strategy for Parallel Proof Checking and Verification. ICNSC 2008: 1823-1827 |
| 2 | EE | Pei He, Lishan Kang, Ming Fu: Formality based genetic programming. IEEE Congress on Evolutionary Computation 2008: 4080-4087 |
| 2007 | ||
| 1 | EE | Pei He, Lishan Kang, Qiongzhang Li: Model for Parallel Verification of Programs. SNPD (3) 2007: 623-628 |
| 1 | Ming Fu | [2] |
| 2 | Lishan Kang | [1] [2] [3] |
| 3 | Qiongzhang Li | [1] |
| 4 | Zengliang Xiao | [3] |
| 5 | Zhuoyu Xiao | [3] |