Claude Kirchner

Cited by

	All	Since 2019
Citations	6889	763
h-index	41	12
i10-index	113	15

380

190

285

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202444 48 92 112 113 108 92 140 102 137 98 160 123 223 166 201 257 217 260 245 274 280 373 323 281 248 160 173 165 172 129 114 105 107 101 146 136 131 151 98

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
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Hélène KirchnerInriaVerified email at inria.fr
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
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
Paolo BaldanProfessor of Computer Science, University of PadovaVerified email at math.unipd.it
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
Kathryn HuffAssociate Professor, University of Illinois at Urbana-ChampaignVerified email at illinois.edu

Claude Kirchner

Inria

Verified email at inria.fr


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	507	1987
Theorem proving modulo G Dowek, T Hardin, C Kirchner Journal of Automated Reasoning 31, 33-72, 2003	364	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	334	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	264*	1995
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	263*	2006
Deduction with symbolic constraints C Kirchner, H Kirchner, M Rusinowitch INRIA, 1990	227	1990
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	191	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	176	2002
The rewriting calculus-Part II H Cirstea, C Kirchner Logic Journal of IGPL 9 (3), 377-410, 2001	169	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	164	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	153	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	142	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	126	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	119	2001
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	119	1985
Unification via Explicit Substitutions: The Case of Higher-Order Patterns. G Dowek, T Hardin, C Kirchner, F Pfenning JICSLP, 259-273, 1996	115	1996
Pure patterns type systems G Barthe, H Cirstea, C Kirchner, L Liquori ACM SIGPLAN Notices 38 (1), 250-261, 2003	106	2003
Computing unification algorithms C Kirchner LICS, 206-216, 1986	96	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