Hantao Zhang
About
Hantao Zhang has authored 49 papers that have received a total of 638 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
Top authors papers by Kiyoshi Nakamuta are co-authored with Top journals papers by Chunyi Liu are published in Top countries impacted by papers by Gianni Pantuso Top fields papers by Xinyu Zhou are about Top fields papers by Sandro Casavilca‐Zambrano are about Top countries impacted by papers by Angel Torrado‐Carvajal Top authors papers by Hanwen Zhang are co-authored with Top authors papers by Martin Kelly are co-authored with