Analyzing Grammatical Evolution and pi π Grammatical Evolution with Grammar Model. - Pei He; Zelin Deng; Chongzhi Gao; Liang Chang 003; Achun Hu (ITITS (2), 2015)

Component-Based Verification Model of Sequential Programs. - Pei He; Achun Hu; Dongqing Xie; Zhiping Fan (J. Softw., 2015)