Wenhui Zhang

22 papers and 60 indexed citations i.

Wenhui Zhang has authored 22 papers that have received a total of 60 indexed citations. This includes 11 papers in Computational Theory and Mathematics, 7 papers in Software and 6 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (11 papers), Logic, programming, and type systems (5 papers) and Software Reliability and Analysis Research (4 papers). Wenhui Zhang is often cited by papers focused on Formal Methods in Verification (11 papers), Logic, programming, and type systems (5 papers) and Software Reliability and Analysis Research (4 papers) and collaborates with scholars based in China, Norway and Australia. Wenhui Zhang's co-authors include Fei Pu, Kai‐Yuan Cai, Xueqing Zhao and Yanyan Xu and has published in prestigious journals such as Sensors, IEEE Access and Information Sciences.