Aart Middeldorp

Best Publications

• Completeness results for basic narrowing

  Aart Middeldorp;Erik Hamoen

  184
  Citations

• SAT solving for termination analysis with polynomial interpretations

  Carsten Fuhs;Jürgen Giesl;Aart Middeldorp;Peter Schneider-Kamp

  180
  Citations

• Tyrolean termination tool : Techniques and features

  Nao Hirokawa;Aart Middeldorp

  172
  Citations

• Tyrolean termination tool: Techniques and features

  Nao Hirokawa;Aart Middeldorp

  166
  Citations

• Tyrolean Termination Tool 2

  Martin Korp;Christian Sternagel;Harald Zankl;Aart Middeldorp

  158
  Citations

• Automating the dependency pair method

  Nao Hirokawa;Aart Middeldorp

  158
  Citations

• Sequentiality in orthogonal term rewriting systems

  Jan Willem Klop;Aart Middeldorp

  120
  Citations

• Completeness of combinations of constructor systems

  Aart Middeldorp;Yoshihito Toyama

  120
  Citations

• Dependency Pairs Revisited

  Nao Hirokawa;Aart Middeldorp

  108
  Citations

• Call by need computations to root-stable form

  Aart Middeldorp

  107
  Citations

• Lazy narrowing: strong completeness and eager variable elimination

  Aart Middeldorp;Satoshi Okui;Tetsuo Ida

  103
  Citations

• A sufficient condition for the termination of the direct sum of term rewriting systems

  A. Middeldorp

  97
  Citations

• Transformation techniques for context-sensitive rewrite systems

  Jürgen Giesl;Aart Middeldorp

  93
  Citations

• Completeness of combinations of constructor systems

  Aart Middeldorp;Yoshihito Toyama

  91
  Citations

• Satisfiability of non-linear (Ir)rational arithmetic

  Harald Zankl;Aart Middeldorp

  85
  Citations

• Decidable call-by-need computations in term rewriting

  Irène Durand;Aart Middeldorp

  80
  Citations

• Simple termination of rewrite systems

  Aart Middeldorp;Hans Zantema

  78
  Citations

• Tyrolean Termination Tool 2

  Unknown

  75
  Citations

• Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides

  Taro Suzuki;Aart Middeldorp;Tetsuo Ida

  71
  Citations

• Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms

  Aart Middeldorp

  69
  Citations