General Information
Nao Hirokawa (associate professor)
Contact
 address:
 School of Information Science
Japan Advanced Institute of Science and Technology
11 Asahidai, Nomi, Ishikawa, 9231292, Japan  office:
 I54a (on 5th floor of Information Science Building II)
 phone:
 +81761511277
 email:
 hirokawa@jaist.ac.jp
 research group:
 Hirokawa Laboratory
 research interests:
 term rewriting (confluence, termination, completion, strategies, unification, and complexity analysis)
Maxcomp Saigawa  research activities:

CoCo SC
IFIP WG 1.6
IWC SC
LCC SC
TRS Meeting
DICEFOPARA 2017 ITP 2017
FSCD SC (20152016) FSCD 2016 AJSW 2016 IWC 2016 CoCo 2016
RTA SC (20142015) CADE25 CoCo 2015 PEPM 2015 LCC 2015
PPL 2014 JL 2014 CoCo 2014 SCSS 2014
LPAR19 RTA 2013 IWC 2013 CoCo 2013 DCM 2013 WST 2013 PR 2013
RTA 2012 IWC 2012 CoCo 2012 WST 2012 DICE 2012
Teaching
Upcoming Events
 8th Workshop on
Developments in Implicit Computational complExity and 5th Workshop on
Foundational and Practical Aspects of Resource Analysis
(Uppsala, Sweden)
April 2223, 2017 conference  8th Conference on Interactive Theorem Proving
(Brasília, Brazil)
April 10, 2017 submission; September 2629, 2017 conference 
6th International Workshop on Confluence
(Oxford, UK)
July 1, 2017, submission; September 8, 2017 workshop
Publications
Journal Articles
 TPLP 2016
 Akihisa Yamada, Sarah Winkler, Nao Hirokawa, and Aart Middeldorp
ACKBO Revisited
Theory and Practice of Logic Programming, 16(2):163188, 2016.  JAR 2013
 Nao Hirokawa, Aart Middeldorp, and Harald Zankl
Uncurrying for Termination and Complexity
Journal of Automated Reasoning 50(3):279315, 2013
 JAR 2011
 Nao Hirokawa and Aart Middeldorp
Decreasing Diagrams and Relative Termination
Journal of Automated Reasoning 47(4):481501, 2011
 JAR 2009
 Harald Zankl, Nao Hirokawa, and Aart Middeldorp
KBO Orientability
Journal of Automated Reasoning 43(2):173201, 2009
 IC 2007
 Nao Hirokawa and Aart Middeldorp
Tyrolean Termination Tool: Techniques and Features
Information and Computation 205(4):474511, 2007
 IC 2005
 Nao Hirokawa and Aart Middeldorp
Automating the Dependency Pair Method
Information and Computation 199(1,2):172199, 2005
Conference and Workshop Papers
 CADE 2015
 Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, and
Harald Zankl
Confluence Competition 2015
Proceedings of the 25th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 9195, pp. 101104, 2015.
 CADE 2015
 Kiraku Shintani and Nao Hirokawa
CoLL: A Confluence Tool for LeftLinear Term Rewrite Systems
Proceedings of the 25th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 9195, pp. 127136, 2015.
 RTA 2015

Nao Hirokawa, Aart Middeldorp, and Georg Moser
Leftmost Outermost Revisited
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, Leibnitz International Proceedings in Informatics 36, pp. 209222, 2015.
 RTATLCA 2014

Nao Hirokawa and Georg Moser
Automated Complexity Analysis Based on ContextSensitive Rewriting
Proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications, Lecture Notes in Computer Science 8560, pp. 257271, 2014.
 ITP 2014

Nao Hirokawa, Aart Middeldorp, and Christian Sternagel
A New and Formalized Proof of Abstract Completion
Proceedings of the 5th International Conference on Interactive Theorem Proving, Lecture Notes in Computer Science 8558, pp. 292307, 2014.
 FLOPS 2014

