Theory and Practice for XYZ/VERI System. - Pei He; Renwei Li 001; Wenhui Zhang (IWAR, 1992)

An introduction to INCAPS system. - Renwei Li 001; Pei He; Wenhui Zhang (J. Comput. Sci. Technol., 1993)

Model for Parallel Verification of Programs. - Pei He; Lishan Kang; Qiongzhang Li (SNPD (3), 2007)

Formality based genetic programming. - Pei He; Lishan Kang; Ming Fu (IEEE Congress on Evolutionary Computation, 2008)

A Scheduling Strategy for Parallel Proof Checking and Verification. - Pei He; Lishan Kang; Zengliang Xiao; Zhuoyu Xiao (ICNSC, 2008)

Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations. - Pei He; Lishan Kang; Daochang Huang (ISICA, 2009)

Visualization of circular subsonic jet flow by DNS. - Pei He; Zhijun Zhou; Zhihua Wang; Junhu Zhou; Kefa Cen (J. Vis., 2009)

DNS study of swirling intensity effect on flow pattern of a circular jet. - Zhijun Zhou; Yu Lv; Pei He; Junhu Zhou; Kefa Cen (J. Vis., 2010)

Modeling grammatical evolution by automaton. - Pei He; Colin G. Johnson; Houfeng Wang (Sci. China Inf. Sci., 2011)

Hoare logic-based genetic programming. - Pei He; Lishan Kang; Colin G. Johnson; Shi Ying (Sci. China Inf. Sci., 2011)

Improving Multi Expression Programming Using Reuse-Based Evaluation. - Wei Deng; Pei He (ISICA, 2012)

Work in progress: A new algorithm to improve the decoding success probability of Raptor code. - Huihui Li; Xiangying Li; Pei He; Shanqiang Yi; Dewei Yang; Huafeng Liu (ChinaCom, 2014)

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)

Model approach to grammatical evolution: theory and case study. - Pei He; Zelin Deng; Houfeng Wang; Zhusong Liu (Soft Comput., 2016)

Issues with Path Representation in Transition Systems. - Yi Zheng; Pei He; Chi-Chang Chang; Yafen Liu (ACIT/CSII/BCD, 2017)

Model approach to grammatical evolution: deep-structured analyzing of model and representation. - Pei He; Zelin Deng; Chongzhi Gao; Xiuni Wang; Jin Li 002 (Soft Comput., 2017)

Privacy-preserving Naive Bayes classifiers secure against the substitution-then-comparison attack. - Chong-zhi Gao; Qiong Cheng; Pei He; Willy Susilo; Jin Li 002 (Inf. Sci., 2018)

A comparative performance analysis of evolutionary algorithms on $${ varvec{k}}$$ k -median and facility location problems. - Xue Peng; Xiaoyun Xia; Rong Zhu; Lei Lin; Huimin Gao; Pei He (Soft Comput., 2018)

An Improved Fully Convolutional Network for Learning Rich Building Features. - Shuang Wang 001; Ligang Zhou; Pei He; Dou Quan; Qing Zhao; Xuefeng Liang; Biao Hou (IGARSS, 2019)

Adaptive Motion Artifact Reduction Based on Empirical Wavelet Transform and Wavelet Thresholding for the Non-Contact ECG Monitoring Systems. - Xiaowen Xu; Ying Liang; Pei He; Junliang Yang (Sensors, 2019)

Gene Expression Programming with Multi-Threading Evaluation and Gene-Reuse Strategy. - Yongshun Lan; Pei He (HP3C, 2020)

Answer Selection Based on Aligned Local Composite Features and Global Features. - Yongshun Lan; Pei He (IEEE Access, 2021)

A Saliency Detection and Gram Matrix Transform-Based Convolutional Neural Network for Image Emotion Classification. - Zelin Deng; Qiran Zhu; Pei He; Dengyong Zhang; Yuansheng Luo (Secur. Commun. Networks, 2021)

A new decoding method of the grammatical evolution. - Zhengheng Yan; Pei He; Weihong Huang; Suping Liu (ACAI, 2022)

MANet: Multi-Scale Aware-Relation Network for Semantic Segmentation in Aerial Scenes. - Pei He; Licheng Jiao; Ronghua Shang; Shuang Wang 001; Xu Liu 006; Dou Quan; Kun Yang; Dong Zhao (IEEE Trans. Geosci. Remote. Sens., 2022)

Decision fusion of two sensors object classification based on the evidential reasoning rule. - Minglun Ren; Pei He; Junjie Zhou (Expert Syst. Appl., 2022)

