Tsukuba Termination Tool. - Nao Hirokawa; Aart Middeldorp (RTA, 2003)

Polynomial Interpretations with Negative Coefficients. - Nao Hirokawa; Aart Middeldorp (AISC, 2004)

Dependency Pairs Revisited. - Nao Hirokawa; Aart Middeldorp (RTA, 2004)

Tyrolean Termination Tool. - Nao Hirokawa; Aart Middeldorp (RTA, 2005)

Automating the dependency pair method. - Nao Hirokawa; Aart Middeldorp (Inf. Comput., 2005)

Predictive Labeling. - Nao Hirokawa; Aart Middeldorp (RTA, 2006)

Constraints for Argument Filterings. - Harald Zankl; Nao Hirokawa; Aart Middeldorp (SOFSEM (1), 2007)

Tyrolean termination tool: Techniques and features. - Nao Hirokawa; Aart Middeldorp (Inf. Comput., 2007)

Automated Complexity Analysis Based on the Dependency Pair Method. - Nao Hirokawa; Georg Moser (IJCAR, 2008)

Complexity, Graphs, and the Dependency Pair Method. - Nao Hirokawa; Georg Moser (LPAR, 2008)

Uncurrying for Termination. - Nao Hirokawa; Aart Middeldorp; Harald Zankl (LPAR, 2008)

KBO Orientability. - Harald Zankl; Nao Hirokawa; Aart Middeldorp (J. Autom. Reason., 2009)

Uncurrying for Innermost Termination and Derivational Complexity - Harald Zankl; Nao Hirokawa; Aart Middeldorp (HOR, 2010)

Maximal Completion. - Dominik Klein 001; Nao Hirokawa (RTA, 2011)

Decreasing Diagrams and Relative Termination. - Nao Hirokawa; Aart Middeldorp (J. Autom. Reason., 2011)

Confluence of Non-Left-Linear TRSs via Relative Termination. - Dominik Klein 001; Nao Hirokawa (LPAR, 2012)

Uncurrying for Termination and Complexity. - Nao Hirokawa; Aart Middeldorp; Harald Zankl (J. Autom. Reason., 2013)

A New and Formalized Proof of Abstract Completion. - Nao Hirokawa; Aart Middeldorp; Christian Sternagel (ITP, 2014)

Automated Complexity Analysis Based on Context-Sensitive Rewriting. - Nao Hirokawa; Georg Moser (RTA-TLCA, 2014)

Confluence Competition 2015. - Takahito Aoto 001; Nao Hirokawa; Julian Nagele; Naoki Nishida 001; Harald Zankl (CADE, 2015)

CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems. - Kiraku Shintani; Nao Hirokawa (CADE, 2015)

Leftmost Outermost Revisited. - Nao Hirokawa; Aart Middeldorp; Georg Moser (RTA, 2015)

AC-KBO revisited. - Akihisa Yamada 002; Sarah Winkler; Nao Hirokawa; Aart Middeldorp (Theory Pract. Log. Program., 2016)

Infinite Runs in Abstract Completion. - Nao Hirokawa; Aart Middeldorp; Christian Sternagel; Sarah Winkler (FSCD, 2017)

Critical Peaks Redefined - $Φ sqcup Ψ= top$. - Nao Hirokawa; Julian Nagele; Vincent van Oostrom; Michio Oyamaguchi (CoRR, 2017)

Cops and CoCoWeb: Infrastructure for Confluence Tools. - Nao Hirokawa; Julian Nagele; Aart Middeldorp (IJCAR, 2018)

Confluence Competition 2018. - Takahito Aoto 001; Makoto Hamana; Nao Hirokawa; Aart Middeldorp; Julian Nagele; Naoki Nishida 001; Kiraku Shintani; Harald Zankl (FSCD, 2018)

Confluence by Critical Pair Analysis Revisited. - Nao Hirokawa; Julian Nagele; Vincent van Oostrom; Michio Oyamaguchi (CADE, 2019)

Confluence by Critical Pair Analysis Revisited (Extended Version). - Nao Hirokawa; Julian Nagele; Vincent van Oostrom; Michio Oyamaguchi (CoRR, 2019)

Abstract Completion, Formalized. - Nao Hirokawa; Aart Middeldorp; Christian Sternagel; Sarah Winkler (Log. Methods Comput. Sci., 2019)

Completion and Reduction Orders (Invited Talk). - Nao Hirokawa (FSCD, 2021)

Weighted Path Orders Are Semantic Path Orders. - Teppei Saito; Nao Hirokawa (FroCoS, 2023)

Generalizing Weighted Path Orders. - Teppei Saito; Nao Hirokawa (CoRR, 2023)

Hydra Battles and AC Termination, Revisited. - Nao Hirokawa; Aart Middeldorp (CoRR, 2023)

Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs. - Nao Hirokawa; Dohan Kim 001; Kiraku Shintani; René Thiemann (CPP, 2024)

Simulating Dependency Pairs by Semantic Labeling. - Teppei Saito; Nao Hirokawa (FSCD, 2024)

Compositional Confluence Criteria. - Kiraku Shintani; Nao Hirokawa (Log. Methods Comput. Sci., 2024)

Lexicographic Combination of Reduction Pairs. - Teppei Saito; Nao Hirokawa (CADE, 2025)

Hydra Battles and AC Termination. - Nao Hirokawa; Aart Middeldorp (Log. Methods Comput. Sci., 2025)

Left-Linear Completion with AC Axioms. - Johannes Niederhauser; Nao Hirokawa; Aart Middeldorp (Log. Methods Comput. Sci., 2025)