Claude Kirchner publications per year

The chart shows the history of publications by Claude Kirchner between 1981 and 2024, highlighting the no. of papers published in each year and offering an overview of the publication velocity of this scholar. Claude Kirchner published across 44 years, from 1981 to 2024, averaging 8.9 papers a year. Output peaked at 29 publications in 2002. 20 of the 393 publications appeared in the last two years.

No. of publications

5 10 15 20 25

1981 2024

393 publications in total across all disciplines

View publications per year as a table

Claude Kirchner: publications per year, 1981 to 2024
Year	Publications
1981	2
1982	0
1983	2
1984	4
1985	2
1986	4
1987	3
1988	6
1989	3
1990	8
1991	5
1992	9
1993	3
1994	4
1995	6
1996	14
1997	6
1998	23
1999	12
2000	14
2001	18
2002	29
2003	19
2004	12
2005	11
2006	25
2007	21
2008	12
2009	19
2010	19
2011	7
2012	4
2013	4
2014	7
2015	5
2016	5
2017	3
2018	7
2019	5
2020	2
2021	5
2022	4
2023	18
2024	2
Total	393

Download as CSV

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.

No. of scientists

200 400 600

32–41 publications 991+

This scientist: 317 publications — 77th percentile

77% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 991 publications or more.

View publications distribution as a table

Number of Computer Science scientists by publication count, Research.com 2026 ranking edition. Based on 14,188 ranked scientists.
Publications	Scientists	This scientist
32–41	7
42–51	22
52–61	82
62–71	134
72–81	249
82–91	324
92–101	421
102–111	420
112–121	497
122–131	544
132–141	555
142–151	609
152–161	559
162–171	534
172–181	556
182–191	583
192–201	519
202–211	508
212–221	490
222–231	437
232–241	423
242–251	408
252–261	377
262–271	301
272–281	335
282–291	320
292–301	293
302–311	250
312–321	238	317
322–331	206
332–341	209
342–351	208
352–361	162
362–371	176
372–381	127
382–391	158
392–401	128
402–411	104
412–421	94
422–431	99
432–441	83
442–451	108
452–461	73
462–471	77
472–481	69
482–491	84
492–501	62
502–511	54
512–521	57
522–531	51
532–541	51
542–551	32
552–561	38
562–571	28
572–581	43
582–591	33
592–601	41
602–611	32
612–621	28
622–631	25
632–641	27
642–651	17
652–661	20
662–671	17
672–681	15
682–691	14
692–701	21
702–711	13
712–721	12
722–731	19
732–741	14
742–751	12
752–761	10
762–771	10
772–781	11
782–791	10
792–801	11
802–811	8
812–821	8
822–831	7
832–841	11
842–851	10
852–861	5
862–871	9
872–881	4
882–891	6
892–901	3
902–911	6
912–921	3
922–931	2
932–941	2
942–951	2
952–961	3
962–971	3
972–981	3
982–990	5
991+	100

Download as CSV

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.

No. of scientists

200 400 600 800

30–31 D-Index 131+

This scientist: 35 D-Index — 20th percentile

20% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 131 D-Index or more.

View D-Index distribution as a table

Number of Computer Science scientists by D-index, Research.com 2026 ranking edition. Based on 14,188 ranked scientists.
D-Index	Scientists	This scientist
30–31	879
32–33	983
34–35	918	35
36–37	990
38–39	968
40–41	907
42–43	821
44–45	763
46–47	689
48–49	543
50–51	543
52–53	518
54–55	500
56–57	458
58–59	400
60–61	337
62–63	308
64–65	292
66–67	249
68–69	213
70–71	192
72–73	189
74–75	165
76–77	139
78–79	119
80–81	121
82–83	113
84–85	88
86–87	87
88–89	75
90–91	69
92–93	57
94–95	46
96–97	38
98–99	34
100–101	36
102–103	27
104–105	37
106–107	18
108–109	31
110–111	19
112–113	16
114–115	12
116–117	20
118–119	15
120–121	5
122–123	20
124–125	8
126–127	5
128–129	7
130	3
131+	98

Download as CSV

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