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
›
Formal Aspects of Computing
›
top-authors
Formal Aspects of Computing
1.2
(top 50%)
impact factor
949
(top 20%)
papers
14.1K
(top 20%)
citations
50
(top 10%)
h
-index
1.3
(top 50%)
extended IF
1.1K
all documents
15.2K
doc citations
84
(top 10%)
g
-index
Top Authors (by citations)
#
Author
Articles
Citations
R ARank
R CRank
1
Hans Hansson
1
1,055
3
1
2
James Woodcock
17
486
2
3
3
Ana Cavalcanti
15
449
2
2
4
Murdoch J Gabbay
2
381
8
1
5
Arthur H M Ter Hofstede
3
369
9
6
6
Wil M P Van Der Aalst
2
365
27
19
7
Andrew Pitts
1
350
6
1
7
Andrew M Pitts
1
350
9
2
9
H Mw Verbeek
1
271
4
5
10
Mieke Massink
2
237
4
2
10
Diego Latella
2
237
5
2
12
Nikolai Kosmatov
3
222
2
2
13
Istvan Majzik
2
220
2
1
14
Boris Yakobowski
1
208
2
2
14
Julien Signoles
1
208
2
1
14
Virgile Prevosto
1
208
2
1
17
Michael Butler
8
177
3
4
18
Ian J Hayes
12
174
2
2
19
Carroll Morgan
5
170
2
3
20
Marcel Oliveira
4
163
1
1
21
Gethin J Norman
4
158
4
6
21
John Derrick
12
158
2
3
23
Marta Kwiatkowska
3
152
5
7
24
Graeme P Smith
11
141
2
4
25
Ann E Blandford
4
140
9
14
26
Grigore Roşu
1
138
10
8
28
Steve Schneider
9
132
2
2
29
Matthew Hennessy
2
128
5
4
30
Carlo Ghezzi
2
120
7
7
31
Marlon Dumas
2
119
11
19
32
Florentin Ipate
6
112
2
3
32
Antonio Filieri
1
112
2
1
32
Giordano Tamburrelli
1
112
3
2
35
Eerke A Boiten
7
109
2
1
35
Krzysztof R Apt
2
109
5
7
37
Paul Curzon
3
107
3
2
38
Andrzej Tarlecki
2
104
4
7
38
Donald T Sannella
3
104
2
6
38
Gary T Leavens
3
104
4
7
42
Helen Treharne
5
102
2
2
43
Marcello La Rosa
2
98
7
16
43
Chris Tofts
2
98
2
2
45
Jan Mendling
1
94
21
22
45
Tobias Nipkow
3
94
4
6
45
Florian Gottschalk
1
94
2
2
48
Susanne Graf
1
93
4
3
49
Michael Fisher
3
87
5
11
49
David Parker
3
87
4
7
49
Manfred Broy
4
87
5
7
49
David Parker
3
87
5
7
49
Howard Bowman
5
87
1
8
54
Ralph-Johan Back
5
83
2
1
55
Joaquin Gabarro Valles
2
78
1
1
56
Annabelle K Mciver
3
77
4
4
57
Falk Howar
1
74
5
2
57
Joel Ouaknine
3
74
3
4
57
Jan Peleska
3
74
2
2
57
Sofia Cassel
1
74
2
2
57
Miklos Santha
1
74
5
2
62
Peter Gorm Larsen
7
70
2
5
62
Jan Friso Groote
4
70
5
6
64
Ernst-Rüdiger Olderog
3
69
3
2
64
Joachim Parrow
1
69
4
4
64
Fredrik Orava
1
69
1
1
67
Regivan Hugo Nunes Santiago
1
68
13
2
67
Ali Mili
1
68
11
3
67
Natasha Sharygina
2
68
4
3
70
Bernhard K Aichernig
4
67
3
3
70
Peter B Ladkin
1
67
1
3
70
Stefan Leue
1
67
5
3
73
Dominique Méry
1
66
2
1
73
Jim Davies
3
66
4
10
73
Jeremy Sproston
1
66
3
5
76
Simon Doherty
3
65
2
2
77
Wim H Hesselink
11
64
1
4
78
Alessandro Cimatti
3
63
4
11
78
Jin Song Dong
4
63
2
4
80
Lindsay Groves
2
61
2
1
80
Olaf Owe
4
61
4
4
80
Hamid Bagheri
2
61
3
2
83
Rachel M Cardell-Oliver
1
60
4
5
84
Steve Reeves
5
57
3
2
84
Michael Leuschel
4
57
4
6
86
Robert J Colvin
6
56
2
2
86
Jonathan P Bowen
3
56
9
8
88
Ruggero Lanotte
1
55
8
2
89
Clemens Dubslaff
1
53
2
2
89
Christel Baier
1
53
6
3
89
Philipp Chrszon
1
53
2
1
89
Sascha Klüppelholz
1
53
5
2
89
Victor Luchangco
1
53
2
2
89
Nishant Sinha
1
53
2
2
95
Jun Sun
3
52
3
6
95
Hans-Jörg Kreowski
1
52
1
1
95
Sabine Kuske
1
52
3
3
98
Edward A Lee
1
51
21
33
98
Murali Sitaraman
2
51
4
4
98
Mike Holcombe
3
51
4
11
101
Sandeep K Shukla
1
50
19
6
101
Riccardo Sisto
4
50
2
7
101
Antti Valmari
1
50
10
3
101
Rajeev Joshi
1
50
1
1
101
David Duke
3
50
1
4
106
Laura Bocchi
3
49
2
2
106
Alfredo Pironti
3
49
1
1
108
Roland C Backhouse
1
47
5
4
108
Eike Best
2
47
5
5
108
Matteo Avalle
2
47
1
1
111
Jeremy Avigad
1
46
13
9
111
Natallia Kokash
1
46
1
1
111
Christian Krause
1
46
2
2
111
Bruce W Weide
1
46
5
3
115
Laurent Doyen
1
45
2
2
115
Martin De Wulf
1
45
2
2
117
Marielle Stoelinga
3
44
2
6
117
Juan de Lara
3
44
6
11
117
Mike Stannett
3
44
2
2
120
Michael D Harrison
3
43
3
5
120
Daniel Plagge
1
43
2
2
120
Anne E Haxthausen
1
43
3
2
123
Wolfgang Reif
3
42
2
3
123
Alexandre Mota
2
42
5
3
125
Naouel Moha
1
41
2
2
125
Laurence Duchien
1
41
4
3
127
Klaus Havelund
1
40
6
11
127
Richard F Paige
4
40
3
7
127
Heike Wehrheim
2
40
2
2
127
Susan Stepney
3
40
5
14
131
Kees Middelburg
4
39
4
3
131
Eunsuk Kang
1
39
1
3
131
Daniel Jackson
1
39
3
6
131
Sam Malek
1
39
4
6
135
Sidney Nogueira
1
38
2
1
135
Burkhart Wolff
2
38
3
3
135
Chunqing Chen
1
38
2
1
138
Tahina Ramananandro
1
37
1
1
139
Chris Brink
2
36
1
2
139
Peter Höfner
1
36
5
3
141
Juan C Bicarregui
2
35
3
4
141
Carron Shankland
3
35
2
1
141
Richard Banach
6
35
1
2
141
Renate A Schmidt
1
35
6
3
141
Jozef Hooman
1
35
3
4
141
Marie-Claude Gaudel
1
35
2
2
147
Elvinia Riccobene
2
34
2
5
147
José J Pazos Arias
1
34
4
2
149
Alban Ponse
2
33
6
3
149
Enea Zaffanella
1
33
7
6
149
Cliff B Jones
5
33
2
8
149
José Nuno Oliveira
2
33
3
2
149
Roberto Bagnara
1
33
6
6
149
Daniel Kroening
3
33
6
11
149
Artur Boronat
1
33
5
3
156
Achim D Brucker
1
32
5
3
157
Andrew Wiliam Roscoe
4
31
1
1
157
Arturo Azcorra
1
31
11
12
157
Juan Quemada
1
31
4
2
160
Edmund Robinson
1
30
3
3
161
Nobuko Yoshida
1
29
24
34
161
Rumyana Neykova
1
29
2
4
161
Crystal Chang Din
1
29
3
3
161
Jochen Hoenicke
1
29
4
3
161
Artem Polyvyanyy
2
29
4
12
161
Tony Clark
1
29
6
4
161
Roland Meyer
1
29
2
2
161
Kevin Lano
1
29
3
5
161
Andrey Rybalchenko
1
29
3
4
161
Jeremy Jacob
1
29
1
1
172
Christoph Benzmüller
1
28
9
8
172
Michael Kohlhase
1
28
5
7
172
Antónia Lopes
2
28
4
5
172
Volker Sorge
1
28
3
3
172
Xudong He
1
28
6
7
172
José Luiz Fiadeiro
2
28
3
5
178
Wan J Fokkink
1
27
19
13
178
Fernando Rubio
2
27
4
4
178
Brijesh Dongol
4
27
2
3
178
Jaco C Van De Pol
1
27
7
4
178
Maciej Koutny
3
27
5
9
178
Jane Hillston
2
27
6
7
178
Jaco Van De Pol
1
27
4
5
185
Muffy Calder
2
26
3
11
185
Paolo Milazzo
1
26
7
7
185
Eduard Baranov
1
26
1
1
185
Simon Bliudze
1
26
6
7
185
Paul C Attie
1
26
4
2
185
Mohamad Jaber
1
26
4
5
185
Michel Bidoit
1
26
3
5
185
Nico Plat
1
26
1
1
185
Holger Hermanns
3
26
5
14
194
Luciano García-Bañuelos
1
25
5
10
194
Georg Struth
1
25
8
6
194
Eric C R Hehner
2
25
1
1
194
Naoki Kobayashi
1
25
9
10
194
Esther Guerra
2
25
8
12
194
Andrew D Gordon
1
25
3
2
194
Kirsten Winter
5
25
1
3
194
Abel Armas-Cervantes
1
25
3
3
194
Andrew D Gordon
1
25
10
10
203
Mariangiola Dezani
2
24
8
11
203
Marco Bozzano
4
24
2
8
203
Adrian Rutle
2
24
2
3
203
Jeremy Gibbons
1
24
8
6
203
Lawrence C Paulson
2
24
4
17
203
Naijun Zhan
3
24
3
7
203
Richard Bornat
2
24
1
3
210
Ralf Kneuper
1
23
4
1
210
Yunho Kim
1
23
2
5
210
Marina Waldén
2
23
2
1
210
Moonzoo Kim
1
23
4
7
215
Claudio Menghi
3
22
2
3
215
Linas Laibinis
1
22
5
4
215
Lijun Zhang
3
22
2
2
215
Uwe Egbert Wolter
1
22
3
4
215
Colin Fidge
5
22
2
15
215
Husnu Yenigun
2
22
2
6
215
Andrea Bracciali
1
22
5
5
215
Osman Hasan
3
22
6
14
215
Alessandro Rossini
1
22
4
4
215
Elena Troubitsyna
1
22
2
3
225
James Worrell
2
21
6
7
225
Jorge A Pérez
3
21
3
4
225
Sofiene Tahar
4
21
1
15
225
Nicolas Markey
2
21
5
8
225
Thai Son Hoang
4
21
3
6
225
Makarius Wenzel
1
21
2
1
231
Michele Sevegnani
1
20
3
5
231
Dorel Lucanu
2
20
3
5
231
Manuel Nunez
2
20
6
14
231
Stefan Hallerstede
1
20
2
2
231
Joost-Pieter Katoen
3
20
9
21
231
Wolfgang Reisig
1
20
5
4
231
Purandar Bhaduri
1
20
3
1
231
Marcello Bonsangue
2
20
5
8
231
Nancy Lynch
1
20
7
14
231
Ekkart Kindler
1
20
2
5
241
Raymond Devillers
1
19
7
7
241
Li Su
2
19
10
36
241
Ulrike Golas
2
19
3
6
241
Martin Fränzle
2
19
2
11
241
Patrizia Scandurra
1
19
4
9
241
Domenico Rosaci
1
19
7
19
241
Hans Vangheluwe
1
19
6
10
241
Shengchao Qin
2
19
5
8
241
Hanna Klaudel
1
19
4
4
241
Leslie Lamport
1
19
10
14
251
Patrick M O'keefe
1
18
1
2
251
Mark Reynolds
2
18
5
19
251
Mark Harman
2
18
13
27
251
Daniel Strüber
1
18
3
3
251
Marsha Chechik
2
18
6
12
251
Amel Mammar
3
18
3
7
251
Giuseppe Scanniello
1
18
13
10
251
Sergei Gorlatch
1
18
8
11
251
Guy Leduc
1
18
3
3
251
Jens Palsberg
1
18
11
11
251
Xiang Fu
1
18
1
6
251
Bogdan Tofan
1
18
2
3
251
James H Anderson
1
18
13
15
251
Sebastian Danicic
2
18
2
8
251
Jan Rutten
1
18
4
6
251
Mitchell Wand
1
18
9
12
251
Patrick O'keefe
1
18
1
2
268
Marcello M Bersani
2
17
2
3
268
Giovanni Bacci
2
17
1
1
268
Jesús Aransay
2
17
2
2
268
J Strother Moore
1
17
3
12
268
Lazhar Hamel
2
17
2
1
268
Mohamed Graiet
2
17
2
1
268
Andrew Ireland
2
17
2
4
268
Kim G Larsen
2
17
11
19
268
Jose N Oliveira
1
17
2
1
268
Jim Grundy
1
17
1
2
278
Steve Gill
1
16
4
4
278
Masitah Ghazali
1
16
2
3
278
Ekaterina Komendantskaya
1
16
4
3
278
Dominique Borrione
1
16
4
5
278
Alan J Dix
1
16
6
12
278
Bent Thomsen
1
16
5
5
278
Bernd Westphal
1
16
2
2
278
Hugo Daniel Macedo
1
16
2
3
278
Ivan Herman
1
16
4
6
278
Marco MuÑiz
1
16
2
2
278
Luboš Brim
1
16
5
10
278
Nikola Beneš
1
16
2
2
278
Sergio Feo-Arenis
1
16
2
1
278
Julien Schmaltz
1
16
3
3
278
Peng Fu
1
16
1
1
278
Alan Dix
1
16
6
12
278
Devina Ramduny-Ellis
1
16
1
2
278
Daniel Dietsch
1
16
1
1
296
Maria Spichkova
1
15
5
5
296
Simon A Dobson
1
15
14
22
296
Savas Konur
1
15
6
11
296
Pablo Rabanal
1
15
3
5
296
Peter Schrammel
1
15
2
2
296
Paolo Arcaini
1
15
9
11
296
Ernesto Pimentel
1
15
11
15
296
Ismael Rodriguez
1
15
8
11
296
Mario Gleirscher
2
15
2
6
296
Pedro Merino-Gomez
1
15
10
14
296
Gallardo, María-del-Mar
2
15
4
6
296
Martin Brain
1
15
2
3
296
Martin Gogolla
1
15
5
7
296
Roxana-Maria Holom
1
15
2
1
296
Philippe Queinnec
1
15
2
1
296
Mirco Kuhlmann
1
15
1
1
296
Ilaria Castellani
1
15
3
5
296
Tino Teige
1
15
2
5
296
María Del Mar Gallardo
1
15
4
6
316
Yang Liu
2
14
12
48
316
José Creissac Campos
1
14
8
12
316
Georg Weissenbacher
1
14
3
6
316
Christoph Beierle
2
14
5
4
316
Alain Giorgetti
2
14
3
2
316
Simon John Thompson
2
14
2
7
316
Dines Bjorner
1
14
4
3
316
Scott Owens
1
14
4
6
316
Gavin Doherty
1
14
10
23
316
Hongseok Yang
1
14
5
7
316
Konrad Slind
1
14
2
2
316
Patrice Chalin
2
14
2
3
329
Andrey Rivkin
1
13
3
4
329
Philip Barnard
1
13
10
32
329
Francesco Flammini
1
13
12
14
329
Fernando Orejas Valdes
1
13
11
9
329
Kazuhiro Ogata
1
13
9
8
329
Anthony J H Simons
1
13
5
8
329
Marco Montali
1
13
8
13
329
Sonja
1
13
1
2
329
Adrian Riesco
1
13
7
6
329
Brad Wyble
1
13
16
20
329
Sebastian Junges
2
13
2
6
329
Stefano Marrone
1
13
7
11
329
Mark B Josephs
2
13
2
7
329
Roberto Nardone
1
13
5
12
329
Valeria Vittorini
1
13
3
12
329
Ketil Stølen
2
13
2
7
329
Jeannette M Wing
1
13
1
4
329
Matthew Collinson
1
13
4
2
347
Cristian Mattarei
2
12
2
3
347
Rudolf Schlatte
1
12
3
9
347
Luca Bortolussi
1
12
8
10
347
Vashti Galpin
1
12
5
8
347
Yliès Falcone
2
12
4
9
347
Gilles Nies
1
12
2
3
347
Marcus Gerhold
1
12
2
1
347
Natalia Lopez
1
12
3
3
347
Martin Tappler
1
12
2
5
347
Robert M Hierons
2
12
14
28
347
Patrizio Pelliccione
1
12
14
13
347
Maria Eichlseder
1
12
2
3
347
Vahid Hashemi
1
12
2
3
347
Matteo G Rossi
1
12
5
11
347
Fatemeh Ghassemi
1
12
3
3
347
Andrea Turrini
1
12
3
5
347
Thomas Anung Basuki
1
12
1
2
347
Ming-Sheng Ying
1
12
24
29
347
Jan Krčál
1
12
2
3
347
Jayadev Misra
3
12
3
11
367
Claus Brabrand
1
11
3
6
367
K Subramani
2
11
9
11
367
Amílcar C Sernadas
2
11
7
12
367
Luca Padovani
1
11
6
11
367
Cosimo Laneve
1
11
6
9
367
Alexandre Madeira
1
11
7
7
367
Marian Gheorghe
1
11
8
16
367
Zhi-Ping Shi
2
11
2
13
367
Aleksandar S Dimovski
1
11
5
6
367
Wanling Xie
2
11
1
1
367
Luis Soares Barbosa
1
11
5
6
367
Manuel António Martins
1
11
11
8
367
Timothy Patrick Kelly
1
11
2
5
367
Gordon Brebner
1
11
2
4
367
Simon Foster
1
11
2
7
367
Ran Wei
1
11
5
3
367
Xia Zeng
1
11
2
1
367
Sven Linker
1
11
2
2
367
Gregor V Bochmann
1
11
4
13
367
Vanessa Teague
1
11
2
4
367
Stefan Ciobaca
1
11
2
4
367
Martin Hilscher
1
11
1
2
367
Manuel A Martins
1
11
5
6
367
Brendan Mahony
1
11
1
1
391
Einar Broch Johnsen
1
10
8
12
391
Uraz Turker
1
10
1
3
391
Xiaowei Huang
1
10
2
5
391
Paola Spoletini
2
10
3
5
391
Ferruccio Damiani
1
10
12
18
391
Étienne André
1
10
4
8
391
Massimo Merro
1
10
7
12
391
Anton J Wijs
1
10
5
8
391
Gustavo Carvalho
1
10
3
4
391
Alan Stewart
2
10
1
2
391
Bertrand Meyer
1
10
11
13
391
Sander de Putter
1
10
2
1
391
Luís Cruz-Filipe
2
10
3
7
391
Carlo A Furia
1
10
3
7
391
Roland Rieke
1
10
4
5
391
Ina Schaefer
1
10
8
10
391
Liqian Chen
1
10
1
2
391
Guillaume Petiot
1
10
2
2
391
Judi Romijn
2
10
1
2
391
John O'leary
2
10
1
2
391
Pengfei Yang
1
10
2
2
412
Harald Koenig
2
9
2
2
412
John S Fitzgerald
2
9
3
6
412
Taylor T Johnson
1
9
9
15
412
Weiming Xiang
1
9
16
24
412
Nisansala Yatapanage
2
9
2
5
412
Jorge Sousa Pinto
1
9
5
7
412
Daniel Gaina
1
9
5
6
412
Arend Rensink
1
9
6
8
412
Ursula Martin
2
9
3
10
412
Pedro Rangel Henriques
1
9
6
6
412
Daniela da Cruz
1
9
2
2
412
Julio Rubio
1
9
6
14
412
Zhe Dang
1
9
3
2
412
Ron van der Meyden
2
9
4
8
412
Waqar Ahmad
1
9
3
4
412
Geoff Barrett
1
9
2
2
412
Signe Geisler
1
9
1
1
412
Zhe Dang
1
9
5
5
412
Glynn Winskel
1
9
6
7
412
Byron Cook
1
9
4
7
412
Linmin Yang
1
9
3
1
412
Diego Manzanas Lopez
1
9
2
2
412
Domagoj Babic
1
9
1
2
412
Dennis Guck
1
9
2
2
437
Frank Piessens
1
8
14
17
437
Murat Moran
1
8
2
1
437
Armin Biere
1
8
7
14
437
Alberto Pettorossi
2
8
6
11
437
Tim French
1
8
6
8
437
Damien Pous
1
8
5
8
437
Lutz Schröder
2
8
6
12
437
Bart Jacobs
1
8
6
8
437
Alessandro Fantechi
1
8
3
11
437
Jose Divasón
1
8
3
2
437
Peter D Mosses
1
8
8
11
437
Nissim Francez
1
8
17
16
437
Davide Basile
1
8
4
7
437
Thomas Gibson-Robinson
2
8
2
3
437
Nazareno Aguirre
2
8
1
3
437
Isabella Mastroeni
1
8
8
10
437
Maurizio Proietti
2
8
6
9
437
Tayssir Touili
1
8
5
7
437
Alan Bundy
2
8
5
17
437
Thierry Massart
1
8
2
3
437
Wen Su
1
8
3
3
437
Wolfram Schulte
1
8
4
12
437
Mila Dalla Preda
1
8
5
7
437
James Heather
1
8
2
2
437
Glenn Bruns
1
8
1
1
437
Mani Swaminathan
2
8
1
2
463
Roberto Segala
1
7
4
13
463
Alan Burns
1
7
11
19
463
Laura Titolo
2
7
2
3
463
Zinovy Diskin
1
7
3
6
463
António Ravara
1
7
4
6
463
Gerwin Klein
1
7
7
15
463
Antoine Rollet
1
7
2
4
463
Paulo Oliva
1
7
7
8
463
Patrícia Dl Machado
1
7
6
10
463
Savi Maharaj
1
7
2
5
463
José Mclm Carmo
1
7
2
4
463
Alice Miller
2
7
3
8
463
Francisco Martins
1
7
6
6
463
Shuling Wang
1
7
2
2
463
Corrado Priami
1
7
10
32
463
Jun Pang
2
7
3
14
463
François Bobot
1
7
2
3
463
Aaron Dutle
1
7
3
7
463
Pedro R D'argenio
1
7
7
10
463
Vasco Thudichum Vasconcelos
1
7
8
9
463
Mohammad Abdollahi Azgomi
1
7
18
31
463
Marco Bernardo
1
7
5
10
463
Wilkerson L Andrade
1
7
2
6
463
Bob Fields
1
7
4
8
463
Marco Roccetti
1
7
17
36
463
Ivan Lanese
1
7
8
11
463
Mark Lawford
1
7
1
1
463
Henning Christiansen
1
7
5
7
463
Regine Laleau
1
7
8
8
463
Matthias Daum
1
7
2
3
463
Maja H Kirkeby
1
7
2
1
463
Pierre Lescanne
1
7
6
14
463
Jérémy Milhau
1
7
1
2
463
Maryam Dabaghchian
1
7
1
1
463
Patricia D L Machado
1
7
2
3
498
Sergey Goncharov
1
6
3
3
498
Yong Kiam Tan
1
6
2
5
498
André Platzer
1
6
9
18
498
Sergey S Goncharov
1
6
12
14
498
Ingo Feinerer
1
6
7
12
498
Kazuo Takaragi
1
6
2
2
498
Gudmund Grov
1
6
2
2
498
Murray L Ireland
1
6
1
2
498
Hanifa Boucheneb
1
6
3
16
498
Feng Sheng
1
6
1
2
498
Peter A Lindsay
1
6
1
3
498
Guohui Wang
1
6
1
1
498
Ferhat Khendek
1
6
7
15
498
Marc Frappier
1
6
2
3
498
Narciso Martí-Oliet
1
6
7
9
498
Alberto Verdejo
1
6
5
8
498
Gernot Salzer
1
6
3
7
498
Yuhui Lin
1
6
2
2
498
Alison Pease
1
6
2
6
498
Judy Bowen
1
6
7
10
498
Diego Marmsoler
1
6
2
4
498
David Basin
1
6
11
26
498
Isabel Pita
1
6
4
4
498
Jan Van Eijck
1
6
7
13
498
Alexandre Boulgakov
1
6
2
3
498
Jeff Kramer
1
6
6
14
498
Ruth Hoffmann
1
6
2
2
498
Maria Teresa Llano
1
6
2
3
498
Claudia Ermel
1
6
4
5
498
Geguang Pu
2
6
2
11
528
Adelinde M Uhrmacher
1
5
9
28
528
András Vörös
1
5
3
4
528
Kenji Taguchi
1
5
2
2
528
Eric Rutten
1
5
5
15
528
Tomasz W Janowski
1
5
6
9
528
Uli Fahrenberg
1
5
6
9
528
Jianwen Li
1
5
2
5
528
Hans-Jörg Schulz
1
5
7
13
528
Yazid Mohand
1
5
3
7
528
Adenilso Simao
1
5
8
14
528
Yusuke Kawamoto
1
5
2
3
528
Khaled El-Fakih
1
5
6
16
528
Jacopo Soldani
1
5
8
10
528
Daniel Darvas
1
5
4
5
528
Karam Abdelkader
1
5
1
2
528
Andrzej S Murawski
1
5
5
8
528
Aysu Betin-Can
1
5
3
9
528
Enrique S Quintana-Ortí
1
5
23
41
528
Tiziana Margaria
1
5
13
25
528
Djamil Aïssani
1
5
24
43
528
Shufang Zhu
1
5
1
1
528
Ali Movaghar
1
5
29
51
528
Vince Molnár
1
5
2
3
528
Natalia G Kushik
1
5
3
7
528
Adnan Rashid
1
5
2
6
528
Marco Gario
1
5
2
3
528
Giuseppe Castagna
1
5
2
7
528
Antonio Brogi
1
5
14
27
528
Yoriyuki Yamagata
1
5
3
3
528
Louiza Bouallouche-Medjkoune
1
5
7
18
528
Aida Lahouij
1
5
2
2
528
Martin Leucker
1
5
4
9
528
Patricia Bouyer
1
5
7
14
528
Fabrizio Biondi
1
5
2
4
528
Sofia Costa Paiva
1
5
1
1
528
Tevfik Bultan
1
5
7
18
528
Oleg Travkin
1
5
2
2
528
Farhad Arbab
1
5
5
15
528
Hosein Nazarpour
1
5
2
2
528
Field G Van Zee
1
5
2
4
528
Weiqiang Kong
1
5
1
5
528
Sharon Shoham
1
5
4
7
528
Stefan Kiefer
1
5
5
7
528
Nina Yevtushenko
1
5
7
11
528
Heidrun Schumann
1
5
9
16
528
Sven Jörges
1
5
2
5
528
Narges Khakpour
1
5
3
7
575
Florian Kammueller
1
4
3
4
575
Martin P Ward
1
4
4
10
575
Anne Elisabeth Haxthausen
1
4
2
3
575
Ofer Strichman
1
4
7
17
575
Milan Ceska
1
4
2
7
575
José Félix Costa
1
4
10
17
575
Radu Calinescu
1
4
7
14
575
Yaping Jing
1
4
1
1
575
Brian M Matthews
1
4
5
12
575
Perdita Stevens
1
4
3
4
575
Stephan Diehl
1
4
8
15
575
Giampaolo Bella
1
4
9
13
575
Yi-Qi Hu
1
4
1
3
575
Andrew S Miner
1
4
4
5
575
David Faitelson
1
4
1
3
575
Gerard Ekembe Ngondi
1
4
2
1
575
Dale Miller
1
4
9
17
575
Jean-Christophe Léchenet
1
4
2
2
575
Lei Bu
1
4
4
10
575
Aziem Chawdhary
1
4
2
3
575
Hussein Zedan
1
4
1
8
575
Ruurd Kuiper
1
4
1
2
575
Martin Ward
1
4
2
5
575
Anders P Ravn
1
4
4
10
575
Ivaylo Dobrikov
1
4
1
2
575
Steve King
2
4
1
2
575
Valerio Senni
1
4
1
3
575
Hong Qian
1
4
1
1
575
Andrey Mokhov
1
4
4
5
605
Alberto Bemporad
1
3
14
34
605
Amy P Felty
1
3
4
7
605
Hugo Torres Vieira
1
3
4
6
605
Stephen P Wright
1
3
3
13
605
Djamel Eddine Saidouni
1
3
6
11
605
Kerstin Eder
1
3
1
6
605
Jean-Michel Ilié
1
3
6
9
605
Stefan Andrei
1
3
4
7
605
Jesús Correas
1
3
3
6
605
Jovanka Pantovic
1
3
4
6
605
Guillermo Román-Díez
1
3
3
9
605
Debora Weber-Wulff
1
3
1
5
605
Ting Zhong
1
3
4
17
605
Gabriel Ciobanu
1
3
25
26
605
Elvira Albert
1
3
10
13
605
Michael Codish
1
3
9
13
605
Peter H Welch
1
3
2
5
605
Alvaro Miyazawa
1
3
4
5
605
Silvia Ghilezan
1
3
8
9
605
Rik Eshuis
1
3
8
24
605
Peter Schneider-Kamp
1
3
5
12
605
Quang-Trung Ta
1
3
1
1
605
Siau-Cheng Khoo
1
3
1
9
605
Jeroen Fokker
1
3
1
1
605
Shinichi Honiden
1
3
3
7
605
Ton Chanh Le
1
3
1
1
605
Cinzia Di Giusto
1
3
2
2
605
Germán Puebla
1
3
6
15
605
Scott A Smolka
1
3
6
11
605
Mark Staples
1
3
6
8
605
Bernhard Beckert
1
3
4
6
605
Svetlana Jakšić
1
3
1
1
605
Thomas Wahl
1
3
3
8
605
Steffen Schlager
1
3
2
3
639
Jan Tobias Muehlberg
1
2
2
7
639
Bohua Zhan
1
2
3
7
639
Douglas Pereira Pasqualin
1
2
1
1
639
Sidi Mohamed Beillahi
1
2
1
2
639
Umair Siddique
1
2
3
5
639
Anna Bernasconi
1
2
6
18
639
Rajit Manohar
1
2
4
12
639
Maxime Cordy
1
2
4
10
639
Krystian Kwiecinski
1
2
2
2
639
Nikos Gorogiannis
2
2
2
10
639
Thorsten Wißmann
1
2
2
4
639
Yngve Lamo
1
2
3
12
639
Jie An
1
2
3
5
639
Ana Maria C De Almeida
1
2
5
18
639
Eduardo Piveta
1
2
4
5
639
Davide Giacomo Cavezza
1
2
2
2
639
Patrick Stünkel
1
2
2
3
639
Yann Régis-Gianas
1
2
2
5
639
Steve McKeever
1
2
2
6
639
Stefan Milius
1
2
7
11
639
Alwen Tiu
1
2
1
4
639
Tomas Vojnar
1
2
7
13
639
Dimitar P Guelev
1
2
2
6
639
Bruno Taborda
1
2
1
1
639
Włodzimierz Drabent
1
2
2
5
639
Mohamed Yousri Mahmoud
1
2
2
4
639
Michael Hanus
1
2
9
15
639
Chittaranjan Mandal
1
2
4
15
639
Pedro Ribeiro Gonçalves Antonino
1
2
2
3
639
Yih-Kuen Tsay
1
2
2
8
639
Andrzej Mizera
1
2
3
16
639
Roberta Gori
1
2
5
11
639
Roberto Bruni
1
2
7
12
639
Ben Moszkowski
1
2
4
6
639
Christopher M Poskitt
1
2
2
6
639
Thomas Martin McGinnity
1
2
17
48
639
Andras Gyorgy
1
2
4
12
639
Yuxin Deng
1
2
7
11
639
Ramiro A Demasi
1
2
2
3
639
Mike Papadakis
1
2
7
12
639
Yu-Fang Chen
1
2
4
3
639
Sara Eloy
1
2
3
7
639
Vincent Nys
1
2
1
1
639
Bernd Becker
1
2
1
7
639
Qixia Yuan
1
2
3
4
639
Ralf Wimmer
1
2
3
8
639
Hans-Peter Deifel
1
2
1
2
639
Olav Lysne
2
2
1
8
639
Ming-Hsien Tsai
1
2
2
3
639
Dimitar P Guelev
1
2
4
7
639
Giorgio Delzanno
1
2
8
11
639
Claudio Corrodi
1
2
1
2
639
Steven Vickers
1
2
5
11
639
Jon Whittle
1
2
3
10
639
Paulius Stankaitis
1
2
2
2
639
Mounira Kezadri Hamiaz
1
2
1
2
639
Luke Wildman
1
2
1
3
639
David A Naumann
1
2
3
6
639
Ruth Breu
1
2
6
10
639
Danny De Schreye
1
2
6
10
639
Michael J Banks
1
2
1
1
639
Sarmen Keshishzadeh
1
2
2
2
639
Alexei Iliasov
1
2
2
2
639
Ana De Almeida
1
2
2
10
639
Marc Pantel
1
2
2
6
639
Sami Lazreg
1
2
1
1
639
Filipe Santos
1
2
1
1
706
Stephan Stephan Reiff-Marganiec
1
1
6
14
706
Zhiqiu Huang
1
1
17
37
706
Mohamed Saleh
1
1
1
4
706
Bernd Porr
1
1
6
19
706
Luca Durante
1
1
4
8
706
Andrew Butterfield
1
1
4
6
706
Julio Mariño
1
1
3
6
706
Richard
1
1
2
2
706
Shahar Maoz
1
1
3
10
706
Nicolas Wu
1
1
3
6
706
Franck Cassez
1
1
4
13
706
Stefan Bodenmüller
1
1
2
2
706
David Williams
1
1
1
1
706
Or Pistiner
1
1
1
2
706
Heiko Klare
1
1
1
4
706
Zhi-Bin Yang
1
1
4
9
706
Jan Kofroň
2
1
3
4
706
Salaheddin Darwish
1
1
2
3
706
Adriano Valenzano
1
1
13
25
706
Borzoo Bonakdarpour
1
1
4
10
706
Gal Amram
1
1
3
3
706
Jonatan Wiik
1
1
2
3
706
Mourad Debbabi
1
1
14
32
706
Peter Nickolas
1
1
9
18
706
Alexandros Evangelidis
1
1
1
3
706
Zonghua Gu
1
1
10
24
706
Ryan Kirwan
1
1
1
2
706
Thomas Haigh
1
1
6
11
706
Kai Engelhardt
1
1
2
3
706
Wang Yi
1
1
4
10
737
Yuxi Fu
1
0
6
10
737
Cheng-Hao Cai
1
0
1
4
737
Arnon Avron
1
0
10
27
737
Xiaoju Dong
1
0
2
6
737
Zhe Hou
1
0
2
11
737
Gillian Dobbie
1
0
3
12
737
Qin Li
1
0
3
8
737
Xian Xu
1
0
1
6
737
Jinzhao Wu
1
0
4
17
737
Hichem Debbi
1
0
2
5
737
Jing Sun
1
0
7
21
737
Chenyi Zhang
1
0
4
12
737
Simone Tini
1
0
9
13
737
Eun-Young Kang
1
0
2
3
737
Mait Harf
1
0
2
2
737
Theofanis Vassiliou-Gioles
1
0
1
3
737
Peter Baumann
1
0
4
20
737
Marco Comini
1
0
5
7
737
Jianqi Shi
1
0
5
14
737
Stephan Merz
1
0
2
5
737
Alicia Villanueva
1
0
4
6
737
Wenbo Zhang
1
0
1
2
737
Otmane Ait-Mohamed
1
0
6
25
737
Sa'ed Abed
1
0
11
41
737
Yanhong Huang
1
0
4
10
737
Alain
1
0
7
20
737
Vahur Kotkas
1
0
2
2
737
Qiang Yin
1
0
4
8
737
Antoniou Grigoris
1
0
14
35
737
Henk Barendregt
1
0
3
8
737
Hanne Riis Nielson
1
0
4
11
737
Geoffrey M Brown
1
0
1
2
737
Sabine Glesner
1
0
3
7
737
Parosh Abdulla
1
0
1
2
site/software ©
exaly
; All materials licenced under
CC by-SA
.