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
›
International Journal on Software Tools for Technology Transfer
›
top-authors
International Journal on Software Tools for Technology Transfer
1.9
(top 20%)
impact factor
916
(top 20%)
papers
20.4K
(top 10%)
citations
57
(top 10%)
h
-index
2.1
(top 20%)
extended IF
976
all documents
21.9K
doc citations
117
(top 10%)
g
-index
Top Authors (by citations)
#
Author
Articles
Citations
R ARank
R CRank
1
Kim G Larsen
11
2,072
2
2
2
Paul Pettersson
3
1,613
3
1
3
Wang Yi
2
1,578
3
1
4
Kurt Jensen
7
1,105
2
1
5
Klaus Havelund
11
877
2
2
6
Michael Butler
3
810
5
2
7
Dirk Beyer
8
585
2
2
8
Thai Son Hoang
2
522
5
1
9
Stefan Hallerstede
1
518
2
1
9
Laurent Voisin
1
518
2
1
9
Farhad Mehta
1
518
1
1
12
Marta Kwiatkowska
4
505
4
2
12
David Parker
4
505
3
2
12
David Parker
4
505
3
2
15
Gethin J Norman
4
498
4
2
16
Marco Roveri
1
467
5
2
16
Alessandro Cimatti
1
467
11
3
16
Edmund Clarke
1
467
1
1
19
Ranjit Jhala
1
426
3
1
20
Gary T Leavens
2
423
7
1
21
Sergio Yovine
2
421
3
3
22
Erik Poll
1
414
3
1
22
Yoonsik Cheon
1
414
2
1
24
Alexandre David
4
412
2
2
25
Tiziana Margaria
17
402
2
2
26
Danny Bøgsted Poulsen
3
390
2
1
27
Marius Mikučionis
2
387
2
1
28
Axel Legay
2
362
2
2
29
Michael Leuschel
4
349
4
2
30
Grigore Roşu
3
304
4
3
31
Willem Visser
4
296
3
3
32
Moshe Y Vardi
6
270
2
3
33
Lars M Kristensen
2
245
1
1
34
Armin Biere
3
241
6
5
35
Thierry Jeron
3
238
2
2
36
Claude Jard
1
230
5
1
37
Yliès Falcone
9
223
2
3
38
Stefan Leue
5
204
2
1
39
Holger Hermanns
5
200
2
4
40
Aarti Gupta
1
192
2
1
41
Goran Frehse
2
181
3
2
42
Dongyun Jin
1
176
1
1
43
Lothar Thiele
3
172
5
9
43
Ofer Strichman
4
172
3
3
45
Daniel Kroening
5
169
3
5
46
Ina Schaefer
3
168
2
4
47
Alberto Lluch Lafuente
3
163
3
2
48
Orna Kupferman
2
158
7
4
49
Marcel Verhoef
2
154
1
1
49
Ernesto Wandeler
1
154
1
1
51
Laurent Mounier
3
153
2
2
52
Goetz Botterweck
2
152
2
1
53
Wil M P Van Der Aalst
6
148
10
37
53
Håkan L S Younes
1
148
2
2
55
Rick Rabiser
2
146
4
4
56
Arend Rensink
2
142
5
3
57
Hongyang Qu
2
134
1
1
57
Franco Raimondi
2
134
1
2
59
Alessio Lomuscio
1
132
8
3
60
Lorenzo Bettini
1
129
8
2
60
Joost-Pieter Katoen
7
129
3
9
60
David Benavides
1
129
9
5
60
Dave Clarke
1
129
6
2
64
Maarten De Mol
1
125
1
1
64
Eduardo Zambon
1
125
2
1
66
Ernst Moritz Hahn
1
124
3
2
67
Stefan Naujokat
5
118
2
2
68
Rajeev Alur
4
115
3
5
69
Alessandro Armando
2
113
5
3
70
Bernhard Rumpe
2
111
7
7
70
Sven Schewe
2
111
4
2
72
Ileana Ober
4
109
2
2
72
Susanne Graf
4
109
2
2
74
Iulian Ober
3
108
2
2
75
Patrick Heymans
2
104
2
4
76
Tevfik Bultan
3
103
3
3
77
Bernd Finkbeiner
2
101
2
2
78
Ina Schieferdecker
5
97
2
3
79
Rolf Drechsler
4
96
7
5
80
André Platzer
3
95
2
5
80
Radek Pelánek
2
95
5
4
80
Stefan Mitsch
3
95
2
2
83
Pierre-Yves Schobbens
2
93
4
5
83
Oded Maler
2
93
3
3
85
Philipp Wendler
1
92
2
2
85
Stefan Löwe
1
92
1
1
87
Maxime Cordy
2
90
3
2
87
Mary Shaw
1
90
8
8
87
Andreas Classen
1
90
2
3
90
Laure Petrucci
3
89
2
2
91
Sean Sedwards
3
88
2
2
92
Holger Giese
3
87
4
4
93
John Hatcliff
3
86
2
4
94
Dejan Ničković
1
85
2
3
94
Bernhard Steffen
5
85
2
2
96
Adolfo Villafiorita Monteleone
1
83
4
1
96
Marco Bozzano
1
83
5
3
96
Alessandro Marchetto
5
83
1
1
96
Giles Reger
2
83
2
2
100
Matthew B Dwyer
5
82
4
8
100
Malte Isberner
4
82
2
2
102
Gianfranco Ciardo
5
81
4
10
103
Marie Duflot
1
79
2
1
104
Patricia Bouyer
2
78
6
5
105
Lucas Cordeiro
4
75
2
3
105
Sumit Gulwani
2
75
4
6
107
Marieke Huisman
8
71
2
3
108
Filippo Ricca
4
69
3
5
108
Ezio Bartocci
4
69
2
7
110
Simona Orzan
2
67
2
2
110
Stefan Blom
2
67
3
3
112
Robby
3
65
2
2
112
Jaco Van De Pol
3
65
3
2
114
Hans Hansson
1
64
3
4
114
Alain
1
64
7
4
114
Sébastien Bardin
1
64
2
2
117
Mieke Massink
2
63
4
4
117
Diego Latella
2
63
5
5
117
Vincenzo Ciancia
2
63
3
2
117
Louis-Marie Traonouez
3
63
2
2
117
Jan Tretmans
1
63
2
3
117
Sarfraz Khurshid
3
63
4
7
123
Matthias Volk
2
61
2
3
123
Jean-Christophe Filliâtre
2
61
2
3
125
Enrico Vicario
1
60
7
6
125
Laura Carnevali
1
60
3
2
125
Giacomo Bucci
1
60
1
1
128
Roderick Bloem
2
59
4
6
128
Marsha Chechik
3
59
5
6
128
Robert Könighofer
2
59
2
2
131
Anton J Wijs
4
58
2
2
131
Saurabh Srivastava
1
58
2
1
131
Jeffrey S Foster
1
58
6
3
134
Enrico Tronci
3
57
3
2
134
Giuseppe Della Penna
2
57
4
1
136
Tim Quatmann
1
55
2
2
136
Pedro R D'argenio
2
55
5
7
136
Sebastian Junges
1
55
3
3
139
Tom van Dijk
2
54
2
2
139
Kristin Yvonne Rozier
1
54
2
4
139
Minseok Song
1
54
14
11
139
Matthias Tichy
2
54
3
3
139
Benoît Delahaye
2
54
2
2
139
Falk Howar
3
54
3
3
139
Albert Zündorf
1
54
1
1
139
Kristin Y Rozier
1
54
3
4
147
Aleksandar S Dimovski
4
53
2
3
147
Paolo Tonella
2
53
11
13
149
Robert Marmorstein
1
52
1
2
149
Thomas Arts
3
52
1
4
151
Lukas Holik
3
51
2
2
151
Dirk Leinenbach
1
51
1
1
153
Insup Lee
2
50
3
8
153
Arne Skou
2
50
1
2
155
Steve Schneider
2
49
7
8
155
Georgios Fainekos
1
49
4
7
155
Helen Treharne
2
49
5
3
155
Peter Y H Wong
2
49
2
2
159
Yvan Labiche
1
48
9
11
159
Alessio Ferrari
3
48
3
5
159
Boudewijn R Haverkort
2
48
6
8
159
Eugen Zalinescu
1
48
2
3
159
Christian Colombo
1
48
3
3
159
Jean-Francois Raskin
3
48
5
6
159
Daniel Varro
3
48
4
5
159
Borzoo Bonakdarpour
1
48
4
3
159
Reed Milewicz
1
48
1
1
159
Yogi Joshi
1
48
1
1
159
Scott A Smolka
3
48
1
4
170
Nikos Arechiga
1
47
1
1
170
Jan-David Quesel
1
47
2
2
172
Ulrik Mathias Nyman
4
46
1
2
173
Wolfgang Marquardt
1
45
36
37
173
Keijo Heljanko
2
45
7
7
173
Arie Gurfinkel
3
45
3
4
173
Ait Ameur Yamine
3
45
2
2
173
Elsa L Gunter
2
45
1
1
178
Joel Ouaknine
2
44
4
6
178
Saswat Anand
1
44
1
2
180
Jan Peleska
2
43
3
4
181
Giorgio Delzanno
4
42
2
3
181
Ahmed Bouajjani
3
42
2
4
183
Gianluca Grilletti
1
41
2
1
183
Wolfgang Reif
2
41
3
4
183
Michele Loreti
1
41
8
6
183
Scott D Stoller
1
41
1
2
187
Alessio Ferrari
2
40
6
11
187
Sergiy Bogomolov
3
40
2
2
187
Maurice H Ter Beek
5
40
2
5
187
Erez Zadok
1
40
2
2
191
Rudolf Schlatte
1
39
3
4
191
Dmitriy Traytel
2
39
3
3
191
Srđan Krstić
2
39
2
3
191
Étienne André
1
39
4
4
191
Francesco Flammini
2
39
5
7
191
José Proença
1
39
4
2
191
Jörg Pfähler
1
39
3
2
191
Radu Muschevici
1
39
2
2
191
Mickaël Baron
2
39
2
1
200
Nestor Cataño
1
38
4
2
200
Atul Gupta
1
38
3
2
200
camilo Rueda
1
38
5
4
200
Faron Moller
1
38
8
7
200
Markus Roggenbach
1
38
7
4
200
Hoang Nga Nguyen
1
38
3
2
200
Rosemary Monahan
2
38
2
2
200
Rocco De Nicola
2
38
9
15
200
Tim Wahls
1
38
1
1
200
Vladimir Klebanov
2
38
2
2
200
Ulrik Nyman
3
38
2
2
200
Stefan Kowalewski
1
38
1
2
200
Brian Nielsen
2
38
1
2
213
Venkatesh-Prasad Ranganath
2
37
2
5
213
Sven Schneider
3
37
2
2
213
Stefania Gnesi
4
37
4
13
213
Claus Pahl
1
37
12
11
213
Amel Mammar
3
37
3
4
213
Regine Laleau
3
37
3
4
219
Gerard J Holzmann
1
36
4
4
219
Tomas Vojnar
4
36
3
4
219
Georg Hofferek
1
36
2
3
222
Randal E Bryant
2
35
2
6
222
Zhihao Jiang
1
35
3
3
222
Gábor Bergmann
2
35
3
4
222
Miroslav Pajic
1
35
10
11
222
Thomas Gibson-Robinson
2
35
2
2
222
Pedro Merino-Gomez
4
35
2
3
222
Gallardo, María-del-Mar
3
35
2
1
222
Zhihao Jiang
1
35
1
3
222
Daniel Plagge
1
35
2
3
222
Ketil Stølen
2
35
2
4
222
Adnan Causevic
1
35
1
1
222
Sven Jörges
1
35
2
1
234
Leonardo Mariani
3
34
5
8
234
Paolo Arcaini
2
34
3
5
234
François Bobot
1
34
2
2
234
Claude Marché
1
34
2
1
234
Bruno Legeard
3
34
2
5
234
Tayssir Touili
3
34
3
3
234
Andrei Paskevich
1
34
2
2
234
Kavita Ravi
1
34
1
2
242
Jiri Srba
4
33
2
2
242
Enea Zaffanella
1
33
7
6
242
Vladan B Devedžić
1
33
12
17
242
Roberto Bagnara
1
33
6
6
242
Aurora C Schmidt
2
33
1
2
242
Martin Leucker
2
33
3
5
242
María Del Mar Gallardo
2
33
1
2
242
Aurora Schmidt
2
33
1
1
250
AndreA Orlandini
1
32
7
10
250
Gencer Erdogan
1
32
1
1
250
Jean-Baptiste Jeannin
1
32
2
2
253
Leen Lambers
2
31
4
5
253
Taylor T Johnson
2
31
4
9
253
Fabrice Bouquet
1
31
3
1
253
Awny Alnusair
1
31
2
1
253
Fernando Orejas Valdes
2
31
8
8
253
Bernhard K Aichernig
2
31
4
6
253
Lydia E Kavraki
1
31
28
42
253
Elizabeta Fourneret
1
31
1
1
261
Andrew Wiliam Roscoe
1
30
2
2
261
Konstantinos Sagonas
4
30
2
5
261
Klaus Schmid
1
30
6
7
261
András Horváth
1
30
8
7
261
Holger Eichelberger
1
30
3
2
261
Damian Sulewski
1
30
2
1
261
Alexandre Boulgakov
1
30
2
2
261
Alan Wassyng
2
30
2
2
261
Somsak Vanit-Anunchai
3
30
2
2
270
Christel Baier
4
29
2
7
270
Ansgar Fehnker
1
29
6
5
270
Nancy A Day
1
29
4
3
270
David Arney
1
29
2
4
270
Ruth Breu
3
29
2
6
275
Ali Ebnenasir
1
28
2
1
275
Agostino Cortesi
1
28
20
8
275
Thomas Noll
3
28
3
5
275
Pietro Ferrara
1
28
3
3
275
Saddek Bensalem
2
28
2
2
275
Nir Piterman
3
28
2
13
275
Liam Peyton
2
28
3
6
275
Fausto Spoto
1
28
8
5
275
Marius Bozga
1
28
2
3
275
Amit Kr Mandal
1
28
1
1
275
Cyrille Jegourel
1
28
2
2
286
Claus Brabrand
1
27
3
5
286
Ahmad Salim Al-Sibahi
1
27
2
1
286
Massimiliano de Leoni
1
27
7
10
286
Jan Kofroň
3
27
1
1
286
Andrzej Wąsowski
1
27
2
2
286
Martin Wirsing
1
27
6
7
286
Barbara Jobstmann
1
27
3
5
286
Rastislav Bodik
1
27
3
4
286
Peter Habermehl
1
27
5
3
286
Alfredo Bolt
1
27
1
2
296
Elvinia Riccobene
1
26
9
7
296
Khaled El-Fakih
1
26
6
5
296
Nina Yevtushenkoo
1
26
3
2
296
Angelo Gargantini
1
26
8
11
296
Alexander Knapp
3
26
2
2
296
Natalia G Kushik
1
26
3
2
296
Arnd Hartmanns
2
26
2
3
296
Dilian Gurov
2
26
4
2
296
Anders P Ravn
2
26
3
4
296
Sylvain Peyronnet
2
26
2
3
296
Nina Yevtushenko
1
26
7
6
296
Ekkart Kindler
1
26
2
4
308
Franco Mazzanti
1
25
3
5
308
Jens Grabowski
4
25
1
4
308
Pascal Raymond
2
25
3
3
311
Rudolf Ramler
1
24
4
4
311
Petr Hnětynka
2
24
4
3
311
Ernesto Pimentel
1
24
11
12
311
Shengchao Qin
2
24
5
6
311
Tomáš Bureš
2
24
5
5
311
Jesús Martínez
1
24
1
1
311
Andreas Stahlbauer
1
24
1
1
311
Thomas Reps
3
24
6
12
311
Cristian Gherghina
2
24
1
1
311
Yoad Lustig
1
24
1
1
321
Jun Kawahara
1
23
4
2
321
Nicola Mazzocca
1
23
16
17
321
Gul Agha
2
23
3
9
321
Guillermo A Pérez
1
23
4
2
321
Emanuela Merelli
1
23
8
9
321
Shin-ichi Minato
1
23
4
2
321
Anatoly Shalyto
1
23
7
7
321
Ruediger Ehlers
1
23
3
4
321
Swen Jacobs
1
23
3
4
321
Martin Fränzle
1
23
3
10
321
Vladimir Ulyantsev
1
23
5
5
321
Takeru Inoue
1
23
6
7
321
Stefano Marrone
1
23
7
7
321
Igor Buzhinsky
1
23
3
4
321
Jaco C Van De Pol
4
23
3
5
321
Roberto Nardone
1
23
5
7
321
Valeria Vittorini
1
23
3
10
321
Romain Brenguier
1
23
1
2
321
Sebastian Gerwinn
1
23
2
1
321
Mahesh Viswanathan
2
23
3
4
321
Leonid Ryzhyk
1
23
2
2
321
Christian Ellen
1
23
1
1
321
Adam Walker
1
23
1
1
321
Hiroaki Iwashita
1
23
1
1
345
Paolo Zuliani
1
22
6
9
345
Gergely Mezei
1
22
3
2
345
Tamás Mészáros
1
22
2
1
345
Fabrizio Fbb Banci Buonamici
1
22
4
6
345
Lars Åke Fredlund
1
22
3
3
345
Gina Belmonte
1
22
2
2
345
Tihamér Levendovszky
1
22
5
4
345
Mads Dam
1
22
4
4
353
Oleg Sokolsky
1
21
6
10
353
Daniël Reijsbergen
1
21
4
5
353
Alain Girault
1
21
3
5
353
Reiner Hähnle
4
21
3
12
353
Daniel Lohmann
1
21
7
4
353
Christian Dietrich
1
21
3
1
353
Stephan Windmüller
1
21
1
1
353
Jun Sun
2
21
5
12
353
Krishnendu Chatterjee
1
21
14
13
353
Werner R W Scheinhardt
1
21
8
7
353
Moreno Falaschi
1
21
8
8
353
MarÍa Alpuente
1
21
9
8
353
Hamoudi Kalla
1
21
1
1
353
Sascha Klüppelholz
2
21
2
4
353
Zoubeyr Farah
1
21
1
1
353
Richard Bubel
3
21
2
3
353
Reinhard Tartler
1
21
1
1
353
Julio Sincero
1
21
1
1
353
Johannes Neubauer
1
21
2
1
353
Guanhua He
1
21
4
2
373
Clemens Dubslaff
1
20
2
3
373
Adenilso Simao
1
20
8
8
373
Alexandre F Petrenko
1
20
8
11
373
Jakob Grue Simonsen
1
20
2
3
373
Jos\u00e9 Carlos Maldonado
1
20
6
8
373
István Ráth
1
20
3
4
373
Akos Horvath
1
20
9
15
373
Akos Horvath
1
20
3
6
373
Joachim Klein
1
20
2
3
373
Fritz Henglein
1
20
3
4
373
Steffen Märcker
1
20
1
1
373
Hiroshi Hosobe
1
20
1
1
373
Frédéric Boniol
2
20
2
3
373
Christian Stefansen
1
20
1
1
373
Kazunori Ueda
1
20
3
3
373
Alessandra Gorla
1
20
2
1
373
Daisuke Ishii
1
20
2
1
390
Yang Liu
2
19
12
44
390
Hanifa Boucheneb
1
19
3
4
390
Martin Nowack
1
19
2
1
390
H Mw Verbeek
1
19
4
10
390
Cristian Cadar
1
19
2
5
390
Ricardo J Machado
1
19
10
8
390
Sofiene Tahar
2
19
10
17
390
Petr Ročkai
2
19
2
2
390
Jan Friso Groote
2
19
7
15
390
Roderick Chapman
1
19
3
5
390
Patrícia Ribeiro Pinto
1
19
5
8
390
Martin Nordio
2
19
2
3
390
Anne E Haxthausen
1
19
3
5
403
Aurora Pozo
1
18
9
12
403
Gilles Dowek
1
18
6
10
403
Sriram Sankaranarayanan
3
18
3
9
403
Filip Krijt
1
18
1
1
403
Ilias Gerostathopoulos
1
18
3
4
403
Stavros Tripakis
2
18
6
18
403
Twan Basten
2
18
8
16
403
Mohamed Jmaiel
1
18
2
5
403
Nuno P Lopes
1
18
3
3
403
John Derrick
2
18
6
14
403
Jerome Hugues
1
18
4
4
403
Jose C A P Monteiro
1
18
9
7
403
Radu Iosif
1
18
3
6
403
Eric Bodden
1
18
5
8
403
Joachim Böcker
1
18
7
8
403
Michael Dellnitz
1
18
16
27
403
Erwan Jahier
1
18
2
1
403
Silvia Regina Vergilio
1
18
2
5
403
Jacques Verriet
2
18
1
2
403
Mark Lawford
1
18
4
3
403
Martijn Hendriks
2
18
1
2
403
Hana Mkaouar
1
18
1
1
403
Bechir Zalila
1
18
2
2
427
Pieter Van Gorp
1
17
9
11
427
Sebastian Krings
1
17
3
2
427
Philipp Körner
1
17
3
2
427
Jean-Marc Jézéquel
1
17
10
13
427
Simin Nadjm-Tehrani
1
17
5
11
427
Paul Grünbacher
1
17
10
11
427
Sagar K Sen
1
17
4
7
427
Damiano Distante
2
17
2
7
427
Yania Crespo
1
17
3
4
427
Deepak Kapur
1
17
3
3
427
Tom Mens
1
17
12
16
427
Alain Denise
1
17
4
8
427
Javier Pérez
1
17
1
4
427
Deepak Kapur
1
17
8
15
427
Wolfgang Heider
1
17
1
2
427
Marie-Claude Gaudel
1
17
2
4
427
Martin Wehrle
2
17
1
1
427
Sagar Sen
1
17
3
5
427
Ankur Taly
1
17
1
3
427
Naouel Moha
1
17
2
5
447
Stefano Quer
4
16
1
6
447
Silvio Ranise
2
16
7
13
447
Carlos E Budde
1
16
4
4
447
Bernard Berthomieu
1
16
2
2
447
Mario Luca Bernardi
1
16
5
13
447
Alessandro Fantechi
1
16
3
8
447
Mark Harman
1
16
20
28
447
Silvano Dal Zilio
1
16
4
3
447
Alexandre Chapoutot
1
16
4
2
447
Clara Benac-Earle
1
16
2
2
447
Alex Groce
1
16
6
10
447
Andreas Müller
1
16
2
2
447
Wen Su
1
16
1
1
447
Jervis Pinto
1
16
2
2
447
Pranjal Mittal
1
16
1
1
447
Josie Holmes
1
16
1
1
447
Roberto Tiella
1
16
1
3
447
Clara Benac Earle
1
16
1
2
447
Anca Muscholl
1
16
4
5
447
Nadia Alshahwan
1
16
1
2
447
Patrice Chalin
1
16
4
2
447
Wieland Schwinger
1
16
2
7
470
Diego Calvanese
1
15
16
22
470
James Woodcock
2
15
7
13
470
Mohammadsadegh Dalvandi
1
15
1
1
470
Colin Snook
1
15
3
4
470
Dana Dghaym
1
15
3
3
470
Ruzica Piskac
1
15
3
5
470
Oszkár Semeráth
1
15
3
3
470
Giorgio Oronzo Spagnolo
1
15
2
3
470
Marco Montali
1
15
8
11
470
Sébastien Gérard
1
15
7
8
470
Carlo A Furia
1
15
3
5
470
Roberto Carbone
1
15
4
4
470
Nancy Ann Lynch
1
15
5
10
470
Christian Schilling
1
15
2
2
470
Chryssis Georgiou
1
15
6
11
470
Mikaël Mayer
1
15
1
1
470
Luan Viet Nguyen
1
15
1
3
470
Ranko Lazic
3
15
1
5
470
Michael Poppleton
1
15
1
1
470
Philippe Suter
1
15
2
3
490
Michael Ferdman
1
14
2
5
490
Gianpiero Cabodi
3
14
6
8
490
Cristinel Mateis
2
14
2
2
490
Alfons Laarman
1
14
3
3
490
Laura M M Castro
1
14
3
1
490
Markus Schordan
2
14
2
2
490
Pierre-Henri Wuillemin
1
14
5
6
490
Henri Hansen
1
14
3
3
490
Laura M Castro
1
14
3
1
490
Quentin Boucher
1
14
1
2
490
Simon Perathoner
1
14
2
2
490
Kai Lampka
1
14
2
4
490
Shenghsun Cho
1
14
1
1
490
Virginie Wiels
1
14
1
2
504
András Vörös
1
13
3
3
504
Daniel Große
2
13
4
7
504
Gabriele Taentzer
2
13
4
7
504
Stefano Russo
1
13
14
20
504
Michael Codish
1
13
9
10
504
Thomas Gabor
1
13
1
2
504
Roberto Pietrantuono
1
13
7
14
504
Márton Búr
1
13
2
2
504
Harry M Sneed
1
13
2
5
504
Shmuel Tyszberowicz
1
13
3
2
504
Luboš Brim
1
13
5
11
504
Lenz Belzner
1
13
1
2
504
Marie Kiermeier
1
13
1
1
504
Thomy Phan
1
13
1
2
504
Amiram Yehudai
1
13
1
1
504
Andreas Sedlmeier
1
13
1
1
504
Gabriella Carrozza
1
13
1
2
504
Bart Demoen
1
13
5
5
522
Monika Jaskolka
1
12
1
1
522
Richard O Sinnott
1
12
15
34
522
Jocelyn Simmonds
1
12
3
6
522
Paul Curzon
1
12
7
10
522
Alexandre Duret-Lutz
2
12
2
2
522
Franco Zambonelli
1
12
19
35
522
Patrizia Scandurra
1
12
4
10
522
Paul Molitor
1
12
7
8
522
Vera Pantelic
1
12
1
4
522
Nadjet Kamel
1
12
7
10
522
Marco Mamei
1
12
8
20
522
Nicola Bicocchi
1
12
3
9
522
Hernan Ponce De Leon
1
12
2
2
522
Shaz Qadeer
2
12
3
7
522
Philipp Zech
2
12
1
5
522
Sharad Malik
1
12
3
11
538
Jan Strejček
2
11
3
4
538
Steffen Herbold
2
11
4
5
538
Richard Banach
1
11
5
3
538
Andrew Butterfield
1
11
4
4
538
Alcino Cunha
1
11
5
5
538
Stylianos Basagiannis
1
11
3
5
538
Peter Gorm Larsen
2
11
4
12
538
Nuno Macedo
1
11
3
4
538
Jacob A Abraham
1
11
11
11
538
Doron A Peled
2
11
3
4
538
Lei Bu
1
11
4
6
538
Rolf Ernst
1
11
5
9
538
Ana C R Paiva
1
11
6
7
538
João Pascoal Faria
1
11
4
3
538
Marek Chalupa
2
11
2
2
538
Rolf Ernst
1
11
4
10
538
Frank Van Ham
1
11
4
4
538
Alessandro Maggi
1
11
1
1
538
Akash Lal
1
11
2
3
538
Shobha Vasudevan
1
11
2
4
538
Marcus Nilsson
1
11
2
2
559
Dominik Wojtczak
1
10
2
3
559
Tijs Slaats
1
10
4
8
559
David Deharbe
1
10
5
5
559
Christoffer Olling Back
1
10
2
2
559
Frank Stephan
1
10
15
21
559
Muddassar Azam Sindhu
1
10
3
4
559
Felipe Gorostiaga
1
10
2
2
559
Avi Ziv
2
10
1
2
559
Davide Basile
2
10
2
6
559
Thomas Hildebrandt
1
10
3
7
559
John Fearnley
1
10
5
5
559
Mark Timmer
1
10
3
3
559
Louise A Dennis
1
10
8
16
559
Stijn de Gouw
1
10
3
4
559
Cesar Sanchez
1
10
4
4
559
Westley Weimer
1
10
6
11
559
Sanjay Jain
1
10
8
9
559
Bart De Keijzer
1
10
3
3
559
Cindy Eisner
1
10
3
3
559
Miguel Gómez-Zamalloa
1
10
3
5
559
Julian Dolby
1
10
4
6
559
Mandana Vaziri
1
10
1
3
559
Konrad Slind
1
10
2
5
559
Orna Grumberg
3
10
2
3
559
Karl Meinke
1
10
2
3
584
Roberto Passerone
1
9
11
24
584
Johann L Hurink
1
9
17
30
584
Alan Mycroft
1
9
5
7
584
Amit Gurung
1
9
1
2
584
Milan Ceska
1
9
2
6
584
Herbert Rocha
1
9
2
2
584
Ondřej Lengál
1
9
3
2
584
Antti Valmari
2
9
4
10
584
David N Jansen
1
9
2
6
584
Peter Gjøl Jensen
2
9
2
4
584
David Sanan
1
9
3
6
584
Vojtěch Havlena
1
9
2
3
584
Ohad Shacham
1
9
1
2
584
Michael Emmi
1
9
2
3
584
Vineet Kahlon
1
9
2
2
584
Luka Le Roux
1
9
1
1
584
Philippe Dhaussy
1
9
2
3
601
Frank Piessens
2
8
6
17
601
Vinicius Garcia
1
8
2
7
601
Insoo Koo
1
8
22
29
601
Yu Lei
1
8
3
5
601
Bor-Yuh Evan Chang
1
8
4
4
601
Walter Binder
1
8
5
8
601
Emmanuel Filiot
1
8
5
6
601
Vladimir V Shakhov
1
8
3
9
601
Dogan Ulus
1
8
2
3
601
Pavel Jezek
1
8
2
3
601
Malte Mues
1
8
2
2
601
Zheng Cheng
1
8
3
3
601
Laura Panizo Jaime
2
8
2
4
601
Ulrike Golas
1
8
5
9
601
Natasha Sharygina
3
8
3
5
601
Jianqi Shi
1
8
5
5
601
Luciano Lavagno
1
8
10
12
601
Mohamad Jaber
2
8
2
7
601
Mourad Debbabi
2
8
10
24
601
Huixing Fang
1
8
1
2
601
Marie-Christine Jakobs
2
8
2
3
601
Jozef Hooman
1
8
3
6
601
Stefan Tiran
1
8
1
2
601
Margus Veanes
1
8
6
9
601
Florian Lorber
1
8
1
2
601
Thomas Ferrère
1
8
2
2
601
Olivier Lebeltel
1
8
1
4
601
Ahmed Rezine
2
8
2
5
601
Gregor Snelting
1
8
6
10
601
Claudia Ermel
1
8
4
3
601
Andrey Rybalchenko
1
8
3
7
601
Ammar Osaiweran
1
8
1
2
601
Mary Sheeran
1
8
3
7
601
Mounir Chadli
1
8
1
1
635
Görschwin Fey
1
7
6
8
635
Etienne Renault
1
7
2
2
635
Mathias Soeken
1
7
5
10
635
Serge Autexier
1
7
5
9
635
Nicolas Halbwachs
1
7
4
5
635
Bernd Fischer
1
7
6
8
635
Colin Atkinson
1
7
7
18
635
Ferhat Khendek
1
7
7
14
635
Bart Jacobs
1
7
6
11
635
Tatsuya Abe
1
7
3
3
635
Dieter Hutter
1
7
3
5
635
Yih-Kuen Tsay
1
7
2
6
635
Malte Lochau
2
7
2
5
635
Lin Liu
1
7
8
20
635
J Strother Moore
1
7
3
15
635
Heinz Riener
1
7
2
2
635
Lin Liu
1
7
16
37
635
Tim A C Willemse
2
7
4
7
635
Luís Pina
1
7
1
1
635
Reiko Heckel
1
7
8
13
635
Jeremy Morse
1
7
1
2
635
Ming-Hsien Tsai
1
7
2
2
635
Pierre Ganty
1
7
3
6
635
Assaf Schuster
1
7
12
27
635
Stefan Frehse
1
7
1
2
635
Sharon Shoham
1
7
4
6
635
Heiko Mantel
1
7
2
5
635
Yuqun Zhang
1
7
1
4
663
Björn Lisper
3
6
1
2
663
Marco Torchiano
1
6
11
18
663
Lucas Sakizloglou
1
6
2
2
663
Bruno Garcia
1
6
1
1
663
Ali Parsai
1
6
2
3
663
Maria Maximova
1
6
2
3
663
Dan Geiger
1
6
2
10
663
Hervé Marchand
1
6
7
11
663
Samarjit Chakraborty
2
6
10
28
663
Almudena Diaz Zayas
1
6
4
11
663
Ning Ge
1
6
2
3
663
Mattias Ulbrich
1
6
2
5
663
Paul S Lambert
1
6
4
12
663
Benoit Baudry
1
6
11
20
663
Serge Demeyer
1
6
6
14
663
Vladimir Herdt
1
6
3
4
663
Reza Pulungan
1
6
9
10
663
Alfonso Pierantonio
2
6
4
13
663
Peter Schrammel
1
6
2
7
663
Norman Weik
1
6
2
4
663
Theofanis Vassiliou-Gioles
1
6
1
1
663
Wojciech Mostowski
1
6
1
4
663
Michalis Kokologiannakis
1
6
2
2
663
Hoang M Le
1
6
3
3
663
Steven Gordon
1
6
4
6
663
Alexandre Mota
1
6
6
6
663
João Bosco Ferreira Filho
1
6
1
1
663
Shmuel Katz
2
6
4
11
663
Riccardo Traverso
1
6
1
1
663
Arnab Ray
1
6
2
2
663
Serdar Tasiran
1
6
3
8
663
Azadeh Farzan
1
6
3
3
663
Shaunak Chatterjee
1
6
1
1
663
Eric Jenn
1
6
2
2
663
Shaked Flur
1
6
1
1
663
Eran Yahav
1
6
3
6
699
Shlomi Dolev
2
5
16
42
699
Sean Kauffman
1
5
2
4
699
Jon C Ison
1
5
6
12
699
Takuro Kutsuna
1
5
2
1
699
Aart Middeldorp
1
5
9
11
699
Marc Daumas
1
5
3
7
699
Andy Schürr
1
5
4
5
699
Ladjel Bellatreche
1
5
8
14
699
Matúš Kalaš
1
5
6
10
699
Klaus Kabitzsch
1
5
4
5
699
Julian Nagele
1
5
2
2
699
Steven D Johnson
2
5
32
80
699
Joern Ploennigs
1
5
2
3
699
Achim D Brucker
1
5
5
14
699
Virgile Prevosto
1
5
2
3
699
Hervé Ménager
1
5
6
13
699
Jyrki Katajainen
1
5
9
20
699
Jan Jürjens
1
5
4
7
699
Zhengjun Zhai
1
5
2
6
699
Wasif Afzal
1
5
8
22
699
Per Erik Strandberg
1
5
1
3
699
Keisuke Nakano
1
5
4
7
699
Artur Boronat
1
5
5
7
699
Jens Bürger
1
5
1
3
699
Michael Felderer
1
5
7
11
699
Yoshinao Ishii
1
5
2
1
699
Jens Kosiol
1
5
3
4
699
Lars Fritsche
1
5
2
2
699
Zhendong Su
1
5
4
14
699
Martin R Neuhäußer
1
5
1
1
699
Somesh Jha
1
5
4
14
699
Isil Dillig
1
5
4
6
699
Jochen Wuttke
1
5
1
1
699
Vincent Bloemen
1
5
1
3
699
Burkhart Wolff
1
5
5
6
699
Masato Takeichi
1
5
4
10
699
Mario Neugebauer
1
5
1
2
699
Stéphane Jean
1
5
3
5
737
Giovanna Di Marzo Serugendo
1
4
7
20
737
Chris Alvin
1
4
1
3
737
Paolo Traverso
2
4
3
8
737
Luis Miguel Pinho
1
4
8
13
737
Joshua Schneider
1
4
2
2
737
Miguel Angel Barcelona
1
4
1
3
737
Ondřej Lhoták
1
4
2
4
737
André de Matos Pedro
1
4
3
3
737
Mohammed Gharib
1
4
11
30
737
Javier Esparza
1
4
11
22
737
Jorge Sousa Pinto
1
4
5
8
737
Minxue Pan
1
4
5
7
737
Sai Peck Lee
1
4
10
22
737
Pedro de Carvalho Gomes
1
4
1
1
737
Ali Movaghar
1
4
29
55
737
Supratik Chakraborty
1
4
3
8
737
David M R Pereira
1
4
3
6
737
Ana Sokolova
1
4
7
9
737
Saif Ur Rehman Khan
1
4
6
11
737
Pavel Parizek
1
4
4
5
737
Husnu Yenigun
1
4
7
13
737
Kangfeng Ye
1
4
2
3
737
David Basin
1
4
11
28
737
Carsten Kolassa
1
4
1
3
737
Cemal Yilmaz
1
4
3
11
737
Ehsan Khamespanah
1
4
2
5
737
Shai Fine
1
4
1
4
737
Ender Yuksel
1
4
1
1
737
Arne Haber
1
4
1
1
737
John C Mitchell
1
4
4
10
737
Daniel Ratiu
1
4
2
6
737
Hannes Payer
1
4
2
5
737
Farnaz Yousefi
1
4
1
1
737
David Pereira
1
4
2
2
737
Christoph M Kirsch
1
4
2
4
737
Yosr Jarraya
1
4
2
6
737
Carst Tankink
1
4
1
2
737
Aliaksei Tsitovich
1
4
1
3
737
Anders Mariegaard
1
4
2
2
737
Kathi Fisler
1
4
2
5
737
Mohamed Mejri
1
4
3
5
737
Markus Look
1
4
1
1
737
Yanhong A Liu
1
4
7
9
780
Stephan Schulz
1
3
2
4
780
Igor Konnov
1
3
5
9
780
Petar Vukmirović
1
3
3
3
780
Daniel Hirschkoff
1
3
2
5
780
Bogdan Aman
1
3
10
12
780
John Murphy
1
3
3
15
780
Anna Ingolfsdottir
1
3
4
7
780
Sławomir Lasota
1
3
8
13
780
Gudmund Grov
1
3
2
6
780
Stefano Tonetta
1
3
5
10
780
Manuel Nunez
1
3
17
25
780
Matthias Güdemann
1
3
2
4
780
Christopher Hahn
1
3
2
4
780
Luca Aceto
1
3
4
7
780
Florian Brandner
1
3
4
3
780
Giulio Garbi
1
3
2
2
780
Mathieu Jan
1
3
3
6
780
Dimitar P Guelev
1
3
2
5
780
Yehia Abd Alrahman
1
3
2
5
780
Rance Cleaveland
1
3
2
5
780
Luigi Lavazza
1
3
13
20
780
Ying Zou
1
3
5
12
780
Eric Van Wyk
1
3
4
5
780
Esmaeel Nikravan
1
3
1
1
780
René Rydhof Hansen
1
3
5
9
780
Gianluca Dini
1
3
15
33
780
Leander Tentrup
1
3
2
4
780
Marco Mauri
1
3
10
28
780
Samuel Huang
1
3
2
2
780
Gabriel Ciobanu
1
3
25
26
780
Jasmin Christian Blanchette
1
3
4
6
780
Lars Luthmann
1
3
2
5
780
Ioana Sora
1
3
2
6
780
Nikolay V Pakulin
1
3
3
3
780
Belgacem Ben Hedia
1
3
2
2
780
Grigory Fedyukovich
1
3
3
3
780
Josef Widder
1
3
3
10
780
Alfredo Benso
1
3
8
27
780
Peter Lammich
1
3
3
3
780
Adrian Francalanza
1
3
6
9
780
Alberto Bartoli
1
3
11
28
780
Saeed Alipour Parsa
1
3
12
32
780
Romain Robbes
1
3
6
13
780
Mark D Ryan
1
3
2
6
780
Roberto Sebastiani
1
3
6
13
780
Yolande Berbers
1
3
3
12
780
Bjørnar Solhaug
1
3
2
5
780
Michel Rueher
1
3
4
9
780
Alexandre Vernotte
1
3
1
2
780
Mircea Trofin
1
3
1
1
780
Andreas Ermedahl
1
3
1
4
831
Martin Strelec
1
2
1
1
831
Ludovico Iovino
1
2
6
12
831
Léo Henry
1
2
2
2
831
Peter Müller
1
2
2
3
831
Ferruccio Damiani
1
2
12
22
831
Uli Fahrenberg
1
2
6
14
831
Georg Weissenbacher
1
2
3
9
831
Fabio Massacci
1
2
14
40
831
Mohammad Alshraideh
1
2
3
14
831
Luca Paolini
1
2
7
11
831
Panagiotis Katsaros
2
2
4
16
831
Davide Di Ruscio
1
2
10
21
831
René S Nilsson
1
2
2
4
831
Abhik Roychoudhury
1
2
11
20
831
Simon Bliudze
1
2
6
13
831
Adrian Riesco
1
2
7
15
831
Rajeev Joshi
1
2
1
5
831
Johannes Leupolz
1
2
2
2
831
Nicolas Markey
1
2
7
12
831
Martin Becker
1
2
1
1
831
Marcin Jurdzinski
1
2
3
10
831
Alberto Salmerón Moreno
1
2
2
9
831
Daniel Lincke
1
2
4
20
831
César Viho
2
2
1
8
831
Gergö Barany
1
2
1
1
831
Qiang Guo
1
2
2
6
831
Andrew Miner
1
2
2
2
831
Daniel Ricardo Dos Santos
1
2
1
1
831
Zeinab Ganjei
1
2
1
2
831
Viet Yen Nguyen
1
2
2
3
831
Charles Pecheur
1
2
1
3
831
Simon Busard
1
2
1
3
864
Christophe Gaston
1
1
2
3
864
John S Fitzgerald
1
1
6
11
864
Philip Makedonski
1
1
4
6
864
Martin Blicha
1
1
2
2
864
Dieter Hogrefe
1
1
4
19
864
Paul Dubrulle
1
1
2
3
864
Arnault Lapitre
1
1
2
3
864
Andreas Fellner
1
1
2
4
864
Wu Ji
1
1
3
5
864
Bruno Woltzenlogel Paleo
1
1
1
5
864
Sylvain Hallé
2
1
2
17
864
Antonios Gouglidis
1
1
3
8
864
Ji Wu
1
1
1
3
864
Erika Abraham
1
1
6
15
864
Colin Fidge
1
1
13
39
864
Giuseppe Scanniello
1
1
13
18
864
Nazareno Aguirre
1
1
3
7
864
Olga Kouchnarenko
1
1
5
7
864
Nikolai Kosmatov
1
1
4
9
864
Antoine EL-Hokayem
1
1
3
5
864
Axel Rennoch
1
1
2
3
864
German Regis
1
1
1
1
864
Pablo Ponzio
1
1
1
2
864
Cagdas Yelen
1
1
1
2
864
Kaiyuan Wang
1
1
1
2
864
David Rydeheard
1
1
2
3
864
Pavol Cerny
1
1
2
3
864
Marcelo F Frias
1
1
3
9
864
Emmanuelle Encrenaz
1
1
1
3
864
Ivan Papusha
1
1
1
1
864
Sérgio Campos
1
1
2
6
864
Georgeta Igna
1
1
2
3
864
Domagoj Babic
1
1
1
4
864
Kenny Wong
1
1
1
5
864
Wenxi Wang
1
1
1
3
899
Jan Tobias Muehlberg
1
0
2
8
899
Florian Kammueller
1
0
3
7
899
Julia Rubin
1
0
2
5
899
Thomas Given-Wilson
1
0
3
11
899
Patrícia Dl Machado
1
0
6
13
899
Alessandra Russo
1
0
11
45
899
Aleš Smrčka
1
0
2
2
899
Lijun Zhang
1
0
5
10
899
Stefano Schivo
1
0
2
11
899
Fabrice Kordon
1
0
2
2
899
Cesare Tinelli
1
0
6
19
899
Peter Poplavko
1
0
2
3
899
Maura Cerioli
1
0
5
8
899
Luiz F M Vieira
1
0
9
28
899
Peter Buchholz
1
0
16
39
899
Wilkerson L Andrade
1
0
2
8
899
Fotios Gioulekas
1
0
2
14
899
Jens Palsberg
1
0
11
19
899
Jeannette M Wing
1
0
1
6
899
Julien Botella
1
0
1
0
899
Klaus Marius Hansen
1
0
2
6
site/software ©
exaly
; All materials licenced under
CC by-SA
.