A Supervised Spatio-Temporal Contrastive Learning Framework with Optimal Skeleton Subgraph Topology for Human Action Recognition. - Zelin Deng; Hao Zhou; Wei Ouyang; Pei He; Song Yun; Qiang Tang; Li Yu (ICONIP (10), 2023)

Dual discriminant adversarial cross-modal retrieval. - Pei He; Meng Wang; Ding Tu; Zhuo Wang (Appl. Intell., 2023)

A bidirectional fusion branch network with penalty term-based trihard loss for person re-identification. - Zelin Deng; Shaobao Liu; Pei He; Song Yun; Qiang Tang; WenBo Li (J. Vis. Commun. Image Represent., 2023)

Shrinking Your TimeStep: Towards Low-Latency Neuromorphic Object Recognition with Spiking Neural Networks. - Yongqi Ding; Lin Zuo; Mengmeng Jing; Pei He; Yongjun Xiao (AAAI, 2024)

Leveraging Domain-Specific Word Embedding and Hate Concepts in Hate Speech Detection. - Xiaodong Wu; Hao Wu; Pei He (IJCNN, 2024)

Domain Generalization-Aware Uncertainty Introspective Learning for 3D Point Clouds Segmentation. - Pei He; Licheng Jiao; Lingling Li 002; Xu Liu 006; Fang Liu 001; Wenping Ma 002; Shuyuan Yang 001; Ronghua Shang (ACM Multimedia, 2024)

Shrinking Your TimeStep: Towards Low-Latency Neuromorphic Object Recognition with Spiking Neural Network. - Yongqi Ding; Lin Zuo; Mengmeng Jing; Pei He; Yongjun Xiao (CoRR, 2024)

Multi-Bit Mechanism: A Novel Information Transmission Paradigm for Spiking Neural Networks. - Yongjun Xiao; Xianlong Tian; Yongqi Ding; Pei He; Mengmeng Jing; Lin Zuo (CoRR, 2024)

Cross-Domain Scene Unsupervised Learning Segmentation With Dynamic Subdomains. - Pei He; Licheng Jiao; Fang Liu 001; Xu Liu 006; Ronghua Shang; Shuang Wang 001 (IEEE Trans. Multim., 2024)

Research and verification on parameter solution of mixed shock model for common cause failure based on particle swarm algorithm. - Yinxiao Hu; Hongjuan Ge; Pei He; Hui Jin; Huang Li; Chunran Zou (Qual. Reliab. Eng. Int., 2024)

A Patch Diversity Transformer for Domain Generalized Semantic Segmentation. - Pei He; Licheng Jiao; Ronghua Shang; Xu Liu 006; Fang Liu 001; Shuyuan Yang 001; Xiangrong Zhang; Shuang Wang 001 (IEEE Trans. Neural Networks Learn. Syst., 2024)

Multi-bit Mechanism: Towards Ultra-Low Time Steps for Spiking Neural Networks. - Yongjun Xiao; Pei He; Hanpu Deng; Tonglan Xie; Mengmeng Jing; Lin Zuo (ICIC (21), 2025)

Rethinking Spiking Neural Networks from an Ensemble Learning Perspective. - Yongqi Ding; Lin Zuo; Mengmeng Jing; Pei He; Hanpu Deng (ICLR, 2025)

Simultaneous density-integral system for estimating stem profile, volume, wood density, and biomass of fourteen tree species in northeast China. - Zipeng Zhang; Xiangwei Yang; Pei He; Lichun Jiang (Comput. Electron. Agric., 2025)

In-situ key update and minimal key set of encrypted outsourced data under binary key-derivation tree. - Zhengwei Ren; Xiaojuan Li; Pei He; Rongwei Yu; Shiwei Xu; Yan Tong; Jinshan Tang (J. Supercomput., 2025)

Brain-Inspired Learning, Perception, and Cognition: A Comprehensive Review. - Licheng Jiao; Mengru Ma; Pei He; Xueli Geng; Xu Liu 006; Fang Liu 001; Wenping Ma 001; Shuyuan Yang 001; Biao Hou; Xu Tang (IEEE Trans. Neural Networks Learn. Syst., 2025)

Domain-aware Category-level Geometry Learning Segmentation for 3D Point Clouds. - Pei He; Lingling Li 002; Licheng Jiao; Ronghua Shang; Fang Liu 001; Shuang Wang 001; Xu Liu 006; Wenping Ma 001 (CoRR, 2025)