Zhengfeng Yang

26 papers and 230 indexed citations i.

Zhengfeng Yang has authored 26 papers that have received a total of 230 indexed citations. This includes 17 papers in Computational Theory and Mathematics, 8 papers in Control and Systems Engineering and 5 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (10 papers), Numerical Methods and Algorithms (7 papers) and Advanced Numerical Analysis Techniques (4 papers). Zhengfeng Yang is often cited by papers focused on Formal Methods in Verification (10 papers), Numerical Methods and Algorithms (7 papers) and Advanced Numerical Analysis Techniques (4 papers) and collaborates with scholars based in China, United States and Spain. Zhengfeng Yang's co-authors include Erich Kaltofen, Lin Wang, Zhenbing Zeng and Lihong Zhi and has published in prestigious journals such as Communications in Nonlinear Science and Numerical Simulation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Computer-Aided Design.