Nao Hirokawa

11 papers and 95 indexed citations i.

Nao Hirokawa has authored 11 papers that have received a total of 95 indexed citations. This includes 8 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Logic, programming, and type systems (8 papers), Formal Methods in Verification (4 papers) and Model-Driven Software Engineering Techniques (3 papers). Nao Hirokawa is often cited by papers focused on Logic, programming, and type systems (8 papers), Formal Methods in Verification (4 papers) and Model-Driven Software Engineering Techniques (3 papers) and collaborates with scholars based in Austria and Japan. Nao Hirokawa's co-authors include Aart Middeldorp, Harald Zankl and Akihisa Yamada and has published in prestigious journals such as Lecture notes in computer science, Information and Computation and Journal of Automated Reasoning