Hantao Zhang
About
Hantao Zhang has authored 49 papers that have received a total of 642 indexed citations.
This includes 26 papers in Artificial Intelligence, 22 papers in Computational Theory and Mathematics and 18 papers in Electrical and Electronic Engineering. The topics of these papers are graph theory and CDMA systems (16 papers), Logic, programming, and type systems (15 papers) and Formal Methods in Verification (9 papers). Hantao Zhang is often cited by papers focused on graph theory and CDMA systems (16 papers), Logic, programming, and type systems (15 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in United States, China and Canada. Hantao Zhang's co-authors include Deepak Kapur, R. Julian R. Abel, F.E. Bennett, Haiou Shen and Paliath Narendran and has published in prestigious journals such as Angewandte Chemie International Edition, European Journal of Operational Research and RSC Advances.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Tianyu Zhao Breakdown of academic impact, for papers by Mary E. Burman Breakdown of academic impact, for papers by W. D. Slanger Breakdown of academic impact, for papers by Shaleen Kumar Breakdown of academic impact, for papers by Takafumi Nishii Breakdown of academic impact, for papers by M. Fontanesi Breakdown of academic impact, for papers by José García Breakdown of academic impact, for papers by James S. Ngocho