Claude Kirchner

Publications

2.6K

Citations

H-Index

1983

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Centre Inria de l'Université de Lorraine

Université de Lorraine

Centre National de la Recherche Scientifique

Claude Kirchner is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSemanticsProgram AnalysisSoftware DesignSoftware AnalysisSoftware Engineering

Publications per year

1983–2017

Publications

An Overview of ELAN

Peter Borovanský, Claude Kirchner, Pierre‐Etienne Moreau et al. · Electronic Notes in Theoretical Computer Science · 1998 · 397 citations · Full text

Engineering, Software Engineering, Software Analysis +24

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

Jean-Pierre Jouannaud, Claude Kirchner · OpenGrey (Institut de l'Information Scientifique et Technique) · 1991 · 258 citations

Algebraic Logic, Abstract Algebras, Engineering +7

Theorem Proving Modulo

Gilles Dowek, Thérèse Hardin, Claude Kirchner · Journal of Automated Reasoning · 2003 · 212 citations

Diophantine Analysis, Modulus Problem, Computational Number Theory +1

ELAN from a rewriting logic point of view

Peter Borovanský, Claude Kirchner, Pierre‐Etienne Moreau · Theoretical Computer Science · 2002 · 126 citations

Logic Point, Engineering, Automated Reasoning +5

ELAN

Peter Borovanský, Claude Kirchner, Pierre‐Etienne Moreau et al. · Electronic Notes in Theoretical Computer Science · 1996 · 122 citations · Full text

Programming Language Theory, Formal Specification, Engineering +15

Rows per page

1–5 of 50