Zhihao Jiang

31 papers and 267 indexed citations i.

Zhihao Jiang has authored 31 papers that have received a total of 267 indexed citations. This includes 13 papers in Computational Theory and Mathematics, 12 papers in Cardiology and Cardiovascular Medicine and 9 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (12 papers), Cardiac pacing and defibrillation studies (9 papers) and Cardiac electrophysiology and arrhythmias (6 papers). Zhihao Jiang is often cited by papers focused on Formal Methods in Verification (12 papers), Cardiac pacing and defibrillation studies (9 papers) and Cardiac electrophysiology and arrhythmias (6 papers) and collaborates with scholars based in United States, China and Canada. Zhihao Jiang's co-authors include Rahul Mangharam, Miroslav Pajić, Houssam Abbas, Jackson J. Liang and Oleg Sokolsky and has published in prestigious journals such as Proceedings of the IEEE, Expert Systems with Applications and Transportation Research Part C Emerging Technologies