Zhengfeng Yang
About
Zhengfeng Yang has authored 26 papers that have received a total of 226 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 Lin Wang, Zhenbing Zeng, Erich Kaltofen 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
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Carsten Döll Top journals papers by Marília Antunes are published in Top journals papers by Seiji Kameda are published in Top countries impacted by papers by Claudia Zanini Top journals papers by M. D. Altschule are published in Top fields papers by Peter J. Markie are about Top authors papers by Jovan N. Markovic are co-authored with Top countries impacted by papers by Mahmoud Elhabiby