Harald Ganzinger

Harald Ganzinger 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 Harald Ganzinger sits on this spectrum.

Harald Ganzinger 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 Harald Ganzinger sits on this spectrum.

Best Publications

• Resolution Theorem Proving

  Unknown

  552
  Citations

• DPLL(T): Fast Decision Procedures

  Harald Ganzinger;George Hagen;Robert Nieuwenhuis;Albert Oliveras

  446
  Citations

• Rewrite-based Equational Theorem Proving with Selection and Simplification

  Unknown

  399
  Citations

• Basic paramodulation

  Leo Bachmair;Harald Ganzinger;Christopher Lynch;Wayne Snyder

  216
  Citations

• Attribute coupled grammars

  Harald Ganzinger;Robert Giegerich

  177
  Citations

• Basic Paramodulation and Superposition

  Leo Bachmair;Harald Ganzinger;Christopher Lynch;Wayne Snyder

  155
  Citations

• Programs as Data Objects

  Harald Ganzinger;Neil D. Jones

  142
  Citations

• On restrictions of ordered paramodulation with simplification

  Unknown

  116
  Citations

• Refutational theorem proving for hierarchic first-order theories

  Unknown

  104
  Citations

• Set constraints are the Monadic class

  Unknown

  103
  Citations

• New directions in instantiation-based theorem proving

  Unknown

  98
  Citations

• A truly generative semantics-directed compiler generator

  Harald Ganzinger;Robert Giegerich;Ulrich Möncke;Reinhard Wilhelm

  86
  Citations

• Automated complexity analysis based on ordered resolution

  David Basin;Harald Ganzinger

  83
  Citations

• Proceedings of the 16th International Conference on Automated Deduction (CADE-16)

  Unknown

  77
  Citations

• Logical Algorithms

  Harald Ganzinger;David A. McAllester

  74
  Citations

• Equational Reasoning in Saturation-Based Theorem Proving

  Unknown

  73
  Citations

• A New Meta-complexity Theorem for Bottom-Up Logic Programs

  Harald Ganzinger;David A. McAllester

  64
  Citations

• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability

  Unknown

  61
  Citations

• A completion procedure for conditional equations

  Unknown

  59
  Citations

• Automatic Generation of Optimizing Multipass Compilers.

  Harald Ganzinger;Knut Ripken;Reinhard Wilhelm

  52
  Citations