Hehua Zhang

30 papers and 302 indexed citations i.

Hehua Zhang has authored 30 papers that have received a total of 302 indexed citations. This includes 10 papers in Computational Theory and Mathematics, 8 papers in Artificial Intelligence and 7 papers in Hardware and Architecture. The topics of these papers are Cardiac Arrest and Resuscitation (5 papers), Embedded Systems Design Techniques (5 papers) and Formal Methods in Verification (4 papers). Hehua Zhang is often cited by papers focused on Cardiac Arrest and Resuscitation (5 papers), Embedded Systems Design Techniques (5 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in China, United States and Switzerland. Hehua Zhang's co-authors include Ming Gu, Yongqin Li, Jiaguang Sun, Yu Jiang and William N. N. Hung and has published in prestigious journals such as PLoS ONE, IEEE Transactions on Industrial Electronics and IEEE Access