Nao Hirokawa
Orcid: 0000-0002-8499-0501Affiliations:
- Japan Advanced Institute of Science and Technology, Ishikawa, Japan
According to our database1,
Nao Hirokawa
authored at least 39 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
1
2
2
1
1
1
1
1
1
1
2
3
1
1
2
1
3
2
1
1
1
3
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
2023
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023
Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023
Proceedings of the Automated Deduction - CADE 29, 2023
2021
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021
2019
Proceedings of the Automated Deduction - CADE 27, 2019
2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017
2016
2015
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
2013
2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
2011
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
2010
Proceedings of the Proceedings 5th International Workshop on Higher-Order Rewriting, 2010
2009
2008
Proceedings of the Logic for Programming, 2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
2007
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007
2006
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
2004
Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004
2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003