Claude Kirchner

Cited by

	All	Since 2019
Citations	6615	782
h-index	42	12
i10-index	113	14

380

190

285

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202424 35 71 90 96 94 87 127 94 138 89 153 121 221 161 195 252 205 254 243 273 273 374 316 276 244 162 179 160 163 127 118 108 111 107 162 156 166 159 32

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Pierre-Etienne MoreauProfessor Mines Nancy - Université de LorraineVerified email at loria.fr
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayVerified email at lix.polytechnique.fr
Hélène KirchnerInriaVerified email at inria.fr
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Luigi LiquoriDirecteur de Recherche INRIAVerified email at inria.fr
olivier bournezProfessor of Computer Science, Ecole Polytechnique, FranceVerified email at lix.polytechnique.fr
Pierre LescanneProfesseur émérite à l'ENS de LyonVerified email at ens-lyon.fr
Michael RusinowitchINRIAVerified email at loria.fr
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Paul BraunerGoogleVerified email at google.com
Paolo BaldanProfessor of Computer Science, University of PadovaVerified email at math.unipd.it
Jurgen VinjuResearch group leader at Centrum Wiskunde & Informatica and professor at TU EindhovenVerified email at vinju.org
Carole GobleProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
François FagesResearch Director, Inria, Saclay - Ile de FranceVerified email at inria.fr
Laurent RomaryInriaVerified email at inria.fr
Friedhelm Meyer auf der HeideProfessor of Computer Science, University of PaderbornVerified email at upb.de
Cecilia AragonProfessor, University of WashingtonVerified email at uw.edu

Claude Kirchner

Inria

Verified email at inria.fr


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface F Wang, D Shen, P Yan, K Suzuki	367*	2012
Theorem proving modulo G Dowek, T Hardin, C Kirchner Journal of Automated Reasoning 31, 33-72, 2003	353	2003
An overview of ELAN P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen Electronic Notes in Theoretical Computer Science 15, 55-70, 1998	331	1998
Higher-order unification via explicit substitutions G Dowek, T Hardin, C Kirchner Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 366-374, 1995	263*	1995
Deduction with symbolic constraints C Kirchner, H Kirchner, M Rusinowitch INRIA, 1990	225	1990
An introduction to OBJ 3 J Goguen, C Kirchner, H Kirchner, A Mégrelis, J Meseguer, T Winkler International Workshop on Conditional Term Rewriting Systems, 258-263, 1987	212	1987
ELAN: A logical framework based on computational systems P Borovanský, C Kirchner, H Kirchner, PE Moreau, M Vittek Electronic Notes in Theoretical Computer Science 4, 35-50, 1996	187	1996
ELAN from a rewriting logic point of view P Borovanský, C Kirchner, H Kirchner, PE Moreau Theoretical Computer Science 285 (2), 155-185, 2002	175	2002
The rewriting calculus-Part II H Cirstea, C Kirchner Logic Journal of IGPL 9 (3), 377-410, 2001	167	2001
Designing constraint logic programming languages using computational systems C Kirchner, H Kirchner, M Vittek Principles and Practice of Constraint Programming. The Newport Papers, 131-158, 1995	162	1995
Methodes et outils de conception systematique d'algorithes d'unification dans les theories equationnelles C Kirchner These d'etat, Universite de Nancy I, 1985	154	1985
Operational semantics of OBJ-3 C Kirchner, H Kirchner, J Meseguer International Colloquium on Automata, Languages, and Programming, 287-301, 1988	152	1988
Incremental construction of unification algorithms in equational theories JP Jouannaud, C Kirchner, H Kirchner International Colloquium on Automata, Languages, and Programming, 361-373, 1983	134	1983
REWRITING WITH STRATEGIES IN: A FUNCTIONAL SEMANTICS P Borovanský, C Kirchner, H Kirchner, C Ringeissen International Journal of Foundations of Computer Science 12 (01), 69-95, 2001	120	2001
HOL-λσ: an intentional first-order expression of higher-order logic G Dowek, T Hardin, C Kirchner Mathematical Structures in Computer Science 11 (1), 21-45, 2001	116	2001
Unification via Explicit Substitutions: The Case of Higher-Order Patterns. G Dowek, T Hardin, C Kirchner, F Pfenning JICSLP, 259-273, 1996	114	1996
NARROWER: a new algorithm for unification and its application to logic programming P Rety, C Kirchner, H Kirchner, P Lescanne International Conference on Rewriting Techniques and Applications, 141-157, 1985	114	1985
Pure patterns type systems G Barthe, H Cirstea, C Kirchner, L Liquori ACM SIGPLAN Notices 38 (1), 250-261, 2003	105	2003
Computing unification algorithms C Kirchner LICS, 206-216, 1986	100	1986
Concurrent term rewriting as a model of computation J Goguen, C Kirchner, J Meseguer Workshop on Graph Reduction, 53-93, 1986	94	1986

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors