Pei He

	2009
4		Pei He, Lishan Kang, Daochang Huang: Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations. ISICA 2009: 228-237
	2008
3		Pei He, Lishan Kang, Zengliang Xiao, Zhuoyu Xiao: A Scheduling Strategy for Parallel Proof Checking and Verification. ICNSC 2008: 1823-1827
2		Pei He, Lishan Kang, Ming Fu: Formality based genetic programming. IEEE Congress on Evolutionary Computation 2008: 4080-4087
	2007
1		Pei He, Lishan Kang, Qiongzhang Li: Model for Parallel Verification of Programs. SNPD (3) 2007: 623-628

Coauthor Index

1	Ming Fu	[2]
2	Daochang Huang	[4]
3	Lishan Kang	[1] [2] [3] [4]
4	Qiongzhang Li	[1]
5	Zengliang Xiao	[3]
6	Zhuoyu Xiao	[3]