Get started
Author

Nao Hirokawa

Observed names: Hirokawa, N, Hirokawa, Nao, NAO HIROKAWA
ORCID: 0000-0002-8499-0501
Observed ORCID: 0000-0002-8499-0501
OpenAlex ID: A5029417342
Tyrolean Termination Tool
2005 · Nao Hirokawa, Aart Middeldorp · Lecture notes in computer science · 129
PDF
Automating the dependency pair method
2005 · Nao Hirokawa, Aart Middeldorp · Information and Computation · 127
Tyrolean termination tool: Techniques and features
2006 · Nao Hirokawa, Aart Middeldorp · Information and Computation · 109
Automated Complexity Analysis Based on the Dependency Pair Method
2008 · Nao Hirokawa, Georg Moser · Lecture notes in computer science · 82
Dependency Pairs Revisited
2004 · Nao Hirokawa, Aart Middeldorp · Lecture notes in computer science · 69
PDF
Tsukuba Termination Tool
2003 · Nao Hirokawa, Aart Middeldorp · Lecture notes in computer science · 34
PDF
KBO Orientability
2009 · Harald Zankl, Nao Hirokawa, et al. · Journal of Automated Reasoning · 25
PDF
Decreasing Diagrams and Relative Termination
2011 · Nao Hirokawa, Aart Middeldorp · Journal of Automated Reasoning · 24
Polynomial Interpretations with Negative Coefficients
2004 · Nao Hirokawa, Aart Middeldorp · Lecture notes in computer science · 24
PDF
Uncurrying for Termination
2008 · Nao Hirokawa, Aart Middeldorp, et al. · Lecture notes in computer science · 19
PDF
Automating the Dependency Pair Method
2003 · Nao Hirokawa, Aart Middeldorp · Lecture notes in computer science · 19
Complexity, Graphs, and the Dependency Pair Method
2008 · Nao Hirokawa, Georg Moser · Lecture notes in computer science · 18
PDF
Cops and CoCoWeb: Infrastructure for Confluence Tools
2018 · Nao Hirokawa, Julian Nagele, et al. · Lecture notes in computer science · 14
Automated Complexity Analysis Based on Context-Sensitive Rewriting
2014 · Nao Hirokawa, Georg Moser · Lecture notes in computer science · 13
PDF
Uncurrying for Termination and Complexity
2012 · Nao Hirokawa, Aart Middeldorp, et al. · Journal of Automated Reasoning · 13
PDF
Constraints for Argument Filterings
2007 · Harald Zankl, Nao Hirokawa, et al. · Lecture notes in computer science · 13
PDF
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems
2015 · Kiraku Shintani, Nao Hirokawa · Lecture notes in computer science · 11
Confluence of Non-Left-Linear TRSs via Relative Termination
2012 · Dominik Klein, Nao Hirokawa · Lecture notes in computer science · 11
PDF
Predictive Labeling
2006 · Nao Hirokawa, Aart Middeldorp · Lecture notes in computer science · 10
PDF
Confluence Competition 2015
2015 · Takahito Aoto, Nao Hirokawa, et al. · Lecture notes in computer science · 8
PDF
Confluence by Critical Pair Analysis Revisited
2019 · Nao Hirokawa, Julian Nagele, et al. · Lecture notes in computer science · 7
Infinite Runs in Abstract Completion
2017 · Hirokawa, Nao, Middeldorp, Aart, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 7
PDF
Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs
2024 · Nao Hirokawa, Dohan Kim, et al. · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 6
PDF
Confluence Competition 2018
2018 · Aoto, Takahito, Hamana, Makoto, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 5
PDF
Leftmost Outermost Revisited
2015 · Hirokawa, Nao, Middeldorp, Aart, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 5
PDF
Works count: 79
Citation count: 835
H-index: 13
I10-index: 19
Year
Topic
Type