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 authors papers by Xiwu Luan are co-authored with Top countries impacted by papers by Dewey W. Grantham Top fields papers by Mathieu Puyade are about Top authors papers by Elisabetta Mezza are co-authored with Top journals papers by Françoise Pène are published in Top journals papers by Dima El‐Sharkawi are published in Top fields papers by Marek Maciejewski are about Top authors papers by Anna Plotka are co-authored with