About
Technology
Issues
FAQ
Search
Profile
Top Authors
Prolific Authors
Top Journals
Main Disciplines
Main Topics
Most Cited Articles
Scientometrics
Avg Impact Factor
★★
Articles
★★★
Articles
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Schools
›
Department of Computer Science
Department of Computer Science
1.3K
(top 0.1%)
papers
24.7K
(top 1%)
citations
68
(top 1%)
h
-index
118
(top 1%)
g
-index
1.8K
all documents
29.7K
doc citations
3.1K
citing journals
Top Authors (by articles)
#
Author
Articles
Citations
R ARank
R CRank
1
Michael Fisher
76
1,705
1
1
2
Trevor Bench-Capon
75
1,642
1
1
3
Prudence W H Wong
64
681
1
1
4
Frans Coenen
51
610
1
1
5
Peter Mcburney
49
1,863
1
1
6
Clare Dixon
43
709
1
1
7
Michael Wooldridge
39
3,035
1
1
8
Katie Atkinson
31
792
1
1
9
Simon Parsons
29
1,507
1
1
10
Paul G Spirakis
27
267
1
1
11
Rahul Savani
26
228
1
1
12
Louise A Dennis
25
827
1
1
13
Roy Rada
23
242
1
1
13
Wiebe Van Der Hoek
23
608
1
1
15
Nicholas R Jennings
20
3,966
3
2
16
Dariusz R Kowalski
19
219
1
1
17
Floriana Grasso
18
237
1
1
17
Ullrich Hustadt
18
231
1
1
17
Alexei Lisitsa
18
205
1
1
17
Sven Schewe
18
161
1
1
21
Michele Zito
17
469
1
1
22
Karl P Tuyls
16
437
1
1
22
Yalin Zheng
16
819
1
1
22
Matt Webster
16
393
1
1
25
Othon Michail
15
97
1
1
25
Shan Luo
15
285
1
2
27
Kaizhu Huang
14
70
2
10
27
Simon D Parsons
14
783
1
1
27
John Fearnley
14
134
1
1
30
Michael Zakharyaschev
13
387
1
1
30
Leslie Ann Goldberg
13
319
3
2
30
Paul C Bell
13
80
1
1
33
George B Mertzios
12
191
2
2
33
Paul W Goldberg
12
133
1
1
33
John Yannis Goulermas
12
137
3
3
33
Bogdan S Chlebus
12
169
2
2
37
Xiaowei Huang
11
177
1
2
37
Terry R Payne
11
59
1
2
37
Mordechai Shalom
11
92
1
1
40
Vitaliy Kurlin
10
205
1
3
40
Tingting Mu
10
201
3
3
40
Sheng-Uei Guan
10
96
1
1
40
Bailing Zhang
10
253
2
2
40
Ka Lok Man
10
293
2
1
40
Cláudia Nalon
10
81
1
1
40
Andrzej Pelc
10
612
1
1
40
Frank Wolter
10
277
1
1
48
Eleni C Akrida
9
94
1
1
48
Xiaotie Deng
9
79
4
11
48
Thanh-Toan Do
9
155
1
1
48
Carsten Lutz
9
391
1
1
48
Carmine Ventre
9
60
1
1
48
Tomasz Jurdzinski
9
103
2
2
48
Irina V Biktasheva
9
153
1
1
48
Danushka Bollegala
9
209
1
1
56
Evangelos Kranakis
8
87
4
5
56
and Mohd Hanafi Ahmad Hijazi
8
95
1
1
58
Savas Konur
7
122
2
2
58
Michael Luck
7
425
5
3
58
Adam Wyner
7
122
1
1
58
Chao Yan
7
217
1
1
58
Robert Sanderson
7
118
1
1
58
Trevor J M Bench-Capon
7
172
1
1
64
Viktor A Zamaraev
6
38
2
2
64
Vadim Biktashev
6
121
1
1
64
Jesper Jansson
6
80
3
3
64
Marie Farrell
6
257
1
1
64
Rafael H Bordini
6
284
1
1
64
R M Christley
6
40
3
18
64
Martin Dyer
6
100
4
7
64
Gautam Pal
6
62
1
1
64
Matt Luckcuck
6
254
1
1
64
Wojciech Rytter
6
323
1
1
64
Roman Kontchakov
6
100
1
2
64
Chiara Ghidini
6
335
1
1
64
Andrzej Lingas
6
66
2
2
77
Aris Filos-Ratsikas
5
39
1
1
77
Daan Bloembergen
5
28
1
1
77
Lap-Kei Lee
5
84
2
3
77
Grzegorz Stachowiak
5
96
2
2
77
Doron A Peled
5
16
2
3
77
Amir Hussain
5
10
8
61
77
Wenjie Ruan
5
123
2
1
77
Davide Grossi
5
90
1
1
77
Kkf Yuen
5
43
2
2
77
Vadim Lozin
5
13
2
5
77
Dwight Barkley
5
167
2
5
77
Yitian
5
133
7
12
77
Chryssis Georgiou
5
36
3
4
77
Fabio Papacchini
5
43
1
1
77
Martin Gairing
5
19
2
4
77
Sanjay Modgil
5
84
1
4
93
Vicent Cholvi
4
22
1
1
93
Ashraf Elsayed
4
42
1
1
93
Dominik Wojtczak
4
71
1
1
93
Yanda Meng
4
118
1
1
93
Sultan S Alshamrani
4
10
5
20
93
Habib Ullah Khan
4
96
5
3
93
Wei Wang
4
30
2
3
93
Nicolas Berthier
4
12
1
1
93
Alan Frank T Winfield
4
167
3
2
93
Evangelos Bampas
4
40
2
1
93
Andrew Foulkes
4
118
1
1
93
Reino Niskanen
4
8
1
1
93
Bay Vo
4
216
7
2
93
Xingyu Zhao
4
20
1
2
93
Thomas Erlebach
4
21
3
5
93
Sang-Ki Ko
4
12
2
2
93
Bogdan Alecu
4
11
2
3
93
Renate A Schmidt
4
47
2
3
93
Angelo Ferrando
4
62
2
1
93
Tero Harju
4
19
4
5
93
Xiaohui Zhu
4
10
1
1
93
Yixin Zhang
4
10
3
22
93
Sven Linker
4
17
1
2
93
Marcin Jurdzinski
4
34
2
3
93
Thomas Ågotnes
4
64
2
3
93
Tak-Wah Lam
4
74
3
12
93
David Richerby
4
62
1
1
93
Adrian Kosowski
4
51
2
2
93
Sheng-Uei Guan
4
9
4
6
123
Vanessa A Sluming
3
7
2
12
123
Michael F Wehner
3
155
2
14
123
Fu-Hong Liu
3
6
1
1
123
Rafael C Cardoso
3
53
2
2
123
Suparna De
3
7
2
7
123
Michael Segal
3
11
5
16
123
Guido de Croon
3
300
2
2
123
Chaomei Chen
3
14
4
11
123
Daniel Fernandes Gomes
3
45
1
1
123
Bart Verheij
3
128
2
1
123
Emily C Collins
3
69
1
1
123
Kwankamon Dittakan
3
3
1
1
123
Hsiang-Hsuan Liu
3
12
1
1
123
Yanbin Hao
3
156
1
1
123
Gianluca De Marco
3
48
1
2
123
Anh Nguyen
3
25
1
1
123
Iyad Rahwan
3
436
4
15
123
Marcin Bienkowski
3
4
2
6
123
Costas D Koutras
3
1
2
7
123
Thomas C Carroll
3
7
1
1
123
Rayner Alfred
3
32
1
1
123
Guangrun Wang
3
156
16
15
123
Latifa
3
75
1
1
123
Lijun Zhang
3
24
1
2
123
Stephen R Mason
3
40
4
7
123
Carmen Fernandez-Gago
3
75
1
1
123
Kimberly McGuire
3
300
2
2
123
Paul Gainer
3
8
1
1
123
Aris T Pagourtzis
3
42
2
3
123
Andrea Omicini
3
80
1
1
123
Christophe De Wagter
3
300
2
2
123
Franco Zambonelli
3
322
2
1
123
Vladislav Ryzhikov
3
21
1
1
123
Russell Martin
3
39
1
1
123
Yannis C Stamatiou
3
8
4
8
123
Zhanfeng Cui
3
6
8
44
123
Amara Callistus Nwosu
3
40
1
1
123
Khanh-Duy Nguyen
3
57
2
5
123
Tuong Le
3
106
4
7
123
Giacomo Bonanno
3
1
3
4
123
Alexandros A Voudouris
3
37
3
3
123
David Peleg
3
81
1
1
123
Xianbin Hong
3
14
1
1
123
Łukasz Kuszner
3
15
2
2
123
Simon Maskell
3
137
2
4
123
Yuming Li
3
147
1
1
123
Tat-Jun Chin
3
64
3
8
123
Marija Slavkovik
3
132
2
2
123
Jia Meng
3
35
9
20
123
Vesa Halava
3
18
2
1
123
Abdullah Alsaedi
3
3
1
1
123
Benjamin Hirsch
3
56
1
1
123
Tim Miller
3
68
2
2
123
Prudence Wh Wong
3
15
1
1
123
Zimi Li
3
39
2
2
123
Boris Konev
3
9
1
1
123
Artur Czumaj
3
13
4
9
123
Sieuwert Van Otterloo
3
28
1
1
123
Grzegorz Muszynski
3
155
1
3
182
Ioannis Lamprou
2
11
1
1
182
Pietro Baroni
2
17
1
2
182
Richang Hong
2
77
6
12
182
Anh-Dzung Doan
2
5
2
2
182
Richard Sloane
2
132
1
1
182
Montserrat Hermo Huguet
2
2
1
1
182
Dawei
2
0
2
8
182
Miguel A Mosteiro
2
3
3
4
182
Elena Botoeva
2
17
1
1
182
Wojciech Jamroga
2
61
2
2
182
Antonio Fernández Anta
2
11
3
9
182
Mohammed Alsuhaibani
2
23
1
1
182
Nawal Almutairi
2
5
1
1
182
Ali Ahmed
2
6
3
7
182
David F Manlove
2
79
4
3
182
Hang Dong
2
17
1
1
182
Zhiqiu Huang
2
4
2
16
182
Luciano Guala'
2
18
1
1
182
Gunnar Seemann
2
44
6
19
182
Enrico H Gerding
2
21
3
8
182
Tzung-Pei Hong
2
76
23
18
182
Huu Le
2
38
2
1
182
Andrés Perea
2
0
1
5
182
Ian D Reid
2
44
4
8
182
Daniel Carr
2
132
25
37
182
Enitan D Carrol
2
37
11
16
182
Alfredo Navarra
2
22
2
3
182
Dorota Mackiewicz
2
3
5
6
182
Marta Kwiatkowska
2
56
5
7
182
Simon A Dobson
2
18
3
8
182
Georgios Kourtis
2
20
1
1
182
Hervé Marchand
2
2
1
2
182
Danny Krizanc
2
26
7
6
182
Shunmay Yeung
2
37
2
13
182
David Flynn
2
14
2
9
182
Michael Jump
2
79
2
1
182
Hoang Nguyen Anh Tuan
2
37
2
2
182
Maya Wardeh
2
35
2
2
182
Alexander D Singleton
2
35
2
5
182
Yasir Latif
2
44
2
2
182
Sanjay Ram Kharche
2
44
5
6
182
Jieming
2
192
3
1
182
Henry Prakken
2
59
3
7
182
Ariella Voloshin
2
38
2
1
182
Daniel Hennes
2
19
2
1
182
Lakshmi Anantharamu
2
29
2
2
182
Ana Ozaki
2
4
1
1
182
Nan Zhang
2
192
2
1
182
Sophia Ananiadou
2
12
9
34
182
Jean Christoph Jung
2
12
1
1
182
Bac Le
2
125
3
2
182
To Ting
2
192
3
3
182
Chris Preist
2
240
3
1
182
Tomasz P Michalak
2
58
2
2
182
Brian Davis
2
18
1
1
182
Kheng Lee Koay
2
54
2
2
182
Paolo Penna
2
11
2
2
182
Simon Leigh
2
37
1
2
182
Yo-Sub Han
2
11
3
4
182
Austin J. Brockmeier
2
5
4
10
182
Ali Ahmed
2
6
2
3
182
Munir Pirmohamed
2
132
42
64
182
Cees Witteveen
2
4
1
3
182
Vincenzo Auletta
2
11
1
1
182
Victor Chang
2
83
15
20
182
Martin Zimmermann
2
10
1
1
182
Bowen Song
2
37
2
4
182
Louis W Niessen
2
37
5
23
182
Liz Sonenberg
2
419
2
1
182
Max Klimm
2
9
6
4
182
Valentin Robu
2
14
4
16
182
Karthik Kashinath
2
155
2
4
182
Dario Izzo
2
18
1
3
182
Themistoklis Melissourgos
2
15
1
1
182
Abdullah Alshehri
2
1
3
8
182
Martin Hoefer
2
34
2
3
182
Ngai-Man Cheung
2
37
5
10
182
Ulises Cortés
2
36
1
3
182
Sandor M Veres
2
169
2
1
182
Federico Cerutti
2
17
3
2
182
Carles Sierra
2
1,022
2
1
182
Mikhail Sheremet
2
23
1
1
182
Karoliina Lehtinen
2
7
1
1
182
Jenny A Hodgson
2
3
7
19
182
Yiannis Giannakopoulos
2
1
1
2
182
Małgorzata Wnętrzak
2
3
2
2
182
Gerardo I Simari
2
28
3
4
182
Alexandru Popa
2
1
4
11
182
Paweł Błażej
2
3
2
4
182
Cecile L Paris
2
27
1
2
182
John C Mccabe-Dansted
2
6
3
3
182
Pin Ni
2
83
1
1
182
Hans van Ditmarsch
2
4
2
6
182
Matthew Bradbury
2
13
2
2
182
Massimiliano Giacomin
2
17
2
2
182
Paweł Mackiewicz
2
3
11
46
182
Animesh Dutta
2
1
3
3
182
Boris Motik
2
123
2
3
182
Daiyun Huang
2
37
1
1
182
Yitian Zhao
2
63
7
13
182
Christos Nomikos
2
0
2
4
182
Thomas Sauerwald
2
5
1
3
182
Austin J Brockmeier
2
5
4
8
182
Wenjin Lu
2
76
2
2
182
Sarit Kraus
2
11
5
19
182
Huda Hakami
2
8
1
1
182
Edith Elkind
2
70
2
1
182
Robert Elsässer
2
5
2
4
182
Dariusz Kowalski
2
39
1
1
182
Rolando Medellin-Gasque
2
12
1
1
182
Jarosław Mirek
2
6
1
1
182
Tomasz Radzik
2
58
2
2
182
Dirk Walther
2
32
1
1
182
Piotr Krysta
2
31
1
1
182
Kai Salomaa
2
8
3
6
182
Janet Strivens
2
10
1
3
182
Thomas F Gordon
2
110
1
4
182
Erez Kantor
2
35
1
1
182
Latifa Al-Abdulkarim
2
62
1
1
182
Ayesh Alshukri
2
3
1
6
182
Kevin P Costello
2
1
2
6
182
Bernhard Von Stengel
2
21
2
3
308
Hao Wu
1
2
1
2
308
Ting Wang
1
0
8
40
308
Muffy Calder
1
3
1
6
308
Farnaz Derakhshan
1
11
3
6
308
Kitty Meeks
1
19
2
1
308
Paolo Bouquet
1
45
2
1
308
Nathan F Lepora
1
7
6
12
308
Jionglong Su
1
24
5
5
308
Anthony Hunter
1
179
3
2
308
Neil Urquhart
1
77
1
1
308
Richard Wenstone
1
66
1
3
308
Quang D Tran
1
10
1
1
308
Bryan Williams
1
15
3
5
308
Ghassan H Mardini
1
7
3
4
308
Georgios Kontonatsios
1
4
3
4
308
Yu Wu
1
8
1
1
308
Dang-Khoa Le Tan
1
18
1
1
308
Joshua Sack
1
2
4
7
308
Gudrun Magnusdottir
1
126
5
5
308
Paolo Paoletti
1
40
8
3
308
Stella Heras
1
19
1
1
308
Asif Gill
1
0
6
8
308
Tamsin McGlinchey
1
21
3
4
308
Yue Wang
1
10
1
1
308
David Suter
1
20
10
9
308
Henri Casanova
1
0
3
6
308
Enrico Blanzieri
1
45
3
5
308
Stephanie Chua
1
4
2
2
308
Tyron Louw
1
9
2
3
308
Giuseppe Persiano
1
0
1
0
308
Joerg C Widmer
1
6
4
10
308
Xiaodong Li
1
1
7
11
308
Kevin Costello
1
1
3
6
308
Eric Gregoire
1
13
2
2
308
Michele Sevegnani
1
0
1
2
308
Alexander Artikis
1
3
2
5
308
Johan Hulleman
1
21
7
9
308
Filippo Geraci
1
13
2
6
308
Yuri Matiyasevich
1
2
1
1
308
Rinke J Hoekstra
1
19
3
2
308
Jens Ulrik Hansen
1
24
2
2
308
Jens Kober
1
17
2
5
308
Anna M Wilson
1
126
6
3
308
Piotr Bała
1
0
2
7
308
John Grant
1
11
5
5
308
Morteza Lahijanian
1
9
3
10
308
Sadasivan Puthusserypady
1
0
5
14
308
Xinjian Gao
1
0
3
5
308
Lis Cordingley
1
2
4
13
308
Yong Yue
1
8
7
11
308
Paul Bremner
1
45
2
3
308
Daniel Schmand
1
4
2
3
308
Wing-Kin Sung
1
11
20
65
308
Bernard Mans
1
0
3
7
308
Wenzhen Yuan
1
71
2
5
308
Harinarayan Krishnan
1
126
4
4
308
Frank Schilder
1
106
1
1
308
Lu Zhang
1
1
5
10
308
Juan Echagüe
1
9
1
1
308
Helen V Griffith
1
126
1
1
308
Bart D W Remes
1
11
2
2
308
Anna Ingolfsdottir
1
2
5
9
308
Boaz Patt-Shamir
1
1
6
12
308
David Fernández-Duque
1
10
2
3
308
Marco Bertamini
1
21
11
14
308
Raul Fuentes
1
71
2
2
308
Eric Rutten
1
2
1
3
308
Paul J Taylor
1
75
10
6
308
Dimosthenis Karatzas
1
14
2
2
308
Xin Yao
1
2
33
68
308
Serafino Cicerone
1
0
3
3
308
Rhiannon Corcoran
1
26
7
11
308
Waleed Al-Nuaimy
1
15
11
11
308
Ioannis Chatzigiannakis
1
19
2
6
308
David Yau
1
9
6
20
308
David De Roure
1
4
13
23
308
Thomas Linsbichler
1
42
4
2
308
Frank Stephan
1
10
12
21
308
Qi, Qi
1
5
5
6
308
Fiona J Rowe
1
15
8
7
308
Ashutosh Trivedi
1
54
3
2
308
Felix Greaves
1
48
10
120
308
Craig A Watterson
1
4
3
2
308
David John Lewis
1
103
3
3
308
Robert Babuska
1
17
15
18
308
Philip Lazos
1
1
1
1
308
Maria Serna
1
23
7
4
308
Kerstin Eder
1
42
3
3
308
Haris Aziz
1
10
2
4
308
Elliot Anshelevich
1
12
2
3
308
Bernhard Paul Harrenstein
1
0
2
4
308
Jacob Langham
1
9
2
2
308
Juan M Lora
1
126
10
6
308
Alisa Kovtunova
1
4
1
1
308
Sotiris Moschoyiannis
1
1
4
12
308
Samer Nofal
1
5
2
3
308
Lukas Esterle
1
77
5
1
308
Jessica Enright
1
19
1
1
308
Jinyu Wen
1
320
22
5
308
Joanna Hajne
1
29
1
1
308
Richard D Rainbow
1
27
4
4
308
Esra'a Alshdaifat
1
2
1
1
308
Wing-Kai Hon
1
9
11
12
308
Daniela Ghio
1
2
13
18
308
Qinghua Wu
1
6
8
5
308
Yì N Wáng
1
3
3
3
308
Herbert Van de Sompel
1
7
2
3
308
Tim French
1
2
2
2
308
Imelda Bates
1
6
10
18
308
Henggui Zhang
1
30
26
35
308
Fred Ralph
1
126
12
8
308
Qiu-Feng Wang
1
21
2
3
308
Mark A Green
1
12
17
53
308
Baharak Rastegari
1
8
3
5
308
Yi Zhu
1
3
3
3
308
Fabian Kuhn
1
10
3
9
308
Yohan Noh
1
9
9
21
308
Vasiliki Liagkou
1
0
1
2
308
Jochen L Leidner
1
106
1
1
308
Mordecai J Golin
1
20
7
7
308
Tom Friedetzky
1
6
6
6
308
Antonis Achilleos
1
2
5
4
308
Krzysztof Apt
1
0
1
0
308
Harriet Unsworth
1
48
1
1
308
Knoorliza; Karia, N
1
0
2
5
308
Malte Renken
1
4
1
1
308
John Powell
1
48
11
17
308
Michael K Bane
1
0
1
3
308
Rasmus Pagh
1
4
3
4
308
Feifeng Zheng
1
11
9
8
308
Kirk W Cameron
1
0
5
12
308
Rafael Ferreira Da Silva
1
0
5
18
308
Matthew J Rosseinsky
1
29
22
39
308
Narine A Sarvazyan
1
30
8
12
308
Yann Disser
1
4
2
2
308
Fabio Somenzi
1
54
1
1
308
Yang Gao
1
19
3
5
308
Luca Aceto
1
2
5
9
308
Michael Y Galperin
1
53
12
36
308
Wolfgang Dvořák
1
42
4
3
308
Irina Gorodetskaya
1
126
9
9
308
Mia Persson
1
0
1
0
308
Bijan Ranjbar-Sahraei
1
1
3
5
308
Tomasz Kociumaka
1
4
2
3
308
Baidaa Al-Bander
1
15
3
5
308
Ipek Caliskanelli
1
6
3
3
308
Kevin Lee
1
10
4
6
308
Vicente Julian
1
19
2
3
308
Antonio Liotta
1
38
8
9
308
Maryam Kamali
1
92
1
1
308
Eleftheria Pervolaraki
1
2
3
9
308
Juan A Rodriguez-Aguilar
1
22
1
2
308
Monaldo Mastrolilli
1
21
1
4
308
Fernando Lopes
1
111
1
1
308
Ngai Wong
1
4
5
7
308
Abdullah Khan
1
1
1
1
308
Theanh Anh Han
1
77
3
1
308
Yuan Feng
1
5
3
4
308
Yuval Emek
1
19
2
2
308
Elizabeth E Mcclenny
1
126
4
4
308
L Ruby Leung
1
126
27
25
308
Swen Brands
1
126
1
2
308
Emanuele Lindo Secco
1
9
7
11
308
Tuong K Do
1
10
1
1
308
Elli Zavou
1
5
1
1
308
Caroline Dart
1
27
6
9
308
Allison Collow
1
126
4
4
308
Ernst-Rüdiger Olderog
1
11
2
4
308
Hong Shen
1
0
14
19
308
Mingjie Sun
1
25
1
1
308
Michail Theofilatos
1
0
1
0
308
Alessandro Artale
1
4
2
3
308
Jan J Vanthienen
1
13
8
9
308
Jean-Louis Giavitto
1
16
1
1
308
Yiu, Sm
1
1
14
39
308
Franz Baader
1
7
5
7
308
Maximiliano Viale
1
126
1
1
308
Yang Cui
1
11
4
5
308
Xiaoqing Peng
1
1
4
4
308
Nicolas Maudet
1
22
1
1
308
Elizabeth Black
1
4
3
3
308
Hongbin Liu
1
9
17
32
308
Georgios Amanatidis
1
14
1
1
308
Rachel Calam
1
12
13
18
308
Abdullah Bin Gani
1
16
25
42
308
Rohit Vaish
1
1
1
1
308
Alexander Wittig
1
7
2
4
308
Joao Bimbo
1
7
6
10
308
Carlo Combi
1
10
5
8
308
Chandan Sarangi
1
126
7
4
308
Ioannis Caragiannis
1
3
5
10
308
Matthew S Dyer
1
29
11
19
308
Petr Novotny
1
7
3
4
308
Jodi A Schneider
1
2
2
9
308
Tielin Zhang
1
7
2
3
308
Rudi Palmieri
1
3
2
2
308
Shi Cheng
1
7
11
18
308
Mark Reynolds
1
2
4
8
308
Tiexin Wang
1
1
2
3
308
Diogo Poças
1
0
5
5
308
Zuraini Zainol
1
16
3
2
308
Mark X Caddick
1
56
4
16
308
Selina K Wallis
1
6
1
7
308
Mohammed S Sayed
1
4
5
5
308
Decebal Constantin Mocanu
1
38
3
5
308
Fiona O'Brien
1
27
3
3
308
Koen V Hindriks
1
56
5
5
308
Hilbert Johan Kappen
1
148
3
1
308
Nicolas Troquard
1
2
2
2
308
Ying Li
1
8
1
1
308
Fausto Giunchiglia
1
45
4
5
308
Xin Huang
1
2
2
5
308
Joanna Tyrowicz
1
12
2
1
308
Gleifer Vaz Alves
1
10
1
2
308
Andreas Abels
1
4
2
3
308
Kunqi Chen
1
10
5
5
308
Nilufar Baghaei
1
4
5
6
308
Paul Dunne
1
3
1
1
308
Sebastian Wild
1
7
1
3
308
Rizos Sakellariou
1
20
7
17
308
Nicos Protopapas
1
3
1
1
308
Chi-Un Lei
1
4
3
4
308
Guoxing Wen
1
11
7
13
308
Vicent Botti
1
19
3
1
308
Argyrios Deligkas
1
2
1
1
308
Antoni Ligeza
1
13
1
2
308
Antonín Kučera
1
7
2
2
308
Travis A. O'Brien
1
126
4
3
308
Daniel Kroening
1
47
5
3
308
Andrea Pazienza
1
3
1
2
308
Chris A Reed
1
38
2
3
308
Paweł Garncarek
1
4
2
2
308
Koichiro Matsuno
1
10
3
3
308
Igor Potapov
1
0
1
0
308
Choon Beng Tan
1
16
2
2
308
Gernot Plank
1
33
23
31
308
Tamara Shulgina
1
126
1
1
308
Qi Chen
1
13
1
2
308
Sunil Simon
1
0
2
2
308
Richard A Anderson
1
2
27
134
308
Martin Wa Caminada
1
97
1
1
308
Daniel John Rigden
1
53
18
29
308
Matt Bright
1
6
1
1
308
Armin Weiß
1
7
1
1
308
Craig Bennell
1
75
7
5
308
Qi Zhu
1
8
8
9
308
René Bañares-Alcántara
1
0
5
9
308
Mohammad H Alomari
1
15
1
1
308
David A Lavers
1
126
5
4
308
Paolo Ciancarini
1
170
4
1
308
Diodato Ferraioli
1
7
1
1
308
Simeon Warner
1
7
3
3
308
Lynda Ayiku
1
48
1
1
308
Panagiotis Kanellopoulos
1
1
4
5
308
Ian J C Maccormick
1
30
3
6
308
Igor S Grunskii
1
3
1
2
308
Kunihiko Sadakane
1
11
11
16
308
Daniel Gotsch
1
8
1
1
308
Nicholas E Scott-Samuel
1
21
6
9
308
Yifan Zhao
1
15
29
56
308
Bin Guan
1
126
9
6
308
Gwendolyn Cowley
1
56
1
1
308
Chung Keung Poon
1
11
4
7
308
Xi Yang
1
5
3
3
308
Przemysław Uznański
1
10
3
3
308
Marek Chrobak
1
18
6
6
308
Benedict Daniel Michael
1
20
14
38
308
Prosenjit Bose
1
22
23
19
308
Gareth D Weedall
1
56
4
16
308
Angela Faragasso
1
9
5
6
308
亚奇 褚
1
6
2
2
308
Cedric Perret
1
77
1
1
308
Si Liu
1
25
7
7
308
Ola Younis
1
15
2
2
308
Paolo Torroni
1
44
2
1
308
Kerstin Dautenhahn
1
51
4
9
308
Chao Huang
1
8
2
2
308
Fernand Gobet
1
26
16
19
308
Peter Andras
1
77
9
3
308
Ernst Moritz Hahn
1
54
3
2
308
Jimin Xiao
1
25
3
3
308
Yi Zeng
1
7
5
7
308
Benjamin Doerr
1
80
2
1
308
Guido Governatori
1
106
3
2
308
Uriel Martinez-Hernandez
1
7
7
12
308
Kostas Stathis
1
5
4
9
308
Ian E Pratt-Hartmann
1
4
3
6
308
Nicholas L Geard
1
4
6
20
308
Talal Rahwan
1
46
5
5
308
Xueliang Liu
1
32
4
2
308
Simon T Powers
1
77
2
2
308
Alexei Vernitski
1
1
1
3
308
Enggee Lim
1
25
11
11
308
Bo Tang
1
1
1
1
308
Ardhendu Behera
1
21
3
8
308
Matthew Baylis
1
3
8
26
308
Alun Preece
1
49
5
3
308
Alexander Lyaletski
1
8
1
1
308
Richard Barrett-Jolley
1
27
7
16
308
Michael Guckert
1
77
2
1
308
Puteri Nor Ellyza binti Nohuddin
1
16
1
1
308
Naomi Goldenson
1
126
3
3
308
Ricardo Tomé
1
126
5
4
308
Douglas Walton
1
20
6
6
308
Scott L Sellars
1
126
4
4
308
Hans Dierckx
1
5
8
13
308
Morozov IYu
1
56
4
4
308
Yanhua Xu
1
1
1
1
308
Zhangxin Chen
1
2
3
5
308
Norazlina Khamis
1
16
1
1
308
Brian Kawzenuk
1
126
4
4
308
Wei Huang
1
5
1
1
308
Oliver Kutz
1
141
2
1
308
Stefan Woltran
1
42
7
5
308
Fernando Sancho Caparrini
1
13
2
3
308
Martyn Amos
1
16
3
4
308
Numan Celik
1
27
1
1
308
Maurice Funk
1
10
1
1
308
Mamadou M Kanté
1
2
1
3
308
Michael Gaultois
1
29
17
22
308
Guohua Shen
1
1
2
2
308
Giovanni Sartor
1
4
3
7
308
Alessandro Varsi
1
5
2
2
308
Tadeusz Litak
1
8
4
6
308
Xiao Wang
1
8
7
8
308
Zhonglin Lin
1
40
3
3
308
Roba Abbas
1
77
4
8
308
Michał Araszkiewicz
1
106
3
1
308
Alexander Panfilov
1
5
15
35
308
Anders Eriksson
1
20
4
4
308
Mirko Viroli
1
1
3
4
308
Evangelia Kavakli
1
20
2
3
308
Fraser MacQuarrie
1
8
2
2
308
Jacky Visser
1
0
1
2
308
Chunyu Lin
1
10
8
10
308
Vicky Papadopoulou Lesta
1
0
4
6
308
Manolis Pitsikalis
1
2
1
1
308
Nancy Ann Lynch
1
10
3
7
308
Biswanath Dutta
1
1
2
3
308
Helge Arne Wurdemann
1
9
9
20
308
Alexandre M Ramos
1
126
8
7
308
Marco Pellegrini
1
13
7
9
308
Alexandros
1
8
2
2
308
Wood,david A
1
1
13
40
308
Mr Prabhat
1
126
1
1
308
Jichao Zhao
1
14
15
34
308
Alessio Lomuscio
1
302
4
2
308
Kelly Mahoney
1
126
1
1
308
Alexandros Alexiou
1
23
1
1
308
Munindar P Singh
1
24
4
4
308
Hai-Ning Liang
1
10
7
11
308
Peter Clote
1
7
7
11
308
Arun V Holden
1
2
7
17
308
Michael L Nelson
1
7
5
5
308
Xiaosong Yang
1
23
2
4
308
Adrian Francalanza
1
2
4
5
308
Ashley E Payne
1
126
6
5
308
Alkmini Sgouritsa
1
1
1
1
308
Nirmalie Wiratunga
1
13
4
5
308
Kostas Tsichlas
1
2
3
5
308
Paul A Ullrich
1
126
9
7
308
Jonathan M Aitken
1
19
5
3
308
Mateo Perez
1
54
1
1
308
Jonathan J Rutz
1
126
5
4
308
Andrea Turrini
1
5
1
3
308
Seth Bullock
1
4
6
11
308
Jose Maria Diaz Cort
1
23
3
3
308
Alexander Allister Schwarzmann
1
2
1
1
308
Dejanira Araiza-Illan
1
42
2
2
308
Fernando R Velázquez-Quesada
1
17
1
1
308
Christine A Shields
1
126
6
5
308
Duane E Waliser
1
126
10
8
308
Toby Ord
1
24
2
2
308
Rasmus Ibsen-Jensen
1
1
2
5
308
Benny Applebaum
1
1
3
5
308
Yun Qian
1
126
9
16
308
Tony J Prescott
1
1
12
19
308
Jia Shuncheng
1
7
2
2
308
Minhao Jin
1
22
1
1
308
Jian Xie
1
1
2
2
308
Marcelo A Falappa
1
18
3
4
308
Evripidis Bampis
1
11
2
2
308
Sarah Stanley
1
21
1
1
308
Mark Salmon
1
48
1
1
308
Tosin Oladapo
1
48
1
1
308
Chen Fu
1
5
1
1
308
Yiming Luo
1
10
1
1
308
Clara Waldmann
1
0
1
3
308
Aneta Karaivanova
1
28
2
1
308
Jiayun Kang
1
8
1
1
308
George Skretas
1
1
1
1
308
Yihong Qiao
1
30
1
1
308
Eyal Nussbaum
1
6
1
1
308
Sanjay Jain
1
10
8
14
308
Krzysztof R Apt
1
0
2
10
308
Gregor V Bochmann
1
11
2
2
308
Bart De Keijzer
1
10
1
1
308
Samer Nofal
1
1
1
1
308
Lawrence L Larmore
1
20
8
5
308
Liqian Chen
1
10
1
1
308
Alessio R Lomuscio
1
302
1
1
308
Erich Schweighofer
1
106
1
1
308
Steve Phelps
1
62
2
1
308
Dmitry Tishkovsky
1
13
2
3
308
Ivan Bratko
1
26
5
5
308
Mark D'inverno
1
106
3
2
308
Roger Wattenhofer
1
0
3
12
308
Jinzhong Niu
1
19
1
1
308
Qh Wu
1
320
6
2
308
Jack G Conrad
1
106
1
1
308
Abouzar Choubineh
1
1
1
4
308
Qi Qi
1
5
3
4
308
Zoé Christoff
1
24
3
3
308
Mieczyslaw Owoc
1
13
1
1
308
Najmeh Taleb
1
15
1
1
308
Anna Philippou
1
0
2
3
308
Markus N Rabe
1
9
1
1
308
Seth Gilbert
1
8
5
3
308
Nancy Lynch
1
10
2
4
308
Michal Pechoucek
1
57
3
2
308
Boaz Patt-Shamir
1
1
3
3
308
Shakil Ahmed
1
17
1
1
308
Mariusz Jacyno
1
4
1
1
308
Alexander Bolotov
1
19
5
1
308
Euripides Markou
1
39
4
2
308
Louwe B Kuijer
1
3
1
1
308
David K Y Yau
1
9
3
8
308
Paul Sant
1
5
1
1
308
Alan Gibbons
1
145
3
1
308
Christos H Papadimitriou
1
5
10
22
308
Yuechun Wang
1
10
1
1
308
Martin Hilscher
1
11
1
2
308
Dominik Pająk
1
4
1
1
308
Min Wu
1
56
1
1
308
Santhana Chaimontree
1
10
1
1
308
Yang Sun
1
1
1
1
308
Elizabeth I Sklar
1
14
2
2
308
Juhani Karhumäki
1
5
3
4
308
Jordan Salvit
1
14
1
1
308
Marios Mavronicolas
1
0
6
7
308
Konstantinos Liaskos
1
0
1
0
308
Bakhtiar Amen
1
17
1
1
308
Michail Fasoulakis
1
10
1
1
308
Prabhat
1
0
1
5
308
Carlo Proietti
1
24
2
2
308
Pengfei Yang
1
10
1
2
308
L Thorne Mccarty
1
106
1
1
308
Susan L Epstein
1
4
4
4
308
Danny Hughes
1
5
3
4
308
Tomas Brazdil
1
7
2
2
308
Sylvie Doutre
1
67
1
1
308
F Martin Ralph
1
126
10
7
308
Paulo Shakarian
1
18
3
3
308
Owen Mcaree
1
92
3
1
308
Moshe Babaioff
1
6
1
1
308
Louise Dennis
1
124
1
1
308
Berthold Vöcking
1
25
3
6
308
Danièle Bourcier
1
106
1
1
308
Donald Perlis
1
11
2
3
site/software ©
exaly
; All materials licenced under
CC by-SA
.