Yoshihiko Futamura
About
Yoshihiko Futamura has authored 11 papers that have received a total of 58 indexed citations.
This includes 5 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Software Testing and Debugging Techniques (3 papers), Formal Methods in Verification (3 papers) and Logic, programming, and type systems (3 papers). Yoshihiko Futamura is often cited by papers focused on Software Testing and Debugging Techniques (3 papers), Formal Methods in Verification (3 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in Japan. Yoshihiko Futamura's co-authors include Robert Glück, Kazuhiko Kakehi, Masayoshi Tsutsumi, H. Maezawa and Akihiko Takano and has published in prestigious journals such as Future Generation Computer Systems, Theoretical Computer Science and IEICE Transactions on Information and Systems.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Michele Eodice Breakdown of academic impact, for papers by Arthur Holder Breakdown of academic impact, for papers by Susan Lape Breakdown of academic impact, for papers by Alexander Heard Breakdown of academic impact, for papers by Tariq M. King Breakdown of academic impact, for papers by Chris Stevens Breakdown of academic impact, for papers by Maggie Kilgour Breakdown of academic impact, for papers by Clare Browning