Concepedia

Dependency Pairs

Dependency Pairs is a termination analysis method that identifies recursive call dependencies in term rewrite systems by capturing potential call patterns between rules through a syntactic criterion on argument positions.

63

Publications

3.2K

Citations

114

Authors

57

Institutions

Publications per year

2017–2026

8

Parents

Publications

63

Termination of term rewriting using dependency pairs

Thomas Arts, Jürgen Giesl · Theoretical Computer Science · 2000 · 498 citations

, , +4

Processing filler-gap dependencies in a head-final language

Sachiko Aoshima, Colin Phillips, Amy Weinberg · Journal of Memory and Language · 2004 · 233 citations

, , +11

Bidirectional Recurrent Convolutional Neural Network for Relation Classification

Rui Cai, Xiaodong Zhang, Houfeng Wang · 2016 · 225 citations · Full text

, , +16

Mechanizing and Improving Dependency Pairs

Jürgen Giesl, René Thiemann, Peter Schneider–Kamp et al. · Journal of Automated Reasoning · 2007 · 195 citations

, , +8

Using a Chinese treebank to measure dependency distance

Haitao Liu, Richard Hudson, Zhiwei Feng · Corpus Linguistics and Linguistic Theory · 2009 · 136 citations

, , +14

1–5 of 63

Authors

114

  1. JG
    Jürgen Giesl

    RWTH Aachen University, Germany

    7 publications · 897 citations

    7

    h-index

  2. MS
    Masahiko Sakai

    Kyoto University, Japan

    5 publications · 106 citations

    5

    h-index

  3. KK
    Keiichirou Kusakari

    Nagoya University, Japan

    5 publications · 87 citations

    5

    h-index

  4. SL
    Salvador Lucas

    Universitat Politècnica de València, Spain

    4 publications · 100 citations

    4

    h-index

  5. GM
    Georg Moser

    Universität Innsbruck, Austria

    3 publications · 68 citations

    3

    h-index

1–5 of 114

Institutions

57

  1. RWTH Aachen University

    Aachen, Germany

    7 h-index

    14 publications

    976 citations

  2. Universität Innsbruck

    Innsbruck, Austria

    6 h-index

    11 publications

    450 citations

  3. Nagoya University

    Nagoya, Japan

    5 h-index

    11 publications

    216 citations

  4. Universitat Politècnica de València

    Valencia, Spain

    4 h-index

    6 publications

    130 citations

  5. University of Michigan

    Ann Arbor, United States

    3 h-index

    7 publications

    507 citations

  6. University of Maryland, College Park

    College Park, United States

    3 h-index

    6 publications

    797 citations

  7. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    2 h-index

    3 publications

    62 citations

  8. Utrecht University

    Utrecht, The Netherlands

    2 h-index

    2 publications

    516 citations

1–8 of 57

Venues

  1. Journal of Automated Reasoning

    5 publications · 295 citations

    5

    h-index

  2. 3

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 53 citations

    3

    h-index

  4. Logical Methods in Computer Science

    LMCS · 2 publications · 36 citations

    2

    h-index

  5. Journal of Memory and Language

    2 publications · 283 citations

    2

    h-index

1–5