About
Technology
Issues
FAQ
Search
Scientometrics
Impact Factor
Discipline Ranks
h
-index
g
-index
Articles
Citations
Article Citations
Citation Distribution
Overviews
Top Institutions
Top Schools
Top Authors
Prolific Authors
Top Articles
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Journals
›
ACM Transactions on Programming Languages and Systems
›
top-authors
ACM Transactions on Programming Languages and Systems
1.7
(top 50%)
impact factor
1.2K
(top 20%)
papers
71.9K
(top 5%)
citations
115
(top 5%)
h
-index
1.8
(top 50%)
extended IF
1.3K
all documents
79.5K
doc citations
232
(top 2%)
g
-index
Top Authors (by citations)
#
Author
Articles
Citations
R ARank
R CRank
1
Leslie Lamport
10
6,168
2
2
2
Thomas Reps
16
2,926
2
1
3
Susan Horwitz
4
1,577
1
1
4
Maurice Herlihy
1
1,312
14
1
5
David Binkley
2
1,173
4
1
6
Benjamin C Pierce
2
846
4
1
7
Krzysztof R Apt
6
803
1
1
8
Atsushi Igarashi
4
787
3
1
9
Mooly Sagiv
2
783
3
1
10
Philip Wadler
1
672
5
2
11
Andrew W Appel
7
613
3
1
12
Luca Cardelli
4
603
8
5
13
Greg Morrisett
2
478
4
1
13
David Walker
2
478
3
2
15
Susan Owicki
1
437
1
2
16
Carroll Morgan
2
424
7
1
17
Martin Abadi
2
420
6
5
18
Marc Snir
2
405
10
4
19
Richard Waldinger
1
387
1
1
20
Karl Crary
1
384
5
1
21
Naoki Kobayashi
5
381
3
2
22
Roland Yap
1
367
3
1
22
Joxan Jaffar
1
367
4
2
24
Dexter Kozen
1
359
11
2
25
Michael Hicks
4
306
3
1
26
Manuel V Hermenegildo
6
297
5
3
27
Thomas Ball
2
293
1
1
28
Michael B Greenwald
1
268
1
1
28
Alan Schmitt
1
268
3
1
30
Luc Maranget
2
254
2
2
30
Jade Alglave
2
254
3
2
32
Steve Gregory
1
251
6
3
33
Allan Gottlieb
1
238
3
1
34
Mary Lou Soffa
4
232
3
2
35
Jens Palsberg
7
231
3
1
36
Annabelle K Mciver
2
229
5
2
37
Cormac Flanagan
2
228
4
3
38
Martin C Carlisle
1
227
6
1
39
Gregory R Andrews
2
222
2
2
40
Andrew D Gordon
5
221
2
4
41
Nissim Francez
1
206
17
2
42
Vincent Simonet
1
192
1
1
43
William S Evans
1
191
4
1
43
Robert Muth
1
191
1
1
45
Frank Tip
3
186
3
2
46
Stéphane Ducasse
1
181
4
1
46
Oscar Nierstrasz
1
181
14
4
46
Andrew P Black
1
181
6
4
46
Roel Wuyts
1
181
6
2
46
Nathanael Schärli
1
181
2
1
51
Enrico Pontelli
2
180
8
3
52
Antonio Brogi
2
166
7
6
52
Peter J Stuckey
5
166
6
5
54
Gerwin Klein
1
163
7
4
54
Tobias Nipkow
1
163
8
3
56
Hassan Aït-Kaci
2
161
4
3
57
Luca Padovani
3
157
2
2
57
Kevin W Hamlen
1
157
3
1
59
Michael Codish
4
156
4
4
59
Gary T Leavens
3
156
4
5
61
Michael A Benedikt
1
154
9
3
62
Fausto Spoto
4
153
3
3
62
Patrick Lincoln
1
153
4
2
64
Ronald A Olsson
2
151
6
1
65
Maurice Bruynooghe
4
148
6
4
66
Jan Pachl
1
145
6
1
66
Michael Hind
1
145
2
1
68
Ulrik Pagh Schultz
2
143
3
1
68
Barbara G Ryder
2
143
4
2
70
Kevin Hammond
1
142
8
3
71
Walter L Ruzzo
1
139
15
14
71
Cédric Fournet
2
139
4
4
73
Jayadev Misra
3
138
3
3
74
Bart Jacobs
4
134
2
2
74
Xavier Rival
1
134
4
3
76
Mitchell Wand
2
133
5
2
77
Frank Piessens
4
132
3
2
77
Rajiv Gupta
4
132
7
5
77
Gregor V Bochmann
1
132
4
3
80
Matthias Felleisen
4
130
3
7
80
Yanhong A Liu
3
130
3
1
82
Dino Mandrioli
2
128
3
2
83
David Monniaux
1
126
4
1
84
Paul C Attie
3
125
1
1
85
Umut A Acar
2
124
4
1
86
Shmuel Katz
1
123
7
3
87
Sergiu Hart
1
122
14
10
88
Xipeng Shen
1
120
12
5
88
Chen Ding
1
120
7
1
90
Samuel P Midkiff
2
119
4
5
92
Paolo Ciancarini
1
111
16
4
93
William Pugh
3
110
3
4
93
Étienne Payet
2
110
2
1
95
Norman Ramsey
2
109
3
1
96
Anders Møller
3
108
4
3
97
Nobuko Yoshida
5
104
9
17
97
Harald Søndergaard
4
104
3
3
100
Gopal Gupta
1
103
5
1
100
Mats Carlsson
1
103
3
3
102
Gregor Snelting
2
102
4
3
103
Walter F Tichy
1
101
1
5
104
Ming-Sheng Ying
2
98
17
10
105
Gilles Barthe
4
97
4
5
106
Éric Tanter
3
95
4
4
107
Jürgen Giesl
3
94
4
4
108
Konstantinos Sagonas
3
93
4
2
108
Moreno Falaschi
2
93
7
1
108
Jan Vitek
4
93
4
6
111
Baudouin Le Charlier
1
92
3
2
112
Tevfik Bultan
1
91
7
4
113
Peter Van Roy
2
89
2
1
113
Seif Haridi
2
89
3
3
115
Albert Cohen
2
88
2
4
116
Amr Sabry
2
86
6
4
116
Valmir Carneiro Barbosa
1
86
23
6
116
Catuscia Palamidessi
2
86
8
9
119
David J Pearce
2
85
2
1
120
Peter Sewell
2
84
4
6
120
Kwangkeun Yi
2
84
2
1
122
Daniel Kroening
5
83
3
6
122
David Ungar
1
83
3
3
124
Sven Verdoolaege
2
82
3
4
125
David Gries
3
80
6
5
126
Atsushi Ohori
2
79
1
1
127
Ferruccio Damiani
3
78
5
3
127
Chris Hankin
1
78
7
5
129
Carla Piazza
1
77
8
3
129
Maria García Garcia De La Banda
2
77
4
4
129
Gianfranco Rossi
1
77
6
1
129
Agostino Dovier
1
77
10
4
129
Torben Amtoft
2
77
2
2
129
Amer Diwan
2
77
3
2
135
Julia L Lawall
1
76
3
1
135
Uday P Khedker
2
76
1
1
137
Oukseh Lee
1
75
1
1
138
Karl Lieberherr
2
74
1
2
139
Venkatesh-Prasad Ranganath
1
73
4
2
139
Marco Carbone
1
73
2
3
139
Matthew B Dwyer
1
73
9
9
139
Abhik Roychoudhury
3
73
4
7
139
Federico Olmedo
2
73
2
2
139
Pierre Ganty
2
73
2
1
139
Jeffrey S Foster
2
73
3
1
146
Michael Leuschel
1
72
8
5
146
Laurence Tratt
1
72
6
2
146
Danny De Schreye
1
72
6
3
149
Brad Calder
1
71
7
4
150
Hanspeter Mössenböck
2
70
4
3
150
Mark Harman
3
70
8
17
150
Jonathan Aldrich
3
70
2
2
150
Jens Krinke
3
70
4
5
154
Samir Genaim
2
67
8
4
155
Konstantin Läufer
1
65
2
1
155
Lawrence C Paulson
2
65
4
8
157
Uzi Vishkin
1
64
9
10
158
Stefano Bistarelli
1
63
12
4
158
Ugo Montanari
1
63
11
11
158
Germán Puebla
1
63
6
5
161
Arthur Charlesworth
2
62
3
1
161
Eva Darulova
1
62
3
2
163
Lars Birkedal
2
61
3
4
164
Mariangiola Dezani
1
60
10
7
164
Paola Giannini
1
60
10
2
166
German Vidal
1
59
9
3
166
MarÍa Alpuente
1
59
9
4
166
David R Hanson
3
59
3
4
169
Koen Om De Bosschere
2
58
12
7
169
Maurizio Gabbrielli
2
58
6
4
169
Rupak Majumdar
1
58
5
2
172
Gerard Tel
1
57
1
2
172
Martin Hirzel
2
57
3
5
174
Davide Sangiorgi
1
56
1
1
174
Patrick M O'keefe
1
56
1
1
174
Patrick O'keefe
1
56
1
1
177
James Riely
1
55
2
3
177
Dino Pedreschi
1
55
19
24
177
Matthew Hennessy
1
55
10
9
180
Zhiming Liu
1
54
3
2
180
Santiago Zanella-Béguelin
1
54
3
3
180
Matthias Blume
1
54
2
2
183
Davide Ancona
1
53
4
3
183
Giovanni Lagorio
1
53
2
2
183
Elena Zucca
1
53
4
2
186
Mirko Viroli
1
52
16
16
186
Izidor Gertner
1
52
2
1
186
Olivier Danvy
3
52
8
8
186
Martin Wirsing
1
52
6
6
186
Katsuro Inoue
1
52
8
7
191
Stavros Tripakis
1
50
10
9
191
Thomas A Henzinger
1
50
2
4
191
Edward A Lee
1
50
21
34
194
John Wickerson
1
47
6
1
194
Nathan Chong
1
47
2
2
196
Kemal Ebcioglu
1
46
2
2
196
René Thiemann
1
46
5
3
196
Peter Schneider-Kamp
1
46
5
3
196
Soo-Mook Moon
1
46
5
2
200
Clark Thomborson
1
45
7
7
200
Krishnendu Chatterjee
3
45
5
7
200
Barak A Pearlmutter
1
45
10
12
200
Richard C Waters
3
45
1
1
204
Martin Sulzmann
1
44
6
3
205
Hideya Iwasaki
1
43
7
2
205
Luigi Liquori
1
43
6
3
207
Agostino Cortesi
1
42
20
6
207
John Derrick
1
42
12
10
207
Francesco Ranzato
2
42
5
7
210
Deepak Garg
1
41
3
2
210
Francesca Scozzari
1
41
6
3
212
Christos Dimoulas
1
40
2
2
212
Yannis Smaragdakis
2
40
2
5
212
Todd A Proebsting
2
40
2
3
212
Marc Brockschmidt
1
40
3
3
212
Daniel Von Dincklage
1
40
2
1
217
Keith Brian Gallagher
1
39
1
2
217
Shih-Wei Liao
1
39
3
6
217
Nicolas Gold
1
39
2
2
220
Wan J Fokkink
2
37
12
10
220
Danny Dolev
1
37
11
18
220
Paul Klint
1
37
2
4
220
Nir Shavit
1
37
8
10
220
Kathryn S Mckinley
1
37
4
5
225
Hongfei Fu
2
36
10
14
226
Andrea Schaerf
1
35
10
21
226
Frank Mueller
2
35
6
5
226
Ravi Sethi
1
35
3
5
226
Rajeev Alur
2
35
6
10
230
Xiangyu Zhang
1
34
4
5
230
Gerda Janssens
1
34
3
3
230
Thomas Jensen
1
34
6
3
233
Pierpaolo Degano
1
33
4
4
233
Gian-Luigi Ferrari
1
33
4
5
233
Massimo Bartoletti
1
33
6
5
233
Christoph M Kirsch
1
33
2
1
233
John R Gilbert
1
33
8
13
238
Josep Llosa
2
32
3
4
238
Antonio Gonzalez
2
32
9
9
238
Stephanie Weirich
1
32
6
4
238
Eliezer Dekel
1
32
3
4
238
Peter T Breuer
2
32
3
3
243
V Krishna Nandivada
2
31
3
1
243
Daniel G Bobrow
1
31
5
7
245
Martin P Ward
1
30
4
2
245
Hussein Zedan
1
30
1
4
245
Martin Ward
1
30
2
2
248
Gang Tan
1
29
6
7
248
Amal Ahmed
1
29
3
5
248
Matías Toro
1
29
1
1
251
Bent Bruun B Kristensen
1
28
5
5
251
James Noble
1
28
6
9
251
Ole Lehrmann Madsen
1
28
5
4
254
Tom Schrijvers
2
27
5
5
254
John J Zic
1
27
4
1
254
Amir Kafshdar Goharshady
3
27
2
2
254
Alexander Kaiser
1
27
2
2
254
Thomas Wahl
1
27
3
3
260
Juan Touriño
1
26
16
11
260
Jisheng Zhao
1
26
3
3
262
Richard Kennaway
1
25
7
10
262
Alcides Fonseca
1
25
2
2
262
Massimo Merro
1
25
7
8
262
Wolfram Schulte
1
25
4
8
266
Hakjoo Oh
2
24
1
2
267
Christopher League
1
23
2
2
267
Petr Novotny
1
23
5
6
267
Ian Foster
1
23
36
62
267
Tulika Mitra
1
23
8
10
267
Tingjian Ge
1
23
2
3
272
Christian Hammer
1
22
3
3
272
Christian Schulte
1
22
3
5
272
Jon Sneyers
1
22
3
2
272
Robert Giegerich
1
22
12
16
272
Karla Saur
1
22
1
1
277
Luc Moreau
2
21
5
23
277
Prasun Dewan
1
21
4
5
279
Daniel P Siewiorek
1
20
9
17
279
Bozhen Liu
1
20
1
1
279
Robert Sedgewick
1
20
5
10
279
Daniel Jackson
1
20
3
10
279
Francois Irigoin
1
20
4
5
284
Benjamin Lucien Kaminski
1
19
2
4
284
Antony L Hosking
1
19
6
7
284
Pietro Ferrara
1
19
3
4
284
Joost-Pieter Katoen
1
19
17
22
284
Jonathan P Bowen
1
19
18
18
284
Colin Fidge
1
19
13
18
284
José Nelson Amaral
1
19
2
2
284
Paweł T Wojciechowski
1
19
3
3
284
Andreas Zeller
1
19
8
11
284
Susan J Eggers
1
19
3
4
284
Annabelle Mciver
1
19
1
2
295
Helmut Seidl
1
18
3
3
295
J Strother Moore
1
18
3
10
295
Manfred Broy
1
18
13
21
295
Neng-Fa Zhou
1
18
3
3
295
Kathleen Fisher
1
18
4
4
300
Andreas Lochbihler
1
17
3
2
300
Yuh-Jzer Joung
1
17
7
8
300
Scott Schneider
1
17
2
5
300
Arie Kaufman
1
17
7
9
304
Antonio Ruiz-Cortés
1
16
14
26
304
Yuan Feng
1
16
19
15
304
Eelco Visser
1
16
8
10
304
Rafael Corchuelo
1
16
10
8
304
José Miguel Toro Bonilla
1
16
4
10
304
Anders Møller
1
16
97
165
304
Runyao Duan
1
16
5
9
311
Peter Schachte
2
15
3
4
311
Baris Kasikci
1
15
1
1
311
Javier Esparza
1
15
11
16
311
Graeme Gange
2
15
3
7
311
Jeehoon Kang
1
15
2
2
311
Kihong Heo
1
15
1
2
311
Matthias Grimmer
1
15
2
2
311
James R Cordy
1
15
9
15
311
Robert Glück
1
15
6
10
321
Andreas Pavlogiannis
2
14
4
7
321
Eric Bodden
1
14
5
12
321
Rasmus Ibsen-Jensen
2
14
2
3
321
Peter Thiemann
2
14
3
7
321
Maria Chiara Meo
1
14
3
3
327
Andres Marin
1
13
8
10
327
Sukyoung Ryu
2
13
4
5
327
David Zhao
1
13
1
1
327
Raymond Boute
1
13
2
1
327
Christian Schulte
1
13
2
2
327
Luis García Sanchez-Fernandez
1
13
6
10
327
Natividad Martínez Madrid
1
13
11
14
327
Gang-Ryung Uh
1
13
2
2
327
François Pottier
1
13
5
9
327
Pavle Subotic
1
13
1
4
338
Ugo Dal Lago
1
12
10
11
338
Loris D'Antoni
1
12
3
3
338
Brad A Myers
1
12
2
8
338
Peter Schrammel
1
12
2
5
338
Richard E Jones
2
12
2
2
338
Michael Coblenz
1
12
1
1
338
Joshua Sunshine
1
12
1
1
338
Carl E Landwehr
1
12
2
3
338
Margus Veanes
1
12
6
7
347
Supratik Chakraborty
1
11
3
4
347
Marco Eilers
1
11
2
2
347
Jakob Rehof
1
11
4
4
347
Dan Grossman
1
11
3
5
347
Webb Miller
1
11
26
48
347
Donald E Knuth
1
11
14
22
353
Niels Voorneveld
1
10
3
1
353
Giuseppina Gini
1
10
19
31
353
David Grove
1
10
2
3
353
Josh Milthorpe
1
10
1
1
358
Shlomi Dolev
1
9
26
33
358
Philip H W Leong
1
9
10
36
358
Friedrich Steimann
2
9
4
12
358
Jürgen Börstler
1
9
9
14
358
Gerald Baumgartner
1
9
3
7
358
Jonas Skeppstedt
1
9
1
1
364
Pascal Van Hentenryck
1
8
14
30
364
Bernardo Toninho
2
8
2
6
364
Antonio J Fernández-Leiva
1
8
12
18
364
Florian Frohn
1
8
3
3
364
Dimitrios Vytiniotis
1
8
3
4
369
Marco Gavanelli
1
7
7
17
369
Frédéric Vivien
1
7
12
18
369
Walter Binder
1
7
5
9
369
Dominique Devriese
1
7
4
5
369
Saman P Amarasinghe
1
7
6
10
369
Jonathan Schaeffer
1
7
9
12
375
Viktória Fördős
1
6
1
2
375
Natalia Chechina
1
6
2
4
375
Stefano Calzavara
1
6
4
9
375
Stavros Aronis
1
6
2
4
375
Simon John Thompson
1
6
9
12
375
Tomoharu Ugawa
1
6
1
2
375
Kjell Winblad
1
6
2
3
375
Takeshi Ogasawara
1
6
2
2
375
Tobias Wrigstad
1
6
1
1
375
Amir Ghaffari
1
6
1
2
375
Ichiro Hasuo
1
6
9
13
375
Colin Gordon
1
6
1
1
375
Phil Trinder
1
6
4
6
375
Pascal Kesseli
1
6
2
2
375
Huiqing Li
1
6
2
4
375
Matteo Maffei
1
6
4
4
375
Karthikeyan Sankaralingam
1
6
6
8
375
Lorenzo De Carli
1
6
1
2
396
Manas Thakur
1
5
1
1
396
Bernd Fischer
1
5
6
10
396
Yongwang Zhao
1
5
4
5
396
Abu Naser Masud
1
5
3
3
396
Salvatore La Torre
1
5
1
2
396
Gennaro Parlato
1
5
4
8
396
Omar Inverso
1
5
3
5
396
Shang-Wei Lin
1
5
5
12
396
Peter H Welch
1
5
2
2
396
David Sanan
1
5
3
8
396
Marco Patrignani
1
5
2
4
396
Marie-Christine Jakobs
1
5
3
4
396
Ermenegildo Tomasco
1
5
2
2
396
Rishabh Singh
1
5
2
4
410
Dariusz Biernacki
1
4
5
8
410
Yih-Kuen Tsay
1
4
2
7
410
Sven Schewe
1
4
6
10
413
Jan Tobias Muehlberg
1
3
2
5
413
Christian W. Probst
1
3
5
11
413
Jaume Abella
1
3
14
19
413
Jorge A Navas
1
3
2
2
413
Paolo Masci
1
3
6
16
413
Francisco Martins
1
3
6
7
413
Tiago Cogumbreiro
1
3
2
3
413
Jo Van Bulck
1
3
2
6
413
Emanuele D'Osualdo
1
3
1
1
413
Giuseppe Lettieri
1
3
6
8
413
Cinzia Bernardeschi
1
3
7
22
413
Yuanbo Li
1
3
1
1
413
Dennis Volpano
1
3
3
8
413
Geoffrey Smith
1
3
4
9
427
Eliot Moss
1
2
1
1
427
Andreia Mordido
1
2
2
3
427
Salvatore Ruggieri
1
2
8
23
427
Zheng Li
1
2
8
13
427
Andrzej S Murawski
1
2
5
11
427
Zachary Palmer
1
2
2
2
427
Ankush Das
1
2
1
2
427
Matthew Hague
1
2
4
6
427
Chaoqiang Deng
1
2
1
2
427
Frank Pfenning
1
2
9
19
427
Paul Hudak
1
2
5
11
427
Sebastian Danicic
1
2
4
13
427
Syed Islam
1
2
2
6
441
William H Temps
1
1
1
3
441
Alan Mycroft
1
1
5
12
441
Henning Basold
1
1
2
3
441
Roland C Backhouse
1
1
5
12
441
Jorge A Pérez
1
1
8
9
441
Charlotte M Niznik
1
1
5
10
441
Stephan Merz
1
1
2
4
441
Peter Lammich
1
1
3
4
441
Alex C Keizer
1
1
1
2
441
Joeri De Koster
1
1
1
3
441
Shaz Qadeer
1
1
5
9
441
Hanan Samet
1
1
9
27
441
Abhinav Jangda
1
1
1
2
454
Hans-Dieter Hiep
1
0
2
2
454
Peizun Liu
1
0
1
2
454
Alex Potanin
1
0
3
8
454
Irene Finocchi
1
0
8
22
454
Darya Melicher
1
0
1
0
454
Anlun Xu
1
0
1
0
454
Steven Pemberton
1
0
1
2
site/software ©
exaly
; All materials licenced under
CC by-SA
.