Aart Middeldorp

Aart Middeldorp publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Aart Middeldorp sits on this spectrum.

Aart Middeldorp D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Aart Middeldorp sits on this spectrum.

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