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