Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Nao Hirokawa

> Home > Persons

Person information

affiliation: Japan Advanced Institute of Science and Technology, Ishikawa, Japan

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/lmcs/ShintaniH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/ShintaniH24
Kiraku Shintani, Nao Hirokawa:
Compositional Confluence Criteria. Log. Methods Comput. Sci. 20(1) (2024)
2019
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/HirokawaMSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/HirokawaMSW19
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler:
Abstract Completion, Formalized. Log. Methods Comput. Sci. 15(3) (2019)
2016
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/0002WHM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/0002WHM16
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp:
AC-KBO revisited. Theory Pract. Log. Program. 16(2): 163-188 (2016)
2013
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/HirokawaMZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HirokawaMZ13
Nao Hirokawa, Aart Middeldorp, Harald Zankl:
Uncurrying for Termination and Complexity. J. Autom. Reason. 50(3): 279-315 (2013)
2011
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HirokawaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HirokawaM11
Nao Hirokawa, Aart Middeldorp:
Decreasing Diagrams and Relative Termination. J. Autom. Reason. 47(4): 481-501 (2011)
2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ZanklHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZanklHM09
Harald Zankl, Nao Hirokawa, Aart Middeldorp:
KBO Orientability. J. Autom. Reason. 43(2): 173-201 (2009)
2007
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HirokawaM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HirokawaM07
Nao Hirokawa, Aart Middeldorp:
Tyrolean termination tool: Techniques and features. Inf. Comput. 205(4): 474-511 (2007)
2005
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HirokawaM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HirokawaM05
Nao Hirokawa, Aart Middeldorp:
Automating the dependency pair method. Inf. Comput. 199(1-2): 172-199 (2005)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/HirokawaKST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/HirokawaKST24
Nao Hirokawa, Dohan Kim, Kiraku Shintani, René Thiemann:
Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs. CPP 2024: 147-161
2023
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/NiederhauserHM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NiederhauserHM23
Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp:
Left-Linear Completion with AC Axioms. CADE 2023: 401-418
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/frocos/SaitoH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/SaitoH23
Teppei Saito, Nao Hirokawa:
Weighted Path Orders Are Semantic Path Orders. FroCoS 2023: 63-80
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fscd/HirokawaM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/HirokawaM23
Nao Hirokawa, Aart Middeldorp:
Hydra Battles and AC Termination. FSCD 2023: 12:1-12:16
2022
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fscd/ShintaniH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/ShintaniH22
Kiraku Shintani, Nao Hirokawa:
Compositional Confluence Criteria. FSCD 2022: 28:1-28:19
2021
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fscd/Hirokawa21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/Hirokawa21
Nao Hirokawa:
Completion and Reduction Orders (Invited Talk). FSCD 2021: 2:1-2:9
2019
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HirokawaNOO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HirokawaNOO19
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi:
Confluence by Critical Pair Analysis Revisited. CADE 2019: 319-336
2018
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HirokawaNM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HirokawaNM18
Nao Hirokawa, Julian Nagele, Aart Middeldorp:
Cops and CoCoWeb: Infrastructure for Confluence Tools. IJCAR 2018: 346-353
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/0001HHMN0SZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/0001HHMN0SZ18
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl:
Confluence Competition 2018. FSCD 2018: 32:1-32:5
2017
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/HirokawaMSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/HirokawaMSW17
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler:
Infinite Runs in Abstract Completion. FSCD 2017: 19:1-19:16
2015
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/AotoHN0Z15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AotoHN0Z15
Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl:
Confluence Competition 2015. CADE 2015: 101-104
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ShintaniH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ShintaniH15
Kiraku Shintani, Nao Hirokawa:
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems. CADE 2015: 127-136
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/HirokawaMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/HirokawaMM15
Nao Hirokawa, Aart Middeldorp, Georg Moser:
Leftmost Outermost Revisited. RTA 2015: 209-222
2014
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/YamadaWHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/YamadaWHM14
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp:
AC-KBO Revisited. FLOPS 2014: 319-335
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/HirokawaMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/HirokawaMS14
Nao Hirokawa, Aart Middeldorp, Christian Sternagel:
A New and Formalized Proof of Abstract Completion. ITP 2014: 292-307
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/HirokawaM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/HirokawaM14
Nao Hirokawa, Georg Moser:
Automated Complexity Analysis Based on Context-Sensitive Rewriting. RTA-TLCA 2014: 257-271
2012
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/KleinH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KleinH12
Dominik Klein, Nao Hirokawa:
Confluence of Non-Left-Linear TRSs via Relative Termination. LPAR 2012: 258-273
2011
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/KleinH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/KleinH11
Dominik Klein, Nao Hirokawa:
Maximal Completion. RTA 2011: 71-80
2010
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HirokawaM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HirokawaM10
Nao Hirokawa, Aart Middeldorp:
Decreasing Diagrams and Relative Termination. IJCAR 2010: 487-501
[c11]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-3733
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-3733
Harald Zankl, Nao Hirokawa, Aart Middeldorp:
Uncurrying for Innermost Termination and Derivational Complexity. HOR 2010: 46-57
2008
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HirokawaM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HirokawaM08
Nao Hirokawa, Georg Moser:
Automated Complexity Analysis Based on the Dependency Pair Method. IJCAR 2008: 364-379
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HirokawaM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HirokawaM08
Nao Hirokawa, Georg Moser:
Complexity, Graphs, and the Dependency Pair Method. LPAR 2008: 652-666
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HirokawaMZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HirokawaMZ08
Nao Hirokawa, Aart Middeldorp, Harald Zankl:
Uncurrying for Termination. LPAR 2008: 667-681
2007
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/ZanklHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/ZanklHM07
Harald Zankl, Nao Hirokawa, Aart Middeldorp:
Constraints for Argument Filterings. SOFSEM (1) 2007: 579-590
2006
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/HirokawaM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/HirokawaM06
Nao Hirokawa, Aart Middeldorp:
Predictive Labeling. RTA 2006: 313-327
2005
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/HirokawaM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/HirokawaM05
Nao Hirokawa, Aart Middeldorp:
Tyrolean Termination Tool. RTA 2005: 175-184
2004
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/aisc/HirokawaM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/HirokawaM04
Nao Hirokawa, Aart Middeldorp:
Polynomial Interpretations with Negative Coefficients. AISC 2004: 185-198
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/HirokawaM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/HirokawaM04
Nao Hirokawa, Aart Middeldorp:
Dependency Pairs Revisited. RTA 2004: 249-268
2003
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HirokawaM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HirokawaM03
Nao Hirokawa, Aart Middeldorp:
Automating the Dependency Pair Method. CADE 2003: 32-46
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/HirokawaM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/HirokawaM03
Nao Hirokawa, Aart Middeldorp:
Tsukuba Termination Tool. RTA 2003: 311-320

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-03906
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-03906
Kiraku Shintani, Nao Hirokawa:
Compositional Confluence Criteria. CoRR abs/2303.03906 (2023)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-13973
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-13973
Teppei Saito, Nao Hirokawa:
Generalizing Weighted Path Orders. CoRR abs/2307.13973 (2023)
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-14036
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-14036
Nao Hirokawa, Aart Middeldorp:
Hydra Battles and AC Termination, Revisited. CoRR abs/2307.14036 (2023)
2019
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-11733
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-11733
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi:
Confluence by Critical Pair Analysis Revisited (Extended Version). CoRR abs/1905.11733 (2019)
2018
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-08437
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08437
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler:
Abstract Completion, Formalized. CoRR abs/1802.08437 (2018)
2017
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-07877
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-07877
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi:
Critical Peaks Redefined - $Φ\sqcup Ψ= \top$. CoRR abs/1708.07877 (2017)
2014
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/YamadaWHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/YamadaWHM14
Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp:
AC-KBO Revisited. CoRR abs/1403.0406 (2014)
2011
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1102-3129
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-3129
Nao Hirokawa, Georg Moser:
Automated Complexity Analysis Based on the Dependency Pair Method. CoRR abs/1102.3129 (2011)
2009
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0910-2853
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0910-2853
Nao Hirokawa, Aart Middeldorp:
Decreasing Diagrams and Relative Termination. CoRR abs/0910.2853 (2009)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.