Nao Hirokawa

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 21

Top Topics

Rewrite Systems

Top Venues

Log. Methods Comput. Sci.

Publications

Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp
Left-Linear Completion with AC Axioms. CoRR (2024)
Nao Hirokawa, Dohan Kim, Kiraku Shintani, René Thiemann
Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs. CPP (2024)
Teppei Saito, Nao Hirokawa
Simulating Dependency Pairs by Semantic Labeling. FSCD (2024)
Kiraku Shintani, Nao Hirokawa
Compositional Confluence Criteria. Log. Methods Comput. Sci. 20 (1) (2024)
Kiraku Shintani, Nao Hirokawa
Compositional Confluence Criteria. CoRR (2023)
Teppei Saito, Nao Hirokawa
Weighted Path Orders Are Semantic Path Orders. FroCoS (2023)
Teppei Saito, Nao Hirokawa
Generalizing Weighted Path Orders. CoRR (2023)
Nao Hirokawa, Aart Middeldorp
Hydra Battles and AC Termination, Revisited. CoRR (2023)
Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp
Left-Linear Completion with AC Axioms. CADE (2023)
Nao Hirokawa, Aart Middeldorp
Hydra Battles and AC Termination. FSCD (2023)
Kiraku Shintani, Nao Hirokawa
Compositional Confluence Criteria. FSCD (2022)
Nao Hirokawa
Completion and Reduction Orders (Invited Talk). FSCD (2021)
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
Abstract Completion, Formalized. Log. Methods Comput. Sci. 15 (3) (2019)
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
Confluence by Critical Pair Analysis Revisited. CADE (2019)
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
Confluence by Critical Pair Analysis Revisited (Extended Version). CoRR (2019)
Nao Hirokawa, Julian Nagele, Aart Middeldorp
Cops and CoCoWeb: Infrastructure for Confluence Tools. IJCAR (2018)
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl
Confluence Competition 2018. FSCD (2018)
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
Abstract Completion, Formalized. CoRR (2018)
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
Critical Peaks Redefined - $Φ\sqcup Ψ= \top$. CoRR (2017)
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler
Infinite Runs in Abstract Completion. FSCD (2017)
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
AC-KBO revisited. Theory Pract. Log. Program. 16 (2) (2016)
Kiraku Shintani, Nao Hirokawa
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems. CADE (2015)
Nao Hirokawa, Aart Middeldorp, Georg Moser
Leftmost Outermost Revisited. RTA (2015)
Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl
Confluence Competition 2015. CADE (2015)
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
AC-KBO Revisited. CoRR (2014)
Nao Hirokawa, Aart Middeldorp, Christian Sternagel
A New and Formalized Proof of Abstract Completion. ITP (2014)
Nao Hirokawa, Georg Moser
Automated Complexity Analysis Based on Context-Sensitive Rewriting. RTA-TLCA (2014)
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp
AC-KBO Revisited. FLOPS (2014)
Nao Hirokawa, Aart Middeldorp, Harald Zankl
Uncurrying for Termination and Complexity. J. Autom. Reason. 50 (3) (2013)
Dominik Klein, Nao Hirokawa
Confluence of Non-Left-Linear TRSs via Relative Termination. LPAR (2012)
Nao Hirokawa, Aart Middeldorp
Decreasing Diagrams and Relative Termination. J. Autom. Reason. 47 (4) (2011)
Nao Hirokawa, Georg Moser
Automated Complexity Analysis Based on the Dependency Pair Method CoRR (2011)
Dominik Klein, Nao Hirokawa
Maximal Completion. RTA (2011)
Nao Hirokawa, Aart Middeldorp
Decreasing Diagrams and Relative Termination. IJCAR (2010)
Harald Zankl, Nao Hirokawa, Aart Middeldorp
Uncurrying for Innermost Termination and Derivational Complexity HOR (2010)
Harald Zankl, Nao Hirokawa, Aart Middeldorp
KBO Orientability. J. Autom. Reason. 43 (2) (2009)
Nao Hirokawa, Aart Middeldorp
Decreasing Diagrams and Relative Termination CoRR (2009)
Nao Hirokawa, Georg Moser
Automated Complexity Analysis Based on the Dependency Pair Method. IJCAR (2008)
Nao Hirokawa, Aart Middeldorp, Harald Zankl
Uncurrying for Termination. LPAR (2008)
Nao Hirokawa, Georg Moser
Complexity, Graphs, and the Dependency Pair Method. LPAR (2008)
Harald Zankl, Nao Hirokawa, Aart Middeldorp
Constraints for Argument Filterings. SOFSEM (1) (2007)
Nao Hirokawa, Aart Middeldorp
Tyrolean termination tool: Techniques and features. Inf. Comput. 205 (4) (2007)
Nao Hirokawa, Aart Middeldorp
Predictive Labeling. RTA (2006)
Nao Hirokawa, Aart Middeldorp
Tyrolean Termination Tool. RTA (2005)
Nao Hirokawa, Aart Middeldorp
Automating the dependency pair method. Inf. Comput. 199 (1-2) (2005)
Nao Hirokawa, Aart Middeldorp
Dependency Pairs Revisited. RTA (2004)
Nao Hirokawa, Aart Middeldorp
Polynomial Interpretations with Negative Coefficients. AISC (2004)
Nao Hirokawa, Aart Middeldorp
Tsukuba Termination Tool. RTA (2003)
Nao Hirokawa, Aart Middeldorp
Automating the Dependency Pair Method. CADE (2003)