Claude Kirchner

Cited by

	All	Since 2018
Citations	6392	684
h-index	42	12
i10-index	112	15

380

190

285

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 28 33 70 93 100 93 89 121 94 140 87 152 122 223 161 192 244 205 251 244 276 278 367 309 271 244 159 174 157 168 127 113 107 111 98 138 123 119 95

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
Carole GobleProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
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
Friedhelm Meyer auf der HeideProfessor of Computer Science, University of PaderbornVerified email at upb.de
François FagesResearch Director, Inria, Saclay - Ile de FranceVerified email at inria.fr
Laurent RomaryInriaVerified email at inria.fr
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
Theorem proving modulo G Dowek, T Hardin, C Kirchner Journal of Automated Reasoning 31, 33-72, 2003	342	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	330	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	265*	1995
Deduction with symbolic constraints C Kirchner, H Kirchner, M Rusinowitch INRIA, 1990	228	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	202	1987
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006	189*	2006
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	188	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	174	2002
The rewriting calculus-Part II H Cirstea, C Kirchner Logic Journal of IGPL 9 (3), 377-410, 2001	168	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	165	1995
Operational semantics of OBJ-3 C Kirchner, H Kirchner, J Meseguer International Colloquium on Automata, Languages, and Programming, 287-301, 1988	155	1988
Methodes et outils de conception systematique d'algorithes d'unification dans les theories equationnelles C Kirchner These d'etat, Universite de Nancy I, 1985	153	1985
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
Unification via Explicit Substitutions: The Case of Higher-Order Patterns. G Dowek, T Hardin, C Kirchner, F Pfenning JICSLP, 259-273, 1996	115	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	113	1985
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	112	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	107	2001
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	98	1986
Rewriting, solving, proving C Kirchner, H Kirchner A preliminary version of a book available at www. loria. fr/~ ckirchne/rsp …, 1999	94	1999

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