Generating Polynomial Invariants with DISCOVERER and QEPCAD. - Yinghua Chen; Bican Xia; Lu Yang; Naijun Zhan (Formal Methods and Hybrid Real-Time Systems, 2007)

Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. - Yinghua Chen; Bican Xia; Lu Yang; Naijun Zhan; Chaochen Zhou (ICTAC, 2007)

Modeling and Simulation of Hermetically Sealed Electromagnetic Relay under Mechanical Environment. - Wanbin Ren; Yinghua Chen; Guofu Zhai (IEICE Trans. Electron., 2007)

A Computational Monte Carlo Simulation Strategy to Determine the Temporal Ordering of Abnormal Age Onset Among Biomarkers of Alzheimer's Disease. - Xiaojuan Guo; Kewei Chen 001; Yinghua Chen; Chengjie Xiong; Yi Su 004; Li Yao 002; Eric M. Reiman (IEEE ACM Trans. Comput. Biol. Bioinform., 2022)

Research on Technological Efficiency of Electric Power Using Three-stage DEA and Machine Learning Methods. - Yanqin Ge; Yiming Yang; Yinghua Chen; Yinghan Jiang (PEAI, 2024)