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