BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Poland
1 × Serbia
1 × Spain
1 × United Kingdom
2 × Germany
2 × Japan
2 × USA
Collaborated with:
A.Middeldorp G.Moser J.Nagele K.Shintani D.Klein A.Yamada S.Winkler V.v.Oostrom M.Oyamaguchi T.Aoto N.Nishida H.Zankl
Talks about:
confluenc (4) revisit (4) tool (4) pair (4) analysi (3) termin (3) depend (3) autom (3) complex (2) rewrit (2)

Person: Nao Hirokawa

DBLP DBLP: Hirokawa:Nao

Contributed to:

CADE 20152015
RTA 20152015
FLOPS 20142014
RTA-TLCA 20142014
RTA 20112011
IJCAR 20102010
IJCAR 20082008
RTA 20062006
RTA 20052005
RTA 20042004
CADE 20032003
RTA 20032003
IJCAR 20182018
CADE 20192019

Wrote 15 papers:

CADE-2015-AotoHN0Z #confluence #contest
Confluence Competition 2015 (TA, NH, JN, NN, HZ), pp. 101–104.
CADE-2015-ShintaniH #confluence #linear #named #term rewriting
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (KS, NH), pp. 127–136.
RTA-2015-HirokawaMM #revisited
Leftmost Outermost Revisited (NH, AM, GM), pp. 209–222.
FLOPS-2014-YamadaWHM #revisited
AC-KBO Revisited (AY, SW, NH, AM), pp. 319–335.
RTA-TLCA-2014-HirokawaM #analysis #automation #complexity
Automated Complexity Analysis Based on Context-Sensitive Rewriting (NH, GM), pp. 257–271.
Maximal Completion (DK, NH), pp. 71–80.
IJCAR-2010-HirokawaM #diagrams #termination
Decreasing Diagrams and Relative Termination (NH, AM), pp. 487–501.
IJCAR-2008-HirokawaM #analysis #automation #complexity #dependence
Automated Complexity Analysis Based on the Dependency Pair Method (NH, GM), pp. 364–379.
RTA-2006-HirokawaM #predict
Predictive Labeling (NH, AM), pp. 313–327.
RTA-2005-HirokawaM #termination
Tyrolean Termination Tool (NH, AM), pp. 175–184.
RTA-2004-HirokawaM #dependence #revisited
Dependency Pairs Revisited (NH, AM), pp. 249–268.
CADE-2003-HirokawaM #automation #dependence
Automating the Dependency Pair Method (NH, AM), pp. 32–46.
RTA-2003-HirokawaM #termination
Tsukuba Termination Tool (NH, AM), pp. 311–320.
IJCAR-2018-HirokawaNM #confluence #framework #tool support
Cops and CoCoWeb: Infrastructure for Confluence Tools (NH, JN, AM), pp. 346–353.
CADE-2019-HirokawaNOO #analysis #confluence #revisited
Confluence by Critical Pair Analysis Revisited (NH, JN, VvO, MO), pp. 319–336.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.