 | 2011 |
|---|
| 10 |       | Pei He,
Colin G. Johnson,
HouFeng Wang:
Modeling grammatical evolution by automaton.
SCIENCE CHINA Information Sciences 54(12): 2544-2553 (2011) |
| 9 | | Pei He,
Lishan Kang,
Colin G. Johnson,
Shi Ying:
Hoare logic-based genetic programming.
SCIENCE CHINA Information Sciences 54(3): 623-637 (2011) |
| 2010 |
|---|
| 8 | | Zhijun Zhou,
Yu Lv,
Pei He,
Junhu Zhou,
Kefa Cen:
DNS study of swirling intensity effect on flow pattern of a circular jet.
J. Visualization 13(1): 3-4 (2010) |
| 2009 |
|---|
| 7 | | Pei He,
Lishan Kang,
Daochang Huang:
Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations.
ISICA 2009: 228-237 |
| 6 | | Pei He,
Zhijun Zhou,
Zhihua Wang,
Junhu Zhou,
Kefa Cen:
Visualization of circular subsonic jet flow by DNS.
J. Visualization 12(4): 286 (2009) |
| 2008 |
|---|
| 5 | | Pei He,
Lishan Kang,
Zengliang Xiao,
Zhuoyu Xiao:
A Scheduling Strategy for Parallel Proof Checking and Verification.
ICNSC 2008: 1823-1827 |
| 4 | | Pei He,
Lishan Kang,
Ming Fu:
Formality based genetic programming.
IEEE Congress on Evolutionary Computation 2008: 4080-4087 |
| 2007 |
|---|
| 3 | | Pei He,
Lishan Kang,
Qiongzhang Li:
Model for Parallel Verification of Programs.
SNPD (3) 2007: 623-628 |
| 1993 |
|---|
| 2 | | Renwei Li,
Pei He,
Wenhui Zhang:
An introduction to INCAPS system.
J. Comput. Sci. Technol. 8(1): 26-37 (1993) |
| 1992 |
|---|
| 1 |  | Pei He,
Renwei Li,
Wenhui Zhang:
Theory and Practice for XYZ/VERI System.
IWAR 1992: 239-248 |
Data released under the ODC-BY 1.0 license — See also our legal information page