Kohei Honda
About
Kohei Honda has authored 35 papers that have received a total of 922 indexed citations.
This includes 29 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 12 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (26 papers), Formal Methods in Verification (15 papers) and Logic, Reasoning, and Knowledge (13 papers). Kohei Honda is often cited by papers focused on Logic, programming, and type systems (26 papers), Formal Methods in Verification (15 papers) and Logic, Reasoning, and Knowledge (13 papers) and collaborates with scholars based in United Kingdom, Denmark and France. Kohei Honda's co-authors include Nobuko Yoshida, Marco Carbone, Martin Berger, Raymond Hu and Dimitrios Kouzapas and has published in prestigious journals such as ACM Computing Surveys, Journal of the ACM and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Shamsun Nahar Khan Top countries impacted by papers by R. Feld Top countries impacted by papers by Huizhuo Pan Top authors papers by D.J. Weidler are co-authored with Top countries impacted by papers by James W. Stoutenborough Top fields papers by Brian P. McCarthy are about Top countries impacted by papers by Biao Gu Top authors papers by Yiyuan Yao are co-authored with