Ichiro Hasuo
About
Ichiro Hasuo has authored 54 papers that have received a total of 355 indexed citations.
This includes 41 papers in Computational Theory and Mathematics, 39 papers in Artificial Intelligence and 12 papers in Software. The topics of these papers are Logic, programming, and type systems (26 papers), Formal Methods in Verification (25 papers) and Logic, Reasoning, and Knowledge (25 papers). Ichiro Hasuo is often cited by papers focused on Logic, programming, and type systems (26 papers), Formal Methods in Verification (25 papers) and Logic, Reasoning, and Knowledge (25 papers) and collaborates with scholars based in Japan, The Netherlands and Canada. Ichiro Hasuo's co-authors include Zhenya Zhang, Bart Jacobs, Paolo Arcaini, Gidon Ernst and Sean Sedwards and has published in prestigious journals such as IEEE Transactions on Software Engineering, Theoretical Computer Science and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by V Schreiber are published in Top fields papers by A. Tomaszewski are about Top countries impacted by papers by Geoffrey R. Stone Top fields papers by Eliseo Hernández‐Martínez are about Top journals papers by M. Kwapisz are published in Top fields papers by Darusman Darusman are about Top fields papers by Ryo Sugimoto are about Top authors papers by Dong-Chan Lee are co-authored with