Pei He

According to our database1, Pei He authored at least 19 papers between 1992 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Adaptive Motion Artifact Reduction Based on Empirical Wavelet Transform and Wavelet Thresholding for the Non-Contact ECG Monitoring Systems.
Sensors, 2019

2018
A comparative performance analysis of evolutionary algorithms on $${\varvec{k}}$$ k -median and facility location problems.
Soft Comput., 2018

Privacy-preserving Naive Bayes classifiers secure against the substitution-then-comparison attack.
Inf. Sci., 2018

2017
Model approach to grammatical evolution: deep-structured analyzing of model and representation.
Soft Comput., 2017

2016
Model approach to grammatical evolution: theory and case study.
Soft Comput., 2016

2015
Component-Based Verification Model of Sequential Programs.
JSW, 2015

Analyzing Grammatical Evolution and \pi π Grammatical Evolution with Grammar Model.
Proceedings of the Information Technology and Intelligent Transportation Systems, 2015

2014
Work in progress: A new algorithm to improve the decoding success probability of Raptor code.
Proceedings of the 9th International Conference on Communications and Networking in China, 2014

2012
Improving Multi Expression Programming Using Reuse-Based Evaluation.
Proceedings of the Computational Intelligence and Intelligent Systems, 2012

2011
Hoare logic-based genetic programming.
SCIENCE CHINA Information Sciences, 2011

Modeling grammatical evolution by automaton.
SCIENCE CHINA Information Sciences, 2011

2010
DNS study of swirling intensity effect on flow pattern of a circular jet.
J. Visualization, 2010

2009
Visualization of circular subsonic jet flow by DNS.
J. Visualization, 2009

Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations.
Proceedings of the Advances in Computation and Intelligence, 4th International Symposium, 2009

2008
A Scheduling Strategy for Parallel Proof Checking and Verification.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

Formality based genetic programming.
Proceedings of the IEEE Congress on Evolutionary Computation, 2008

2007
Model for Parallel Verification of Programs.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

1993
An introduction to INCAPS system.
J. Comput. Sci. Technol., 1993

1992
Theory and Practice for XYZ/VERI System.
Proceedings of the Automated Reasoning, 1992


  Loading...