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
›
Electronic Notes in Theoretical Computer Science
›
top-authors
Electronic Notes in Theoretical Computer Science
0.9
(top 50%)
impact factor
5.7K
(top 5%)
papers
44.7K
(top 10%)
citations
61
(top 10%)
h
-index
0.9
(top 50%)
extended IF
6.3K
all documents
48.6K
doc citations
98
(top 10%)
g
-index
Top Authors (by citations)
#
Author
Articles
Citations
R ARank
R CRank
1
Tom Mens
9
734
2
2
2
Pieter Van Gorp
5
651
2
1
3
Jacques Fleuriot
1
558
2
1
4
Michael R Fellows
2
419
12
4
5
Reiko Heckel
15
385
2
2
6
Grigore Roşu
9
351
2
2
7
Peter Selinger
6
330
2
2
8
Claude Kirchner
11
319
2
1
9
Sten Hanke
2
301
2
1
10
Carlos Canal
12
292
2
1
11
Ernesto Pimentel
19
286
2
1
12
John Power
16
283
1
1
13
Peter Borovansky
6
270
1
1
14
Ugo Montanari
27
254
2
7
15
Pierre-Etienne Moreau
8
251
1
1
16
Antonio Brogi
12
246
2
3
17
Niklas Een
1
241
2
3
18
Narciso Martí-Oliet
16
240
2
2
19
Hélène Kirchner
6
239
2
1
20
Bob Coecke
10
238
1
1
21
Antonio Vallecillo
4
229
6
2
22
Armin Biere
9
228
2
6
23
Maria Monard
2
216
2
3
23
Newton Spolaôr
2
216
3
1
23
Everton Alvares Cherman
2
216
1
1
26
Catuscia Palamidessi
11
212
4
4
27
Mirko Viroli
15
197
2
3
28
Péter Kovács
1
193
1
1
28
Alpár Jüttner
1
193
2
1
28
Balázs Dezső
1
193
1
1
31
Eelco Visser
13
192
2
3
32
Andrea Omicini
9
189
2
4
33
Huei Diana Lee
1
182
5
1
34
Alberto Verdejo
13
178
2
1
35
David Clark
4
169
2
1
36
Nobuko Yoshida
10
167
3
11
38
Anupam Datta
2
155
2
1
39
Gethin J Norman
6
154
3
7
40
Sebastian Hunt
2
153
1
1
41
Daniel Varro
10
150
3
4
42
Francisco Durán
18
145
2
2
43
Yuxin Deng
6
144
2
2
44
Klaus Havelund
1
140
6
5
45
Maciej Koutny
3
139
5
5
45
Ante Derek
1
139
3
1
45
Arnab Roy
2
139
2
2
48
Farhad Arbab
14
137
2
5
48
Pierre Wolper
3
137
2
6
50
Alexander Wilce
2
134
3
2
51
Jeremy Bryans
1
133
3
2
51
Roderick Bloem
2
133
4
3
51
Peter Y A Ryan
2
133
4
4
54
Volker Stolz
3
132
2
1
54
Achim Jung
8
132
1
1
56
Anita Schoebel
2
129
15
6
57
Howard Barnum
1
126
9
6
58
Vasco Thudichum Vasconcelos
7
124
2
4
59
Andy Schürr
5
123
2
2
60
Gabriel Ciobanu
10
122
2
3
61
Roberto Bruni
14
120
2
3
61
Andrew D Gordon
5
120
2
6
63
Salvador Lucas
20
119
2
2
64
David Parker
3
117
4
6
64
David Parker
3
117
5
6
66
Clark W Barrett
8
116
2
2
67
Wil M P Van Der Aalst
1
114
41
48
67
Anthony Power
7
114
1
4
69
Luca Cardelli
5
113
5
15
70
Matthew Hennessy
6
112
2
5
71
Samson Abramsky
7
111
3
9
72
James Worrell
7
109
3
3
72
Tarmo Uustalu
10
109
2
2
72
Marco Gribaudo
11
109
2
2
75
Fabio Gadducci
17
108
2
2
76
Luciano Baresi
6
107
2
4
77
Pierre-Yves Schobbens
4
106
2
4
77
Eric Bodden
1
106
5
4
79
Gul Agha
1
105
7
6
79
Jose Meseguer
1
105
2
3
79
Martin Hyland
7
105
1
2
82
Nir Piterman
2
104
4
5
83
Alexandru Baltag
5
103
2
2
83
Vincent Danos
13
103
1
7
85
Fuji Ren
2
102
15
9
86
Ernesto Damiani
3
101
13
16
86
Sabrina De Capitani Di Vimercati
3
101
3
8
88
Konstantinos Chatzikokolakis
1
100
3
1
88
Gyula Simon
1
100
7
3
88
Jaco C Van De Pol
11
100
2
2
91
Alessandro Ricci
6
98
2
5
92
Simona Orzan
5
95
1
1
93
Santiago Escobar
13
94
2
3
94
Luca Bortolussi
7
93
2
5
94
Mauro Iacono
7
93
2
2
96
Javier Cubo
5
92
1
2
97
Joel Ouaknine
5
90
2
3
98
Bernhard K Aichernig
11
89
2
2
99
Oleg Sokolsky
4
88
2
4
99
Corrado Priami
9
88
2
7
99
Peter D Mosses
7
88
3
4
99
Ilaria Matteucci
4
88
2
2
103
Pedro R D'argenio
4
87
2
6
104
MarÍa Alpuente
15
85
2
2
104
Barbara Jobstmann
1
85
3
3
106
Christian Liebchen
2
84
1
4
107
Andrea Corradini
11
83
2
6
108
Stefan Blom
7
82
2
2
108
Robert Susmaga
3
82
1
1
110
Marco Bozzano
3
81
3
4
111
Vladimir Estivill-Castro
2
80
4
5
111
Alessandro Cimatti
2
80
8
6
111
Roberto Sebastiani
2
80
4
5
114
Bartek Klin
6
78
1
2
114
James Woodcock
9
78
3
6
116
Angelo Troina
1
77
1
1
117
Marta Kwiatkowska
1
76
11
12
117
Elena Prieto
1
76
5
3
119
Guy McCusker
5
75
1
2
119
Fernando Orejas Valdes
11
75
2
3
119
Krzysztof Dembczyński
2
75
4
5
122
Carlos E Cuesta
3
74
2
2
123
Franck Cassez
4
73
2
4
123
Romain Robbes
1
73
6
4
125
Ivana Černá
8
72
2
3
125
Alessandra Di Pierro
12
72
2
3
125
Diomidis Spinellis
2
72
10
10
125
Martin Wirsing
4
72
3
5
129
Jurgen J Vinju
6
71
2
2
129
Gary T Leavens
2
71
7
11
131
Pascal Bouvry
1
70
23
15
131
Frédéric V G Guinand
1
70
6
1
131
Jane Hillston
7
70
1
5
131
Kim G Larsen
8
70
3
9
135
Ana Cavalcanti
10
69
3
5
136
Gabor Karsai
3
68
5
8
136
Daniele Codetta-Raiteri
1
68
2
3
136
Emanuela Merelli
6
68
2
5
136
Mohammad Reza Mousavi
7
68
2
3
136
Jeremy Gibbons
4
68
5
4
136
Camilo Rocha
1
68
5
2
136
James R Cordy
2
68
5
8
136
Patricia Bouyer
3
68
3
7
136
Erik Poll
1
68
3
3
136
Yoonsik Cheon
1
68
2
4
146
Javier Cámara Moreno
5
67
1
1
146
Paulo Mateus
5
67
6
5
146
Tomas Vojnar
4
67
3
2
146
Luis Soares Barbosa
14
67
2
3
146
Georgios Gousios
1
67
2
3
146
Paulo H L Fernandes
6
67
1
2
146
Ioannis Samoladas
1
67
1
3
154
Przemyslaw Prusinkiewicz
1
66
10
14
154
Sonja Smets
2
66
4
4
154
Wolfram Schulte
3
66
2
6
157
Pierangela Samarati
2
65
6
12
157
Mehrnoosh Sadrzadeh
8
65
2
3
159
Kazuhiro Ogata
5
64
2
2
159
Claus Pahl
5
64
3
8
159
Jaco Van De Pol
6
64
2
3
162
Muffy Calder
7
63
2
8
162
Hillel Kugler
1
63
6
3
162
Mariangiola Dezani
10
63
3
6
162
Jozef Hooman
1
63
3
2
166
Jerome Feret
8
62
2
4
166
Varmo Vene
3
62
2
2
166
Joost Visser
5
62
2
4
166
Dale Miller
9
62
2
9
166
Tayssir Touili
4
62
2
2
166
Tihamér Levendovszky
3
62
1
1
172
Alberto Lluch Lafuente
7
61
2
3
172
Chenyi Zhang
3
61
3
2
172
Hung Son Nguyen
2
61
6
5
172
Joost-Pieter Katoen
5
61
5
15
172
Paul Hudak
1
61
5
5
172
Hai Liu
1
61
2
1
178
Marino Miculan
10
60
2
3
178
Andreas Griesmayer
3
60
1
2
180
David Monniaux
2
59
2
2
180
Leonardo Mariani
4
59
2
5
180
Stefania Gnesi
8
59
2
9
180
Daniel Kroening
2
59
9
8
180
Alessio Lomuscio
3
59
4
8
186
Andrew Pitts
4
58
1
6
186
Bruno Crispo
1
58
8
9
186
Agustín Riscos-Núñez
4
58
5
9
186
Loïc Paulevé
5
58
2
5
186
Riccardo Focardi
9
58
2
4
186
Klaus Keimel
4
58
1
1
192
Christos Doulkeridis
1
57
7
5
193
Antonia Bertolino
3
56
8
5
193
Ioannis Chatzigiannakis
3
56
4
7
193
Ralf Lämmel
12
56
2
7
193
Manuel V Hermenegildo
7
56
3
7
193
Nora Szasz
5
56
1
1
193
Andreas Herzig
3
56
4
6
193
Leendert van der Torre
3
56
4
10
193
Sylvain Peyronnet
4
56
1
2
193
Guido Boella
3
56
3
5
193
Jean-Marie Favre
1
56
1
1
203
Dimitrios Amaxilatis
2
55
2
4
203
Vicente Julian
1
55
24
10
203
Ruggero Lanotte
7
55
2
2
203
Estefania Argente
1
55
3
7
203
Vicent Botti
1
55
22
15
203
Valentín Valero
4
55
2
3
203
Nigel Thomas
8
55
1
2
203
Peter Habermehl
2
55
2
2
203
Prakash Panangaden
8
55
2
12
212
Iain Phillips
5
54
2
5
212
Philip Wadler
2
54
4
5
212
Viktor Vafeiadis
1
54
4
4
212
Timothy C Lethbridge
2
54
3
5
212
Christian Johansen
2
54
3
3
212
Steve Reeves
7
54
2
3
212
Gilles Barthe
3
54
7
6
212
Andre Scedrov
5
54
6
6
212
James Riely
1
54
2
4
212
Ron van der Meyden
2
54
4
4
212
Enrico Barbierato
4
54
2
2
212
Rocco De Nicola
8
54
3
13
224
Anton Setzer
2
53
2
3
224
Marcin Szczuka
2
53
3
2
224
Luigi Liquori
9
53
2
2
227
Fernando Cuartero Gómez
3
52
1
2
227
Amílcar C Sernadas
3
52
4
4
227
Sergio Yovine
4
52
2
7
227
Berthold Hoffmann
6
52
2
4
227
Philippa Gardner
7
52
2
3
232
Stefano Bistarelli
5
51
4
5
232
Arend Rensink
3
51
3
4
232
Benjamin Baran
2
51
1
2
232
Roman Slowinski
1
51
29
41
232
Paweł Sobociński
6
51
2
3
232
Susan Stepney
4
51
4
10
232
Afonso Sales
5
51
1
1
232
Jerzy Błaszczyński
1
51
5
10
232
Geguang Pu
2
51
2
4
232
Maria Luisa Guerriero
3
51
1
1
242
Einar Broch Johnsen
7
50
2
7
242
Ginés Damián Moreno Valverde
7
50
2
3
242
Boudewijn R Haverkort
6
50
3
7
242
Olga Kouchnarenko
6
50
2
2
242
Artur Boronat
3
50
3
2
242
Paul Pettersson
3
50
3
8
242
Simon Doherty
2
50
3
3
242
Andrew M Pitts
3
50
3
7
242
Daniel Calegari
2
50
1
1
251
Marco Roveri
1
49
5
7
251
Oana Andrei
7
49
1
3
251
Marco Pistore
1
49
1
2
251
Usa Sammapun
2
49
1
1
255
Adelinde M Uhrmacher
1
48
9
6
255
Frank Ortmeier
2
48
4
2
255
Bogdan Aman
3
48
4
2
255
John Mullins
4
48
1
1
255
Franz Wotawa
4
48
5
9
255
Matthieu Moy
1
48
1
1
255
Moreno Falaschi
8
48
2
5
255
Jeff Offutt
1
48
7
9
255
Alberto Momigliano
4
48
2
3
255
Olaf Owe
7
48
3
7
255
Antonio Bucchiarone
3
48
2
5
255
Glynn Winskel
3
48
4
5
255
Roland Ewald
1
48
1
3
255
Martin Abadi
3
48
3
15
255
Julien Henry
1
48
1
1
270
Graçaliz Dimuro
3
47
9
12
270
Dorel Lucanu
8
47
1
2
270
Faron Moller
2
47
6
5
270
Renata Reiser
4
47
4
3
270
Fabio Massacci
4
47
4
16
270
Alex Groce
1
47
6
6
270
Jan Friso Groote
6
47
2
9
270
Alejandra Cechich
4
47
2
3
270
Ahmed Bouajjani
3
47
2
3
270
Holger Hermanns
3
47
5
11
280
Hiroshi Watanabe
2
46
2
2
280
Meriem Bm Belguidoum
2
46
1
1
280
Manuel Mazzara
2
46
8
12
280
Simone Tini
7
46
3
3
280
Ana Sokolova
4
46
2
3
280
Robert Harper
2
46
4
5
280
Martin Leucker
5
46
2
4
280
Mogens Nielsen
1
46
4
4
280
François Pottier
3
46
3
2
289
Gergely Mezei
2
45
1
1
289
Wolfgang Mayer
1
45
2
2
289
László Lengyel
2
45
2
1
289
Benjamin Bedregal
3
45
7
10
289
Markus Stumptner
1
45
5
6
289
Samir Genaim
4
45
2
7
289
Simona Motogna
2
45
2
1
289
Heiko Koziolek
5
45
2
6
289
Hassan Charaf
2
45
3
1
289
Mauricio Ayala-Rincon
14
45
2
3
289
Eda Marchetti
2
45
7
2
300
Alcione Oliveira
2
44
3
1
300
Stefan Milius
10
44
1
4
300
Marcos Lopez-Sanz
2
44
2
1
300
Philippe Balbiani
6
44
4
7
300
Miguel A Gutiérrez-Naranjo
2
44
6
12
300
Mario de Jesús Pérez Jiménez
2
44
20
38
300
Mark Gj Van Den Brand
4
44
2
3
300
Fabrizio Montesi
1
44
2
3
300
Claudio Guidi
1
44
2
2
300
Jose Elias Claudio Arroyo
1
44
1
2
300
Mario J Pérez-Jiménez
2
44
18
37
300
Joachim Parrow
2
44
2
5
313
Rosario Pugliese
8
43
2
9
313
Thomas Noll
7
43
2
4
313
Jean-Louis Giavitto
1
43
4
3
313
Ana C R Paiva
2
43
4
1
313
Wiebe Van Der Hoek
2
43
7
8
318
Reinhard Klette
1
42
20
14
318
Davide Prandi
2
42
3
18
318
Franck Delaplace
2
42
3
1
318
Leonardo M De Moura
2
42
3
5
318
Traian Florin Șerbănuță
4
42
2
4
318
Thorsten Altenkirch
4
42
2
4
318
Jose A Gallud
1
42
7
3
318
Fernando Rosa-Velardo
5
42
2
3
318
Elaine Pimentel
8
42
2
3
318
Victor M R Penichet
1
42
5
3
318
Maria D Lozano
1
42
8
3
318
Michael Weber
3
42
1
1
318
Carolyn Talcott
2
42
2
5
318
Tadao Takaoka
3
42
3
5
332
Helle Hvid Hansen
2
41
1
1
332
Musab A Alturki
2
41
2
2
332
David Safranek
10
41
2
2
332
Irek Ulidowski
2
41
3
4
332
Patrick Lincoln
1
41
4
5
338
Carlos Caleiro
4
40
2
4
338
Fernando Sáenz-Pérez
7
40
2
2
338
Gabriele Lenzini
3
40
3
4
338
Chris Hankin
6
40
2
9
338
Jose A Carsi
2
40
3
2
338
Massimo Merro
4
40
3
6
338
Robert J Colvin
2
40
3
3
338
Manuel Barrio
2
40
1
3
338
Pablo de la Fuente
2
40
3
3
338
Martijn Warnier
1
40
7
8
338
Alessandro Armando
4
40
4
7
338
Biplab K Sikdar
2
40
4
6
338
Samir Chouali
4
40
1
1
338
Hongseok Yang
1
40
5
3
338
Jean-Baptiste Raclet
1
40
2
2
338
Oded Maler
2
40
3
6
338
Sukanta Das
2
40
3
3
338
Richard Bornat
1
40
2
2
356
Murdoch J Gabbay
8
39
2
6
356
Iliano Cervesato
4
39
2
5
356
Alan Mycroft
2
39
2
3
356
Francesco Vaccarino
1
39
7
7
356
Marcelo B D'amorim
1
39
2
2
356
Leon Moonen
2
39
3
6
356
Carla Piazza
8
39
2
5
356
Luisa Fernanda Rincon Perez
2
39
1
1
356
Carlos Olarte
10
39
1
1
356
Giovanni Petri
1
39
10
17
356
Matteo Rucco
1
39
2
3
356
Michael Butler
2
39
6
6
356
Bazil Pârv
1
39
1
1
356
Arnaud Lanoix
3
39
1
1
356
Ioan Lazar
1
39
1
1
371
Mieke Massink
6
38
2
7
371
Josep Silva
6
38
2
6
371
José Creissac Campos
3
38
2
5
371
Chiara Bodei
8
38
2
5
371
Lutz Schröder
7
38
2
6
371
Harald C Gall
2
38
5
10
371
Andrzej Skowron
1
38
15
15
371
Simon Peyton Jones
3
38
2
1
371
Johan Lilius
1
38
3
5
371
Carsten Schürmann
3
38
2
2
381
Jonathan Grattage
3
37
1
1
381
Marielle Stoelinga
2
37
3
8
381
Zinovy Diskin
1
37
3
3
381
Jean-Marie Jacquet
3
37
3
1
381
Marina Mongiello
2
37
2
4
381
Marco Viviani
1
37
5
7
381
Jaime Urquiza-Fuentes
3
37
2
3
381
Pascual Julián-Iranzo
5
37
2
3
381
Uwe Egbert Wolter
1
37
3
2
381
Jesús Manuel Almendros Jiménez
5
37
2
3
381
J Ángel Velázquez-Iturbide
3
37
5
6
381
Mirko Conrad
2
37
1
2
381
Jim Davies
4
37
2
16
381
Hanne Riis Nielson
3
37
2
5
381
Andrej Bauer
4
37
1
3
381
Carroll Morgan
4
37
3
10
397
Sandeep K Shukla
5
36
1
7
397
Matija Pretnar
1
36
3
4
397
Patrícia Dl Machado
3
36
3
3
397
Sara Foresti
1
36
10
10
397
Damiano Zanardini
2
36
3
3
397
Robert Wille
1
36
14
7
397
Patrizio Pelliccione
3
36
5
11
397
Gregorio Diaz
1
36
5
4
397
Dusko Pavlovic
5
36
2
5
397
Rolf Drechsler
1
36
21
14
397
Stefano Paraboschi
1
36
11
13
397
Yves Lepage
1
36
1
1
397
Alberto Martelli
2
36
2
5
397
Leslie Lamport
1
36
10
12
411
Naoki Kobayashi
3
35
5
9
411
Marco Bernardo
5
35
3
5
411
Michel Habib
1
35
11
11
411
Rob Van Glabbeek
2
35
4
7
415
Andrea Degasperi
3
34
1
14
415
Margherita Napoli
3
34
2
3
415
Valentin Goranko
4
34
5
10
415
Klaus Schneider
1
34
2
1
415
German Vidal
4
34
4
6
415
Serge Demeyer
1
34
6
5
415
Hans Hüttel
8
34
2
4
415
Mimmo Parente
3
34
2
3
415
John Derrick
6
34
4
12
415
Daniel Díaz-Pernil
1
34
6
6
415
Jens Brandt
1
34
2
1
415
Enrico Denti
2
34
3
4
415
Judy Bowen
2
34
4
2
415
Christiano Braga
2
34
2
2
415
Alberto Policriti
2
34
5
14
415
César J Acuna
1
34
1
1
415
Jesús M Almendros-Jiménez
4
34
2
2
415
Mark Kaminski
2
34
2
1
433
Encarnación Beato-Gutiérrez
1
33
2
2
433
Alfons Laarman
2
33
2
2
433
Georgios Mylonas
1
33
6
9
433
Isidro Ramos
1
33
2
1
433
Reinhard Von Hanxleden
1
33
3
1
438
Jos H T Rohling
1
32
6
9
438
Paulo Borba
5
32
3
10
438
Alice Miller
4
32
2
4
438
Mario Benevides
10
32
1
1
438
Eric Goubault
5
32
2
7
438
Laszlo Gonczy
3
32
1
1
438
Ralf Sasse
2
32
2
4
438
Massimo Bartoletti
4
32
2
6
438
Stephen Gilmore
2
32
2
4
438
Robert Rettinger
4
32
2
1
438
Sabine Kuske
5
32
2
5
449
Eugenio Moggi
5
31
2
7
449
Maribel Fernandez
6
31
1
2
449
Steve Schneider
4
31
3
12
449
Mike Joy
1
31
14
10
449
Liliana Ardissono
1
31
9
8
449
Francesco Santini
2
31
4
3
449
Lorenzo Bettini
7
31
2
6
449
Ulrich Kohlenbach
2
31
11
11
449
Tiziana Margaria
3
31
6
10
449
Cesare Tinelli
2
31
4
11
449
Andreas Holzinger
1
31
41
67
449
Mohammad Abdollahi Azgomi
2
31
7
10
449
Alicia Villanueva
8
31
1
1
449
Vincenzo Ciancia
4
31
2
3
449
Manoranjan Satpathy
2
31
1
1
449
Jean Bezivin
1
31
3
4
449
Michael Waidner
1
31
3
6
449
Alan Jeffrey
3
31
1
4
449
Andrés Moreno
1
31
2
3
468
Carlos Gregorio-RodrÍguez
5
30
2
2
468
Paola Spoletini
1
30
4
4
468
Isabelle Linden
3
30
1
1
468
Martin Strecker
3
30
2
2
468
Sergio Rajsbaum
5
30
6
12
468
Cosimo Laneve
4
30
2
4
468
Bart Jacobs
6
30
1
4
468
Serge Autexier
7
30
2
3
468
Amr Sabry
5
30
3
6
468
Stavros Tripakis
3
30
4
15
468
Maura Beth Paterson
1
30
9
5
468
Ignacio Darío Viglizzo
1
30
2
1
468
Luca Tesei
5
30
1
6
468
Ichiro Hasuo
4
30
2
5
468
Paola Giannini
6
30
2
4
468
Carsten Führmann
2
30
1
1
468
Keith M Martin
1
30
3
4
468
Vahid Rafe
1
30
9
5
468
Masahiko Sakai
4
30
1
2
487
Chris Heunen
4
29
1
6
487
Pascal Poizat
4
29
2
4
487
James Chapman
1
29
3
2
487
Diego Latella
3
29
2
10
487
Jesús Medina
4
29
7
8
487
Matteo Cavaliere
3
29
5
7
487
Michael Leuschel
1
29
8
8
487
Manuel Ojeda-Aciego
4
29
4
9
487
Peter Harrison
5
29
4
12
487
Luiz Ga Martins
1
29
2
2
487
Lei Bu
2
29
2
3
487
Umberto Rivieccio
2
29
5
8
487
Christos Zaroliagis
2
29
6
8
487
Michele Loreti
5
29
2
8
487
Alexandre Mota
3
29
4
5
487
Rainer Hauser
1
29
1
2
487
Jochen Küster
1
29
3
1
487
Agustina Buccella
3
29
3
2
505
Ovidiu Radulescu
1
28
13
21
505
Claudio A. Ardagna
1
28
7
10
505
António Ravara
2
28
2
4
505
Rafael Caballero
4
28
2
2
505
Daniele Gorla
4
28
3
6
505
Francisco Javier Lopez Fraguas
5
28
2
3
505
Dario Della Monica
3
28
2
3
505
Lennart Beringer
2
28
2
3
505
Filippo Bonchi
5
28
3
6
505
Eric Madelaine
2
28
2
3
505
Stephanie Weirich
3
28
4
5
505
Paola Lecca
1
28
11
8
505
Felip Manyà
1
28
7
7
505
Marinella Petrocchi
5
28
2
12
505
Mark Hills
3
28
2
2
505
Alexandre Sztajnberg
3
28
2
1
505
Alain
5
28
4
7
505
Ibrahim Habli
1
28
8
9
505
Vincent Noel
1
28
4
5
505
Diletta Romana Cacciagrano
5
28
1
1
505
Adam Pocock
1
28
1
1
505
Haiou Shen
1
28
3
6
505
José Antonio Martín
2
28
1
2
505
Paraskevas Yiapanis
1
28
1
1
505
Marcel Oliveira
2
28
3
3
505
Gregor Engels
1
28
3
5
531
Ivan Mura
2
27
3
6
531
Wojciech Penczek
3
27
3
6
531
Ian Stark
6
27
2
3
531
Amy P Felty
3
27
2
3
531
Zurab Khasidashvili
4
27
2
2
531
Alexandre Madeira
7
27
2
3
531
Samuel Mimram
3
27
2
2
531
Javier Oliver
3
27
1
3
531
Andres Pablo Flores
2
27
1
3
531
Silva, J L
1
27
4
1
531
Simon John Thompson
2
27
2
4
531
Sjouke Mauw
4
27
2
8
531
David de Frutos-Escrig
3
27
2
3
531
Raul Gutierrez
2
27
2
2
531
Rohit Gheyi
3
27
3
6
531
Alessandro Abate
1
27
12
14
531
Gianluca Amato
6
27
1
4
531
Marie Duflot
1
27
2
3
531
Marco Comini
4
27
2
2
531
Frédéric Magniette
1
27
2
3
531
Martin Fränzle
1
27
3
9
531
Aris Lalos
2
27
4
9
531
David Basin
4
27
3
13
531
Jan Olaf Blech
4
27
2
3
531
Tom Chothia
1
27
2
3
531
Andrew Kennedy
1
27
2
2
531
Paul-André Melliès
2
27
2
4
531
Anderson Santana De Oliveira
2
27
1
1
560
Cinzia Cappiello
1
26
7
14
560
Haithem Mezni
1
26
9
6
560
Barbara Pernici
1
26
19
25
560
Marjan Mernik
3
26
8
23
560
Martín Hötzel Escardó
4
26
1
3
560
Stefan Wagner
2
26
10
11
560
Marco Comuzzi
1
26
12
12
560
Andre Takeshi Endo
1
26
3
3
560
Stefano Marrone
1
26
7
5
560
Martin Gogolla
1
26
5
4
560
Jan Van Eijck
1
26
7
5
560
Igor Walukiewicz
2
26
4
5
560
Shaz Qadeer
1
26
5
6
560
Paola Flocchini
2
26
9
15
560
Christoph Lüth
2
26
1
2
560
Cormac Flanagan
1
26
5
8
560
Eijiro Sumii
1
26
1
3
577
Ralf Hinze
1
25
5
4
577
Leen Lambers
1
25
6
6
577
Aart Middeldorp
3
25
6
9
577
Rafael H Bordini
2
25
4
11
577
George J Pappas
1
25
22
39
577
Sotiris Moschoyiannis
5
25
1
6
577
Francesca Scozzari
4
25
2
5
577
Paulo Tabuada
1
25
12
18
577
Dan R Ghica
2
25
1
3
577
Edward Hermann Haeusler
10
25
1
2
577
Alessandro Aldini
6
25
2
6
577
Charles Crichton
2
25
1
4
577
Eerke A Boiten
5
25
3
6
577
Paolo Torroni
2
25
4
14
577
Sascha Klüppelholz
2
25
2
3
577
Paolo Bottoni
4
25
3
5
577
Mark-Oliver Stehr
4
25
1
3
577
Peter Mcburney
3
25
5
14
577
Huiqing Li
1
25
2
2
577
Jarle Hulaas
2
25
1
1
577
Maurice Herlihy
2
25
7
14
599
Alexander S Kossatchev
2
24
2
2
599
Marco Gavanelli
2
24
5
6
599
Marco Faella
1
24
3
4
599
Andrew Butterfield
4
24
2
3
599
Jesus Arias Fisteus
1
24
5
5
599
Heribert Vollmer
2
24
11
15
599
Luc Engelen
1
24
2
1
599
Arvind Easwaran
2
24
6
9
599
George Barmpalias
2
24
12
7
599
Thierry Jeron
2
24
5
10
599
Philippe Massonet
1
24
5
5
599
Carlos Delgado Kloos
1
24
18
19
599
Marco Alberti
1
24
3
6
599
Corina Cirstea
4
24
1
3
599
Frank Pfenning
2
24
4
11
599
Alex Simpson
1
24
2
3
599
Herbert Wiklicky
3
24
2
4
616
Frank Piessens
2
23
6
11
616
Karim Djemame
2
23
4
8
616
André Platzer
3
23
2
10
616
Ana María Roldán Ruiz
4
23
1
1
616
Enrique Alfonso Sánchez Pérez
3
23
11
12
616
Pieter H Hartel
2
23
4
13
616
Zbigniew Kotulski
2
23
9
13
616
Matthew B Dwyer
1
23
9
12
616
Daniele Manini
3
23
2
2
616
Olivier Boissier
1
23
3
6
616
Christoph Benzmüller
3
23
2
9
616
Luca Paolini
4
23
3
4
616
Sofiene Tahar
3
23
4
13
616
Alexandre Goldsztejn
2
23
5
9
616
Renate A Schmidt
3
23
3
7
616
Xavier Delorme
1
23
11
13
616
Pedro Merino-Gomez
4
23
2
5
616
Radu Iosif
1
23
3
4
616
Gallardo, María-del-Mar
4
23
1
2
616
Xavier Gandibleux
1
23
7
13
616
Daniele Varacca
2
23
1
2
616
Robby
1
23
3
5
616
Sandro Etalle
2
23
3
4
616
Joaquin Rodriguez
1
23
7
7
616
Martin Odersky
1
23
4
9
616
John Maraist
1
23
1
2
642
Sasa Radomirovic
2
22
2
5
642
Battistina Venneri
4
22
2
6
642
Wan J Fokkink
4
22
5
16
642
Ricardo Fukasawa
1
22
6
7
642
Laura Giordano
1
22
10
11
642
Cliff B Jones
2
22
5
11
642
Jian Guo
1
22
1
1
642
Annabelle K Mciver
5
22
2
11
642
Alexandre F Petrenko
1
22
8
10
642
Ella E Roubtsova
3
22
4
1
642
Saeed Jalili
1
22
11
12
642
Jeremy Seligman
2
22
2
5
642
Rashid Mehmood
1
22
13
21
642
Manuel António Martins
5
22
2
4
642
Christophe Ringeissen
3
22
2
5
642
Emilio Tuosto
5
22
3
6
642
Wolfgang Jeltsch
1
22
2
1
642
Thais Webber
2
22
3
2
642
Eduardo Uchoa
1
22
11
15
642
Irene Mavrommati
1
22
5
2
642
Jianqi Shi
1
22
5
2
642
Adrian Riesco
5
22
2
3
642
Diego Garbervetsky
2
22
1
3
642
Juan Manuel Murillo
3
22
3
11
642
Dilian Gurov
3
22
2
4
642
Guido Rößling
6
22
2
2
642
Peter Van Roy
1
22
4
5
642
J Paul Gibson
1
22
3
3
642
Manuel A Martins
5
22
1
2
642
Hubert Baumeister
1
22
1
2
642
Arnd Poetzsch-Heffter
2
22
1
3
642
Narges Khakpour
1
22
3
3
642
Nishant Sinha
1
22
2
4
675
Ozan Kahramanogullari
2
21
2
2
675
Loïc Hélouët
3
21
1
1
675
Uli Fahrenberg
3
21
2
4
675
Geoff Sutcliffe
1
21
5
7
675
Michael Johnson
5
21
2
4
675
Enrico Tronci
3
21
3
8
675
Michael Fisher
2
21
10
28
675
Dimitrios S Kolovos
1
21
4
5
675
Richard F Paige
1
21
5
9
675
Pontus Johnson
1
21
11
15
675
Vincent van Oostrom
3
21
3
5
675
Alejandro Díaz-Caro
4
21
2
2
675
Mercè Llabrés
2
21
3
5
675
Erika Abraham
3
21
2
9
675
Ricardo M Czekster
2
21
2
2
675
Tiago Massoni
3
21
1
3
675
Pavel Parizek
3
21
2
2
675
Ulrik Franke
1
21
8
11
675
Alain Abran
1
21
18
21
675
Robert Lagerström
1
21
8
12
675
Marcello Bonsangue
7
21
2
6
675
Nuno Feixa Rodrigues
3
21
2
5
675
Martin Rinard
2
21
3
7
675
Martin Steffen
3
21
4
3
675
Mooly Sagiv
2
21
3
6
675
Alain April
1
21
2
3
675
Alexander Pretschner
1
21
4
4
675
Anne Remke
2
21
2
3
703
Premek Brada
4
20
2
2
703
Clémente Rubio-Manzano
1
20
7
3
703
Gilles Dowek
5
20
2
9
703
Alessandra Palmigiano
4
20
3
8
703
Dmitry Shkatov
1
20
5
6
703
Simin Nadjm-Tehrani
2
20
2
8
703
Maurice H Ter Beek
3
20
4
7
703
Nik Swoboda
1
20
2
5
703
Anne Verroust-Blondet
1
20
1
3
703
Goran Frehse
1
20
5
4
703
Sylvie Ratté
1
20
2
1
703
Giuseppe Lipari
3
20
4
10
703
J Strother Moore
1
20
3
9
703
Francesco Maria Donini
1
20
8
14
703
Vanesa Daza
2
20
4
6
703
Lucia Happe
2
20
2
4
703
Andrea Bracciali
5
20
2
6
703
Michele Ruta
1
20
8
8
703
Alan Bundy
2
20
5
10
703
Andreas Abel
2
20
2
4
703
Morgan Magnin
4
20
1
3
703
Thom Frühwirth
4
20
3
6
703
Olivier Danvy
3
20
8
12
703
Julia L Lawall
1
20
3
4
703
Victor Luchangco
1
20
2
4
703
Ellie D'hondt
3
20
1
2
703
Adriana Compagnoni
3
20
2
5
703
Jerry Den Hartog
1
20
1
1
703
David De Frutos Escrig
3
20
2
1
703
Mario Méndez-Lojo
1
20
1
2
703
Sriram Sankaranarayanan
1
20
1
1
703
Simon Parsons
2
20
8
18
703
Hayo Thielecke
1
20
1
1
736
Salvador Tamarit
1
19
4
2
736
Sebti Mouelhi
2
19
1
3
736
Ana Paula Lüdtke Ferreira
2
19
1
1
736
Carlos Areces
4
19
2
6
736
Moez Krichen
1
19
8
14
736
Tianzi Jiang
1
19
56
87
736
Yong Fan
1
19
21
48
736
Wim H Hesselink
2
19
8
11
736
Sebastian Link
6
19
2
18
736
Antonella Santone
2
19
11
30
736
Rena Bakhshi
1
19
2
5
736
Ibrahim Alzamil
1
19
2
2
736
Uwe Aßmann
2
19
4
4
736
Vladimir Mencl
1
19
1
1
736
Tom van Dijk
1
19
3
3
736
Joseph S Miller
1
19
12
13
736
Andrea Formisano
4
19
4
5
736
Lluis Godo
1
19
21
23
736
James Brotherston
2
19
3
3
736
Maria Luisa Villani
2
19
2
11
736
Sachio Hirokawa
2
19
6
5
736
Cezary Kaliszyk
1
19
5
6
736
Richard Kavanagh
1
19
4
2
736
Teresa Alsinet
1
19
5
5
736
James Skene
1
19
1
1
736
Ralf Huuck
4
19
1
1
736
Jean-Bernard Stefani
2
19
3
8
736
John Reppy
1
19
3
2
736
Sandra Sandri
1
19
3
3
736
Wolfgang Grieskamp
1
19
3
7
767
Konstantinos Moustakas
1
18
10
9
767
Constance Heitmeyer Or Connie Heitmeyer
2
18
3
8
767
Nuno Amálio
2
18
2
2
767
Jorge Sousa Pinto
5
18
2
4
767
Edgar Sarmiento
1
18
1
1
767
Alcino Cunha
3
18
2
4
767
Aleš Bizjak
2
18
1
2
767
Friedrich Martin Schneider
2
18
1
2
767
Antoine Miné
2
18
3
6
767
Ezio Bartocci
2
18
8
15
767
András Horváth
5
18
3
14
767
Petr Ročkai
2
18
2
3
767
Tatjana Petrov
4
18
2
4
767
Alejandro Zunino
1
18
19
24
767
Pascal Degenne
2
18
1
4
767
Giuseppe Castagna
1
18
2
5
767
Francesc A Rosselló
2
18
9
11
767
Andrew Fish
2
18
4
5
767
Eugenio Omodeo
3
18
1
5
767
Philippe Gaucher
4
18
1
3
767
Martin Lange
2
18
2
4
767
Bernhard Schätz
2
18
1
1
767
Matteo Casadei
2
18
1
4
767
Sabine Glesner
3
18
1
1
767
Michele Bugliesi
1
18
3
5
767
Peter Thiemann
3
18
2
6
767
Guina Sotomayor Alzamora
1
18
2
1
767
Sanjay Rawat
1
18
1
1
767
A Yakovlev
1
18
3
2
767
Damian Niwinski
1
18
4
3
797
Antonis C Kakas
1
17
7
12
797
Manfred Schmidt-Schauß
1
17
7
3
797
Ugo Dal Lago
2
17
7
10
797
Anne Koziolek
1
17
4
9
797
Joachim Niehren
1
17
9
11
797
Carmen Fernandez-Gago
2
17
2
9
797
Enrico Vicario
1
17
7
17
797
Antti Valmari
3
17
3
8
797
David Sabel
1
17
4
4
797
Alper Sen
2
17
2
6
797
Hamed Ghasemieh
1
17
1
1
797
Nicolas Troquard
1
17
5
4
797
Pedro De Oliveira
2
17
5
7
797
Joao Marques-Silva
1
17
10
14
797
Ali Movaghar
3
17
7
32
797
Enrico Franconi
1
17
4
9
797
Davide Ciucci
1
17
8
13
797
Kensuke Baba
1
17
5
2
797
Chris John Myers
2
17
7
24
797
Daniel Sadoc Menasché
1
17
4
6
797
Janet Anders
1
17
6
19
797
Dragan Mašulović
4
17
2
5
797
Daniel R Licata
1
17
4
4
797
Daniel Kl Oi
1
17
10
18
797
José Proença
2
17
3
4
797
Ivan Lanese
4
17
2
7
797
Daniel E Browne
1
17
7
13
797
Giuseppe Primiero
1
17
10
8
797
Reinhard Pöschel
1
17
3
2
797
David Delahaye
2
17
1
2
797
Christophe Joubert
4
17
2
2
797
Masahito Hasegawa
2
17
3
4
797
Gheorghe Stefanescu
1
17
5
4
797
John A Clark
2
17
1
12
797
Matko Botincan
1
17
1
1
797
Konstantinos Pouliasis
1
17
1
1
797
Gianpiero Cattaneo
1
17
8
9
797
Alberto Avritzer
1
17
3
5
797
Edward Crichton
1
17
1
1
797
Bijoy A Jose
2
17
1
1
797
Germán Puebla
4
17
2
11
797
Dave Clarke
2
17
4
8
797
José Luiz Fiadeiro
3
17
2
7
797
Stefan Leue
1
17
5
6
797
Steffen Becker
2
17
2
6
842
Paul G Spirakis
1
16
18
19
842
Fabio Zanasi
3
16
2
4
842
Gustavo Santos-García
1
16
5
13
842
Roberto Metere
1
16
2
3
842
David Deharbe
7
16
2
4
842
Pedro Quaresma
1
16
1
2
842
Fernando López Pelayo
2
16
3
5
842
Luis M B Lopes
3
16
1
4
842
Florentin Ipate
1
16
11
15
842
Predrag Janičić
2
16
3
4
842
Maria Paola Bonacina
2
16
4
9
842
Christian Skalka
3
16
1
3
842
Diego Cazorla
2
16
3
4
842
Olivia Das
1
16
1
2
842
Vasiliki Liagkou
1
16
3
3
842
Joanna van de Mortel-Fronczak
1
16
4
2
842
Marc Herbstritt
1
16
3
4
842
Marian Gheorghe
1
16
8
11
842
Ferhat Khendek
2
16
3
5
842
Ansgar Fehnker
3
16
2
6
842
Thierry Coquand
1
16
2
1
842
Davide Ancona
3
16
1
7
842
Paolo Milazzo
4
16
4
9
842
Luiz Gustavo Fernandes
1
16
8
8
842
Heinz Koeppl
3
16
4
24
842
Jan Carlson
2
16
3
4
842
Irina Trubitsyna
1
16
4
3
842
Sumit Kumar Jha
1
16
5
7
842
Tommaso Mazza
2
16
18
50
842
Graeme P Smith
5
16
3
6
842
Bruno Lopes
3
16
1
2
842
Stephen A Edwards
3
16
2
4
842
Victor V Kuliamin
2
16
3
3
842
João Pascoal Faria
1
16
4
2
842
Guido Wachsmuth
1
16
2
3
842
Jean-Philippe Bernardy
1
16
3
2
842
Nicolai Kuntze
1
16
1
1
842
Je Rooda
1
16
6
7
842
Sebastian Nanz
1
16
1
2
842
Paul Syverson
1
16
4
5
842
Deepak Garg
1
16
1
1
842
Eduardo Bonelli
4
16
1
3
842
Leonardo Brenner
1
16
1
1
842
Vijay K Garg
1
16
9
12
842
Elisavet Konstantinou
1
16
2
3
842
Yasir Shoaib
1
16
1
1
842
Charles Morisset
1
16
2
3
842
Daniele Turi
1
16
1
4
842
Elham Kashefi
2
16
5
15
842
Eran Yahav
1
16
3
3
842
Jason Franklin
1
16
1
1
842
Maciej Piróg
1
16
1
1
895
Lieven Desmet
1
15
3
4
895
Jan Strejček
5
15
2
3
895
Andrew W Appel
3
15
7
13
895
Maria João Varanda Pereira
2
15
2
5
895
Yann Thierry-Mieg
1
15
2
4
895
Vittorio Scarano
1
15
7
17
895
David C Walter
1
15
3
4
895
Sandra Alves
4
15
2
3
895
Oleg V Kudinov
1
15
3
2
895
Gabriel Valiente
1
15
12
13
895
Kanat Tangwongsan
1
15
3
3
895
Tetsuya Sato
2
15
1
2
895
Massimiliano Di Penta
1
15
11
13
895
Avelino F. Zorzo
2
15
2
8
895
Pieter Philippaerts
1
15
2
6
895
Dariusz Biernacki
4
15
3
5
895
Horacio Legal-Ayala
2
15
1
4
895
Wen Zeng
1
15
1
1
895
Theodore S Norvell
2
15
1
1
895
María Rosa Galli
1
15
1
2
895
Andrei Arusoaie
2
15
3
3
895
Pedro Rangel Henriques
2
15
4
4
895
Abdelwahab Hamou-Lhadj
1
15
3
4
895
Michael Hanus
6
15
2
12
895
Vladimir V Rybakov
1
15
13
9
895
Leo Motus
1
15
2
1
895
Norbert Pataki
3
15
1
1
895
Alexandre Rademaker
2
15
3
2
895
Paolo Ciancarini
1
15
16
21
895
Arne Meier
1
15
7
5
895
Jasmin Christian Blanchette
2
15
3
3
895
Uwe Nestmann
3
15
3
5
895
Carlos Manuel Toledo
1
15
1
2
895
José Luis Vázquez Noguera
2
15
1
6
895
Petr Svenda
1
15
4
2
895
Adam Wierzbicki
1
15
8
14
895
Jerome Hugues
1
15
4
5
895
Björn Victor
1
15
1
2
895
Andrea Vitaletti
1
15
5
10
895
Gabriele Keller
1
15
6
5
895
Agostino Dovier
3
15
4
13
895
Diego P Pinto-Roa
2
15
1
4
895
Omar Chiotti
1
15
7
8
895
Fausto Spoto
2
15
4
8
895
Vivek Nigam
2
15
1
6
895
Ahmed Khoumsi
2
15
2
2
895
Karl Trygve Kalleberg
2
15
1
4
895
Rosario De Chiara
1
15
2
3
895
Chris Tofts
1
15
3
4
895
Dimitar P Guelev
2
15
3
3
895
Dmitry Tishkovsky
1
15
2
1
895
Fabrice Kordon
1
15
2
3
895
Luc Maranget
1
15
3
6
895
Wolfgang Thomas
1
15
6
8
895
Merik Meriste
1
15
1
2
895
Gopalan Nadathur
2
15
3
8
895
Matthias Blume
1
15
2
4
895
Scott Little
1
15
1
2
895
Paul Feautrier
1
15
5
7
955
Benjamin Aziz
2
14
2
7
955
Rudolf Schlatte
4
14
2
8
955
Viviana Patti
1
14
4
11
955
Ina Schieferdecker
2
14
3
10
955
Benjamin Braatz
4
14
2
2
955
Matthew Forshaw
4
14
1
4
955
Jacir Luiz Bordim
1
14
5
2
955
Rodrigo De M S Veras
1
14
7
7
955
Adelardo A D Medeiros
1
14
1
2
955
Sławomir Lasota
3
14
3
7
955
Fernando Luís Dotti
2
14
2
3
955
Roopak Sinha
3
14
2
8
955
Miklós Telek
3
14
6
12
955
Valeria de Paiva
5
14
2
8
955
Marco Paviotti
1
14
2
2
955
Doron Drusinsky
1
14
3
1
955
Margherita Zorzi
1
14
7
6
955
Laurence Tratt
2
14
2
11
955
Willibald Krenn
1
14
1
2
955
Andras Pataricza
2
14
3
7
955
James F Power
2
14
1
5
955
Robin Kaarsgaard
3
14
2
3
955
Alexander Kurz
3
14
2
3
955
Benoit Gaudou
1
14
4
13
955
Guido Sciavicco
3
14
4
13
955
Maher Alharby
1
14
1
3
955
Colin Fidge
3
14
3
22
955
Isabella Mastroeni
2
14
3
7
955
Clara Segura
4
14
2
2
955
Axel Jantsch
1
14
14
15
955
Peter Herrmann
1
14
7
8
955
Henri Hansen
1
14
3
3
955
Ingo Sander
1
14
5
3
955
Martin Sulzmann
2
14
3
6
955
Thomas Schneider
2
14
1
1
955
Tim Sheard
1
14
2
3
955
Alwen Tiu
1
14
2
3
955
Mila Dalla Preda
2
14
3
5
955
Guillaume Hoffmann
1
14
3
3
994
Sara Capecchi
2
13
3
7
994
Danel Ahman
2
13
2
2
994
Anya Helene Bagge
2
13
2
2
994
Martin A Ziegler
2
13
4
8
994
Silvio Ranise
4
13
2
14
994
Anil Wipat
1
13
9
20
994
Ali Kamandi
1
13
2
2
site/software ©
exaly
; All materials licenced under
CC by-SA
.