Nao Hirokawa

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