Zhenhua Duan

157 papers and 2.2k indexed citations i.

About

Zhenhua Duan has authored 157 papers that have received a total of 2.2k indexed citations. This includes 46 papers in Computational Theory and Mathematics, 37 papers in Artificial Intelligence and 30 papers in Food Science. The topics of these papers are Formal Methods in Verification (41 papers), Logic, programming, and type systems (17 papers) and Software Testing and Debugging Techniques (17 papers). Zhenhua Duan is often cited by papers focused on Formal Methods in Verification (41 papers), Logic, programming, and type systems (17 papers) and Software Testing and Debugging Techniques (17 papers) and collaborates with scholars based in China, United Kingdom and United States. Zhenhua Duan's co-authors include Cong Tian, Liuping Fan, Dongjian Zhu and Yuhao Xiong and has published in prestigious journals such as Journal of Agricultural and Food Chemistry, Food Chemistry and International Journal of Molecular Sciences

In The Last Decade

Rankless by CCL
2025