Claude Kirchner

Claude Kirchner 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 Claude Kirchner sits on this spectrum.

Claude Kirchner 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 Claude Kirchner sits on this spectrum.

Best Publications

• Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification.

  Jean-Pierre Jouannaud;Claude Kirchner

  459
  Citations

• An Overview of ELAN

  Unknown

  425
  Citations

• Completion of a Set of Rules Modulo a Set of Equations

  Unknown

  372
  Citations

• Theorem Proving Modulo

  Unknown

  340
  Citations

• CASL: the common algebraic specification language

  Egidio Astesiano;Michel Bidoit;Hélène Kirchner;Bernd Krieg-Brückner

  317
  Citations

• Deduction with symbolic constraints

  Unknown

  234
  Citations

• An introduction to OBJ 3

  J. Goguen;C. Kirchner;J. Meseguer;H. Kirchner

  211
  Citations

• ELAN: A logical framework based on computational systems

  Unknown

  181
  Citations

• Higher order unification via explicit substitutions

  Unknown

  181
  Citations

• ELAN from a rewriting logic point of view

  Unknown

  175
  Citations

• Operational semantics of OBJ-3

  Claude Kirchner;Hélène Kirchner;José Meseguer

  155
  Citations

• REWRITING WITH STRATEGIES IN ELAN: A FUNCTIONAL SEMANTICS

  Unknown

  147
  Citations

• Incremental Construction of Unification Algorithms in Equational Theories

  Unknown

  145
  Citations

• NARROWER: a new algorithm for unification and its application to logic programming

  Unknown

  119
  Citations

• Faces in the cloud: Fourier power spectrum biases ultrarapid face detection.

  Christian Honey;Holle Kirchner;Holle Kirchner;Rufin VanRullen;Rufin VanRullen

  117
  Citations

• Unification via Explicit Substitutions: The Case of Higher-Order Patterns.

  Gilles Dowek;Thérèse Hardin;Claude Kirchner;Frank Pfenning

  115
  Citations

• HOL-λσ: an intentional first-order expression of higher-order logic

  Unknown

  105
  Citations

• Pure patterns type systems

  Gilles Barthe;Horatiu Cirstea;Claude Kirchner;Luigi Liquori

  101
  Citations

• Computing Unification Algorithms

  Unknown

  92
  Citations

• The Rho Cube

  Unknown

  86
  Citations