Akihisa Yamada, Sarah Winkler, Nao Hirokawa, and Aart Middeldorp
ACKBO Revisited
Proceedings of the 12th International Symposium on Functional and Logic Programming, Lecture Notes in Computer Science 8475, pp. 319335, 2014.
 LPAR 2012

Dominik Klein and Nao Hirokawa
Confluence of NonLeftLinear TRSs via Relative Termination
Proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Lecture Notes in Computer Science 7180, pp. 258273, 2012.
 RTA 2011

Dominik Klein and Nao Hirokawa
Maximal Completion
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, Leibnitz International Proceedings in Informatics 10, pp. 7180, 2011.
In the above PDF numbers 2, 5, and 14 for K (on pages 7 and 9) were corrected to 1, 4, and 13, respectively.
 HOR 2010

Harald Zankl, Nao Hirokawa, and Aart Middeldorp
Uncurrying for Innermost Termination and Derivational Complexity
Proceedings of the 5th International Workshop on HigherOrder Rewriting, Electronic Proceedings in Theoretical Computer Science 49, pp. 4657, 2011
 IJCAR 2010

Nao Hirokawa and Aart Middeldorp
Decreasing Diagrams and Relative Termination
Proceedings of the 5th International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence 6173, pp. 487501, 2010
 LPAR 2008

Nao Hirokawa, Aart Middeldorp, and Harald Zankl
Uncurrying for Termination
Proceedings of the 15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Lecture Notes in Computer Science 5330, pp. 667681, 2008
 LPAR 2008

Nao Hirokawa and Georg Moser
Complexity, Graphs, and the Dependency Pair Method
Proceedings of the 15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Lecture Notes in Computer Science 5330, pp. 652666, 2008
errata
 IJCAR 2008

Nao Hirokawa and Georg Moser
Automated Complexity Analysis Based on the Dependency Pair Method
Proceedings of the 4th International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence 5195, pp. 364379, 2008
errata
 SOFSEM 2007

Harald Zankl, Nao Hirokawa, and Aart Middeldorp
Constraints for Argument Filterings
Proceedings of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science 4362, pp. 579590, 2007
 RTA 2006

Nao Hirokawa and Aart Middeldorp
Predictive Labeling
Proceedings of the 17th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 4098, pp. 313327, 2006
 RTA 2005

Nao Hirokawa and Aart Middeldorp
Tyrolean Termination Tool
Proceedings of the 16th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 3467, pp. 175184, 2005
 AISC 2004

Nao Hirokawa and Aart Middeldorp
Polynomial Interpretations with Negative Coefficients
Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Mathematical Computation, Lecture Notes in Artificial Intelligence 3249, pp. 185198, 2004
 RTA 2004

Nao Hirokawa and Aart Middeldorp
Dependency Pairs Revisited
Proceedings of the 15th International Conference on Rewriting Techniques and Applications, Aachen, Lecture Notes in Computer Science 3091, pp. 249268, 2004
 CADE 2003

Nao Hirokawa and Aart Middeldorp
Automating the Dependency Pair Method
Proceedings of the 19th International Conference on Automated Deduction, Miami, Lecture Notes in Artificial Intelligence 2741, pp. 3246, 2003
 RTA 2003

Nao Hirokawa and Aart Middeldorp
Tsukuba Termination Tool
Proceedings of the 14th International Conference on Rewriting Techniques and Applications, Valencia, Lecture Notes in Computer Science 2706, pp. 311320, 2003
errata
Thesis
 Ph.D.

Nao Hirokawa
Automated Termination Analysis for Term Rewriting
Ph.D Thesis, University of Innsbruck, 2006
Software
 Maxcomp
 A completion tool, which automatically finds a complete term rewrite system for an equational system.
 Saigawa
 A confluence tool for term rewrite systems.
 TTT
 A termination tool for term rewrite systems. This tool is no longer maintained. Instead, I would recommend its more powerful successor TTT2.