About
Technology
Issues
FAQ
Search
Journals
High Impact Journals
Most Cited Journals
Most Published Journals
Authors
Most Cited Authors
Most Published Authors
Affiliations
Top Institutions
Top Schools
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Disciplines
›
Logic
›
top-authors
Logic
70.3K
(top 1%)
papers
927.4K
(top 1%)
citations
278
(top 1%)
h
-index
468
(top 1%)
g
-index
87.6K
all documents
13.0K
doc citations
Top Authors (by citations)
#
Author
Articles
Citations
R ARank
R CRank
1
Krassimir T Atanassov
16
15,277
11
6
2
Francisco Herrera
37
8,399
14
13
3
Henri Prade
44
7,344
11
6
4
Ronald R Yager
50
7,190
12
11
5
Xinyue Liu
19
6,546
17
10
6
Witold Pedrycz
32
5,353
15
9
7
Saharon Shelah
402
5,199
4
4
8
Humberto Bustince
51
4,925
11
8
9
José L Verdegay
40
4,378
8
6
10
Janusz A Kacprzyk
18
4,222
13
6
11
Shyi-Ming Chen
15
3,819
15
11
12
Radko Mesiar
60
3,471
10
6
13
Erich Peter Klement
37
3,268
6
4
14
Hisao Ishibuchi
22
3,167
14
11
15
Robert Fullér
34
3,073
6
6
16
Bernard De Baets
91
3,032
11
12
17
Lotfi A Zadeh
4
2,936
14
12
18
Witold Pedrycz
16
2,866
9
6
19
Zeshui Xu
29
2,472
14
14
20
Lluis Godo
42
2,368
9
6
21
Peter Gärdenfors
5
2,313
19
7
22
Baoding Liu
12
2,150
9
9
23
Francisco Chiclana
9
2,120
15
14
24
Eulalia Szmidt
2
2,119
12
6
25
Michel Grabisch
13
2,114
15
9
26
Francesc Esteva
33
2,047
5
4
27
Robin Lewis Cooper
6
1,964
7
5
28
Christer Carlsson
11
1,893
13
7
29
Barnabas Bede
10
1,806
6
6
30
Przemysław Grzegorzewski
15
1,651
9
6
31
Ching-Hsue Cheng
7
1,648
20
9
32
Jaroslav Ramik
22
1,629
6
6
33
Thierry Marie Tm Guerra
15
1,586
10
9
34
Bing Chen
16
1,490
19
13
35
Vilem Novak
31
1,439
6
6
36
Joan Torrens
41
1,418
6
8
37
Johan van Benthem
24
1,406
5
6
38
Seyed Ali Torabi
5
1,397
21
11
39
Endre Pap
37
1,369
6
6
40
Laerte Sorini
16
1,337
6
6
41
Luciano Stefanini
15
1,334
6
6
42
Nicola Leone
23
1,285
10
10
43
Veeramani P
3
1,283
10
6
44
Sven Ove Hansson
44
1,261
7
7
45
Daniele Mundici
22
1,227
4
4
46
Radim Bělohlávek
24
1,205
10
5
47
Thomas Eiter
27
1,196
12
10
47
Irina Perfilieva
21
1,196
9
6
49
Georg Gottlob
15
1,191
13
14
50
Masahiro Inuiguchi
13
1,186
8
6
51
Marian B Gorzalczany
5
1,138
10
6
52
Martin Stokhof
2
1,137
8
7
53
Shaocheng Tong
7
1,135
18
14
54
Jánoš C Fodor
14
1,128
8
6
55
Marian B Gorzałczany
4
1,124
8
6
56
Heinrich Wansing
50
1,121
5
5
57
Franco Montagna
31
1,118
4
4
58
Antonio Sala
7
1,092
11
8
59
Joel David Hamkins
54
1,077
4
4
60
M Delgado
15
1,075
9
9
61
Arnon Avron
30
1,063
4
4
62
Wolfgang Faber
15
1,061
10
6
63
Yoichi Hayashi
12
1,054
11
8
64
Yuri Gurevich
17
1,048
6
4
65
Jouko Väänänen
52
1,045
4
4
66
Oscar Cordon
7
1,030
14
11
67
Petr Cintula
38
1,025
4
4
68
J Michael Dunn
26
993
6
6
69
Gleb Beliakov
26
982
11
11
70
Mao-Jiun J Wang
1
955
28
11
71
Sorin G Gal
2
948
15
4
71
Javier Fernandez
19
948
9
9
73
Luis Martinez
8
946
18
17
74
Javier Montero
25
938
11
10
75
Ranjit Biswas
3
935
6
6
76
Dombi József
17
927
10
6
77
Chiang Kao
7
917
16
13
78
Sándor A Jenei
24
916
4
4
79
Anna Maria Radzikowska
4
909
10
6
80
Silvio Ghilardi
32
908
9
4
80
Miin-Shen Yang
15
908
10
13
82
Yufei Yuan
2
907
18
7
83
Yurilev Chalco-Cano
25
898
6
7
84
Giovanni Bortolan
4
897
11
6
85
Newton C A Da Costa
8
893
4
1
86
Chris Cornelis
12
892
11
10
87
Mk Luhandjula
9
889
6
6
88
Yongming Li
6
888
19
13
89
Edurne Barrenechea
9
887
11
14
89
Henry Prakken
7
887
13
10
91
Bao Qing Hu
32
885
8
10
92
Xiaoping Liu
11
876
17
14
93
Miguel Pagola
7
866
11
8
94
Melvin Fitting
27
862
4
4
95
Jian-Bo Yang
3
857
25
18
96
Ju H. Park
13
850
32
29
97
Valentín Gregori
18
844
6
6
99
Rudolf Kruse
4
831
6
6
100
Weldon A Lodwick
19
829
6
6
101
Kakuzo Iwamura
3
827
7
5
102
Stuart M Shieber
4
824
12
8
103
Nicholas R Jennings
5
823
21
15
104
Dale Miller
9
819
10
6
105
Valentin Goranko
28
818
4
4
106
Alexander Rybalov
2
817
9
6
107
Guido Governatori
13
815
12
12
108
Mir Saman Pishvaee
4
814
24
17
109
Anand Pillay
66
811
4
4
110
Torsten Schaub
36
794
10
10
111
Alasdair Urquhart
35
792
4
4
112
Simona Perri
9
791
7
6
112
Hannu Nurmi
3
791
18
6
114
Peijun Guo
6
786
14
6
115
Tzung-Pei Hong
6
785
18
10
116
Jesús Medina
25
776
9
8
117
Ulrich Höhle
24
774
5
6
118
Robert van Rooij
11
772
6
6
119
Philippe Schlenker
10
757
8
8
120
Andre Nies
48
753
4
4
121
Francesco Scarcello
2
751
14
7
122
Luis Magdalena
4
742
10
8
123
Tomasa Calvo
22
734
7
7
124
Lauri Karttunen
1
733
5
5
125
Vladimir V Rybakov
40
725
4
4
125
Samson Abramsky
8
725
11
8
127
Janusz Czelakowski
27
723
4
4
128
Nicholas Asher
10
721
10
8
129
Chong Lin
7
714
27
20
130
Greg Restall
26
711
6
6
131
Dexue Zhang
34
710
5
6
132
Shiang-Tai Liu
4
708
17
10
133
Antonio González Muñoz
7
695
11
7
133
Ming-Sheng Ying
21
695
13
10
135
David Ripley
17
694
6
6
136
Ichiro Nishizaki
12
692
12
6
137
Trevor Bench-Capon
8
689
13
11
138
Qiang Shen
3
686
22
9
139
Shouming Zhong
6
684
29
18
140
Antonio Di Nola
44
682
4
4
141
Luis M De Campos
10
677
13
9
141
Christopher Kennedy
1
677
8
7
143
George Lakoff
1
674
26
19
144
John Corcoran
16
669
3
3
145
Vladimir Lifschitz
20
668
7
12
147
Kit Fine
11
662
4
4
148
Guillermo Ricardo Simari
9
661
13
9
149
Kaibo Shi
6
658
33
14
149
Peter N Lasersohn
6
658
7
7
151
Abdesselem Boulkroune
5
654
16
9
152
Benjamin Bedregal
17
652
11
11
153
Craige Roberts
4
650
6
6
154
Hiroakira Ono
21
645
4
4
155
Istvan Nemeti
16
639
4
5
156
Guillermo R Simari
6
637
13
7
157
Pierpaolo D'Urso
13
635
11
13
158
Michael Zakharyaschev
23
634
7
6
159
Emil Jeřábek
38
633
4
4
160
Andre Scedrov
17
632
10
8
161
Yongming Li
20
631
12
11
161
Frank Pfenning
8
631
10
10
163
María Ángeles Gil Álvarez
15
629
12
9
164
Franz Baader
14
624
10
11
165
Richard Jensen
2
621
16
10
166
Kai Yao
9
620
10
8
167
Heriberto Roman-Flores
17
617
7
9
168
Michael Shi
9
615
27
25
168
Sara Negri
18
615
7
6
170
Michal Baczynski
22
609
6
6
171
Fu-Gui Shi
32
607
6
6
172
Mary Dalrymple
4
605
8
8
173
Albert Visser
50
604
4
4
174
Hajnal Andreka
18
603
4
3
175
Jan Krajicek
11
597
4
4
176
Josefa Mula
4
587
15
13
176
Carles Noguera
27
587
4
4
179
Ewan Klein
4
585
7
7
180
Dong-Ling Xu
2
582
27
18
181
Francesca Toni
5
579
14
10
183
Jason Stanley
1
574
5
5
184
Balasubramaniam Jayaram
18
572
6
6
184
Robert Goldblatt
26
572
4
4
186
Jason Merchant
1
570
5
4
187
Patrick Blackburn
15
569
6
6
187
Roman Slowinski
8
569
19
18
189
Thierry Denoeux
8
567
12
11
189
Hans Rott
21
567
7
6
191
Yan-Jun Liu
4
565
29
15
192
C Vicente Ariño
2
558
11
6
192
Manuel Ojeda-Aciego
17
558
11
9
194
Salim Labiod
3
554
13
6
195
Chin-Teng Lin
10
551
30
29
196
Dorota Kuchta
6
548
11
6
197
Dorel Mihet
10
545
4
4
198
Frank Stephan
39
541
10
6
198
Mondher Farza
3
541
9
8
200
Carles Sierra
5
540
12
14
201
Antonis C Kakas
3
536
14
8
201
Guang-Hong Yang
14
536
26
26
201
G Feng
7
536
10
10
204
Ralph Mckenzie
29
533
5
5
204
Peter Kloeden
4
533
4
4
207
Margarita Mas
9
527
6
6
208
Trevor J M Bench-Capon
1
523
12
7
209
Raul Poler
3
521
17
11
210
George Metcalfe
22
519
4
4
211
Katrin Schulz
7
518
6
6
212
Joseph S Miller
31
517
4
4
213
Jun Wang
2
516
37
20
214
Valentina S Harizanov
40
511
4
4
215
Graçaliz Dimuro
8
506
13
11
216
Lukasz A Kurgan
2
505
42
23
216
Leendert van der Torre
15
505
12
12
219
Patrick Cousot
1
500
10
6
220
Huchang Liao
6
499
25
21
220
Yong-ming Li
2
499
28
14
222
Paul Egré
16
498
6
6
223
Alex Lascarides
4
495
10
7
224
Plamen Parvanov Angelov
4
493
23
18
224
Sy-Ming Guu
16
493
7
7
226
Almanzor Sapena
5
489
8
6
227
Elkafi Hassini
1
488
22
14
227
Ramon Jansana
31
488
4
4
229
David Pearce
12
485
13
7
230
Miroslav Ciric
15
484
6
6
231
Pawel Drygas
11
482
4
4
232
Weina Wang
1
480
11
6
233
Marek Z Reformat
5
477
14
8
234
Brian A Davey
44
476
5
4
234
Mariangiola Dezani
9
476
11
9
236
Philippe Fortemps
3
475
14
12
237
Moshe Y Vardi
6
474
12
8
237
Arthur W Apter
83
474
4
4
237
Nguyen Cat Ho
9
474
4
4
240
Gang Feng
8
471
26
24
240
Frank Klawonn
7
471
20
13
242
Chris Barker
9
469
7
8
242
Roberto Giuntini
24
469
5
5
244
Frank Veltman
3
467
1
1
245
Jipeng Zhao
2
465
15
14
246
Jeremy Avigad
29
464
4
4
246
Maarten Marx
21
464
8
8
248
Tadahiko Murata
2
463
10
6
249
Roberto Cignoli
21
460
4
4
250
Robert Babuska
4
459
25
16
251
Hsien-Chung Wu
33
458
9
12
253
Rohit Parikh
12
454
13
8
254
Ting-yu Chen
4
452
17
10
255
Andreja Tepavčević
33
451
6
6
256
Yong-Yan Cao
1
450
16
10
257
Philippe Balbiani
36
449
6
4
258
Don Pigozzi
13
448
4
4
258
Sébastien Konieczny
6
448
12
8
260
Jacek M. Leski
11
447
8
7
261
Ulrich Kohlenbach
31
446
4
5
262
Sung-Kwun Oh
17
443
10
10
262
Juite Wang
4
443
10
8
264
Roger D Maddux
31
442
4
4
265
Sergio Alonso
2
440
16
16
266
Giovanni Sartor
4
439
14
10
267
Jun Cheng
4
438
27
17
267
Jelena Ignjatović
11
438
6
6
269
Uli Sauerland
3
436
8
8
270
Zengtai Gong
16
434
7
6
270
Daniel Ruiz-Aguilera
16
434
6
6
270
Michael Fisher
13
434
11
10
270
Jeffrey Joines
2
434
12
6
270
Edwin D Mares
27
434
5
5
275
Timothy Williamson
11
433
4
4
276
James Cummings
25
431
4
4
277
Martine De Cock
12
430
11
9
277
Rita Almeida Ribeiro
3
430
18
11
279
Russell Miller
21
426
4
4
279
Vasco Brattka
20
426
6
6
281
Eyke Hüllermeier
4
424
19
15
282
Umberto Rivieccio
24
423
4
4
283
Andreas Weiermann
38
421
4
4
283
Mario Fedrizzi
1
421
19
12
285
Ju-Sheng Mi
5
420
15
12
286
Francesco Ricca
22
419
10
10
286
Mirko Navara
20
419
6
6
288
Lev Beclemishev
27
417
4
4
288
Jun Li
19
417
6
6
288
Gennaro Chierchia
4
417
8
8
291
Louis Wehenkel
2
413
17
15
292
Antonio Rufian-Lizana
8
410
8
7
293
Shang-Ming Zhou
3
409
14
8
293
Daniel Büring
1
409
7
6
295
Peter Schroeder-Heister
17
407
5
5
295
Joan Gispert
16
407
4
4
295
Vasile Lupulescu
7
407
7
7
298
Ngo Van Hoa
12
403
7
6
299
Maurice Bruynooghe
14
402
10
10
299
Simon G James
10
402
8
6
302
Nikos I Karacapilidis
2
400
25
9
302
Young Bae Jun
21
400
10
12
304
Nissim Francez
36
399
5
9
304
Wilfried Sieg
7
399
5
7
306
Grigoris Antoniou
8
398
12
11
307
Daniel Gomez
8
397
13
10
308
Gopalan Nadathur
2
395
10
5
309
Rosana Rodríguez López
12
394
10
7
310
Vladik Kreinovich
20
393
15
12
311
Jafar Razmi
1
392
28
15
311
J Razmi
1
392
14
6
313
Llorenç Valverde García
3
391
7
6
315
Alessandra Palmigiano
23
389
6
4
316
Francisco Javier Cabrerizo
4
387
15
14
317
Reinhard Muskens
13
385
6
6
318
Debjani Chakraborty
7
384
11
9
319
Peter Vojtas
4
382
11
6
319
Ujjwal Maulik
3
382
30
18
321
Junsheng Qiao
13
381
6
6
322
Antonio Montalbán
25
379
4
4
323
Esko Tapani Turunen
14
378
5
4
324
Michael J Maher
7
377
6
6
324
Chia-Feng Juang
9
377
16
14
324
Ping-Teng Chang
5
377
10
6
327
Chi-Tsuen Yeh
7
375
6
6
327
Giangiacomo Gerla
26
375
4
4
329
Daniel Sanchez
15
374
10
9
329
Yao Ouyang
23
374
8
10
329
Gwo-Hshiung Tzeng
4
374
30
22
332
Stephane Demri
24
373
10
9
333
Matthias Baaz
28
372
9
4
333
Alireza Kamel Mirmostafaee
5
372
7
6
335
Qing-Long Han
3
371
38
29
336
Gerhard Schurz
18
369
7
7
337
H-N Wu
12
368
16
16
337
Daowen Qiu
9
368
19
16
339
Agustín Valverde Ramos
3
365
9
6
339
Agustín Valverde
3
365
10
6
341
Frank Wolter
7
363
8
4
342
Michael Wooldridge
13
361
10
10
343
Etienne Kerre
11
356
6
6
344
Jiuxiang Dong
13
355
13
13
344
Iskander S Kalimullin
31
355
4
4
344
Miguel Bernal
7
355
10
7
344
Vincent Danos
3
355
14
12
348
Agata Ciabattoni
19
354
10
4
348
Chen Guanrong
7
354
41
40
350
Liem T Tran
2
353
19
10
351
Deng-feng Li
6
349
17
16
352
Jan Wielemaker
8
347
10
10
352
Marc Denecker
15
347
10
10
354
Javier Gutiérrez García
32
346
4
4
354
Isabelle Bloch
5
346
12
8
356
Veneeta Dayal
2
345
5
5
357
T Allahviranloo
15
344
11
15
359
Jan von Plato
15
341
6
4
360
Madhumangal Pal
11
337
13
13
360
Joost Zwarts
4
337
6
5
360
Yaroslav Shramko
21
337
3
3
363
Tom Schrijvers
11
336
10
9
364
Quanxin Zhu
4
334
39
25
364
Fabrizio Durante
16
334
11
13
366
Han-Xiong Li
5
333
30
19
367
David Peidro
2
330
12
13
367
Inés Couso Blanco
15
330
10
11
367
Haijun Rong
1
330
11
8
367
Guang-Bin Huang
1
330
28
20
367
Hai-Jun Rong
1
330
20
14
372
Mohammad Sal Moslehian
4
328
13
9
373
Igor Douven
16
327
9
16
374
Juan J Nieto
6
326
24
17
374
Michael R Fellows
5
326
12
12
374
Andrey Vasil'ev
15
326
5
5
374
Sergei P Odintsov
17
326
4
4
378
Juan Luis Castro Peña
18
324
8
11
378
Andreas Herzig
16
324
11
7
380
Martin Wa Caminada
3
323
13
10
380
Giorgi Japaridze
23
323
4
4
380
Jc Beall
11
323
6
6
383
Libor Behounek
17
321
5
6
383
Sushmita Mitra
7
321
14
15
383
Zach Weber
10
321
6
6
386
Xi-Zhao Wang
5
320
19
18
386
Gábor Czédli
36
320
5
5
388
Young Hoon Joo
8
319
22
20
388
Harald Dyckhoff
1
319
17
11
388
Alireza Khastan
10
319
6
7
391
Chueh-Yung Tsao
1
318
13
6
391
Pedro Gil Álvarez
9
318
10
10
393
Maria Rifqi
2
317
10
6
393
Jonathan Ginzburg
4
317
6
6
395
Alberto Fernandez
2
316
18
16
395
Daniel Patrick Nolan
2
316
5
4
397
Min Wang
2
315
23
13
397
Carlos Areces
13
315
5
4
397
Marcelo Esteban Coniglio
35
315
6
4
397
Sławomir Zadrożny
6
315
13
12
401
Wei-Zhi Wu
2
313
16
13
401
Daniel Nolan
1
313
5
4
403
Vahab Nekoukar
1
312
16
7
403
Ju H Park
4
312
24
22
403
Jang-Hyun Park
3
312
9
9
403
Abbas Erfanian
1
312
23
9
403
Anatolij Dvurecenskij
15
312
8
6
408
Martin Stepnicka
14
310
6
6
409
Frank Neven
8
309
12
12
410
Zhe Liu
7
307
10
9
411
Martina Dankova
11
306
6
6
411
Alexander Artikis
8
306
11
9
411
G Jaeger, G Jager
24
306
4
4
411
Richard Kimberly Heck
5
306
6
5
411
Christophe Labreuche
6
306
15
10
411
Décio Krause
10
306
7
4
417
Elia Zardini
9
304
6
6
417
Robin Hirsch
23
304
4
4
417
James C Bezdek
1
304
14
13
420
Wolfgang Spohn
6
303
7
6
420
Fernando Ferreira
29
303
4
3
420
Yuichi Komori
9
303
4
4
423
Mehmet Civanlar
1
301
18
8
423
Rami Grossberg
22
301
4
4
423
Michal Holčapek
19
301
6
6
423
Daniel Graves
1
301
7
5
427
Pablo Cobreros
7
300
6
6
428
George Gratzer
37
299
5
5
428
Mai Gehrke
8
299
9
5
430
George E Tsekouras
4
298
14
8
430
Yucheng Dong
3
298
23
21
433
Enriqueta Vercher
3
297
16
12
433
Leo Bachmair
1
297
13
7
435
Hongliang Lai
13
296
5
6
435
Ofer Arieli
9
296
11
8
437
Roland Kaminski
6
295
7
7
437
Jose Sanz
6
295
11
11
439
Douglas Cenzer
26
293
4
4
440
Yong Su
21
292
6
6
440
Jörg Brendle
27
292
4
4
440
Manuel Bodirsky
19
292
8
8
440
Eduardo Fermé
13
292
6
5
440
Ian E Pratt-Hartmann
17
292
4
6
445
Ronald E Giachetti
2
290
12
10
445
Masami Yasuda
10
290
7
6
447
Ludmila Ilieva Kuncheva
6
289
13
15
447
Moti Gitik
29
289
4
4
447
Kwai-Sang Chin
1
289
39
21
450
Wenyi Zeng
1
288
13
10
450
H Dugald Macpherson
21
288
4
4
452
Engang Tian
3
287
20
20
452
Thomas Schwentick
5
287
12
10
454
Martin Grohe
14
286
10
12
454
Lucian Coroianu
13
286
7
7
454
Rineke Verbrugge
16
286
9
6
454
Ana Burusco
5
286
11
6
458
Stephen Cook
9
285
6
8
458
Haim Gaifman
8
285
7
7
460
Michael Gelfond
9
283
10
12
460
Hitoshi Omori
14
283
6
6
462
Bin Pang
10
282
6
6
462
Petr Hajek
1
282
34
11
462
Ignacio Rojas
6
282
24
24
465
Richard Zach
17
281
6
6
465
Sh Nasseri
5
281
8
6
467
Bernadette Bouchon-Meunier
1
280
8
5
467
Neil Thapen
14
280
4
4
469
Anil Gupta
2
279
4
4
470
Alan Hájek
4
278
6
6
471
Ian R Horrocks
3
277
16
16
472
Jinwu Gao
7
276
10
10
472
Ana Colubi
5
276
14
13
475
Vladimir Kanovei
33
275
4
6
476
Roni Katzir
2
274
8
8
477
Congcong Li
2
273
20
21
477
Axel Gelfert
1
273
10
4
477
Tieshan Li
3
273
26
24
480
Anna Kolesárová
13
272
6
7
480
Hans van Ditmarsch
14
272
9
7
480
Meng Joo Er
2
272
27
18
483
Amílcar C Sernadas
20
271
9
8
483
Lynn D'eer
3
271
6
6
483
Fabrice Correia
9
271
4
4
483
Ewa Rak
10
271
6
6
483
Barteld Kooi
9
271
6
7
488
Fernando Ferreira
25
270
5
10
488
Andrea Sorbi
26
270
4
4
488
Cristina Sernadas
33
270
4
7
488
Florentin Smarandache
22
270
12
16
488
Martin Gebser
8
270
10
9
488
Vincenzo Loia
9
270
13
15
488
J Tinguaro Rodríguez
8
270
9
7
495
Giuseppe De Giacomo
8
269
13
13
495
Bjarni Jónsson
5
269
4
4
497
Rostislav Horčík
18
268
4
4
497
Richard A Shore
26
268
4
4
499
Ernest Schimmerling
14
267
4
4
499
Rıza Ertürk
7
267
6
4
499
Jose M Benitez
3
267
16
13
499
Francesco Maria Donini
4
267
13
12
499
Radha Jagadeesan
2
267
11
9
499
Jong Yeoul Park
10
267
7
6
506
Yasuo Narukawa
10
266
9
8
507
Thomas Stefan Spengler
2
265
20
13
507
M Mashinchi
3
265
11
6
509
Monica M Vandieren
10
264
2
1
510
Luciano Sanchez
11
263
12
12
510
Ricardo J G B Campello
2
263
22
20
512
Ulrich Bodenhofer
7
262
13
15
512
Alexander G Melnikov
26
262
4
4
512
James Lam
3
262
37
30
512
Paweł Zieliński
6
262
15
14
512
Gerasimos G Rigatos
2
262
33
13
512
Luc De Raedt
5
262
16
14
512
Jordi Recasens
17
262
9
11
512
Stanley Burris
25
262
4
4
520
José Vicente Segura Heras
2
261
16
6
520
Juan Fernández-Sánchez
26
261
7
8
520
Jose Bermudez
2
261
19
11
523
Sanghamitra Bandyopadhyay
3
260
31
25
523
Salvatore Sessa
14
260
12
13
523
John Q Gan
2
260
26
12
526
Kevin Guelton
2
258
13
9
526
Clare Dixon
8
258
11
10
526
Mustafa Demirci
13
258
8
6
526
Jean-Yves Beziau
23
258
4
4
530
Markus Triska
1
257
12
7
531
Jutta Geldermann
1
256
33
12
532
Slobodan P Simonovic
2
255
22
19
532
Sergey S Goncharov
17
255
4
4
532
Maurizio Lenzerini
3
255
14
14
532
Xin-Chun Jia
2
255
16
8
532
Lloyd Humberstone
34
255
6
6
532
Nikhil R Pal
6
255
18
16
532
Wiebe Van Der Hoek
17
255
11
11
539
Susana Montes
23
254
8
9
539
Mark Reynolds
13
254
10
7
539
Dawei Zhang
1
254
22
10
542
Daniele Nardi
4
253
15
16
543
Olga Valenzuela
4
252
17
12
543
Evgeny Vdovin
14
252
6
6
543
Elizabeth Ann Maharaj
3
252
15
9
543
Hector Pomares
4
252
25
24
543
Sergei G Ovchinnikov
9
252
27
15
543
Luis J Herrera
4
252
23
20
543
Alexandru Baltag
10
252
10
7
550
Thomas Studer
19
251
6
4
551
Jiulun Fan
2
250
12
8
551
María José Del Jesús
1
250
19
18
551
Haralambos Sarimveis
2
250
41
34
551
Carsten Lutz
11
250
12
12
551
Salvador Garcia
1
250
27
23
556
Miguel López-Díaz
4
249
13
8
556
Zhudeng Wang
13
249
6
6
556
Mehmet Kaya
2
249
17
8
556
Orna Kupferman
4
249
12
11
560
Yan-Kuen Wu
14
248
6
6
560
Lauri T Hella
19
248
5
5
560
Tie-Shan Li
2
248
31
24
564
Zhi Liu
9
247
20
20
564
Mario Alviano
21
247
7
10
564
Richard Weber
6
247
15
15
564
Josep Maria Font
18
247
4
4
564
Alexander Skiles
1
247
4
4
569
José Luis Calvo Rollé
17
246
11
15
569
Yejun Xu
5
246
15
13
571
Maria Letizia Guerra
6
243
7
6
572
Fang Wang
3
242
14
12
572
Diderik Batens
13
242
5
3
572
Jean-Luc Marichal
7
242
10
12
572
Syed Ali
3
242
26
17
572
Manoranjan Maiti
5
242
19
17
577
Chun Yong Wang
13
241
6
6
578
Zhi-Ping Fan
2
240
24
18
578
Ekaterina B Fokina
12
240
4
4
580
Fang-Ming Yu
3
239
7
6
581
D A Savić
1
238
34
28
581
Thomas Martin McGinnity
1
238
39
16
581
Girijesh Prasad
1
238
36
18
584
Paul Teller
2
237
6
5
584
Muhammad Akram
11
237
24
26
584
Beata Konikowska
11
237
6
4
584
Kyriakos Keremedis
35
237
4
4
584
Murilo Naldi
1
237
12
11
584
Hans Smessaert
9
237
8
4
584
Eduardo Raul Hruschka
1
237
19
16
584
Son Tran
15
237
7
7
584
Nick Bezhanishvili
31
237
4
4
593
Uskali Mäki
2
236
7
5
593
Kevin Otto
6
236
15
17
593
Kevin N Otto
6
236
10
11
596
Xinghuo Yu
3
235
37
26
596
Olivier Colliot
2
235
35
22
598
Giulianella Coletti
8
234
12
10
598
Nallappan Gunasekaran
3
234
20
10
598
Hans Tompits
8
234
10
7
601
Shu-Cherng Fang
6
233
12
9
601
Richard Y K Fung
3
233
19
17
601
Vitor Santos Costa
9
233
10
12
601
M Dolores Jiménez-Gamero
5
233
15
9
601
Stefan Kaufmann
4
233
11
8
606
Tarek Sayed Ahmed
28
232
4
4
607
Ilkka Niiniluoto
4
231
8
8
607
Gianpiero Cattaneo
5
231
12
6
609
Marcelo Finger
12
230
10
7
609
Joan Bagaria
21
230
4
4
609
Sebastian Löbner
2
230
8
8
612
Senén Barro
5
229
15
12
613
Giovanni Sambin
9
228
4
4
614
Ricardo Rocha
12
227
10
7
615
Haijun Jiang
3
226
36
26
615
Pingke Li
5
226
9
8
617
Danny Fox
1
225
6
6
618
Chang-Shing Lee
3
224
15
15
618
Nezam Mahdavi-Amiri
4
224
20
12
618
Daniel Paternain
6
224
10
10
618
Enrico Pontelli
17
224
10
11
618
Mehrnoosh Sadrzadeh
10
224
11
4
624
Sebastia Massanet
14
223
9
11
624
Alessandro Berarducci
15
223
4
6
624
Leon Horsten
18
223
7
7
627
Alberto Marcone
21
222
4
4
627
Kevin J S Zollman
2
222
13
9
627
Dimiter Vakarelov
13
222
4
4
630
Saman K Halgamuge
1
221
45
26
630
Douglas Walton
18
221
11
13
630
Bijan Davvaz
12
221
13
12
633
Tommaso Flaminio
16
220
8
8
633
Shui Yu
2
220
24
23
635
Krzysztof Jajuga
3
219
6
6
635
Xiangfeng Yang
5
219
12
9
637
Efendi N Nasibov
5
218
8
6
637
Yee Leung
1
218
41
29
637
sakthivel Rathinasamy
5
218
41
40
637
Efendi Nasiboglu
5
218
8
6
637
Bor-Sen Chen
8
218
25
21
642
Tomi Janhunen
10
217
7
6
642
George Barmpalias
28
217
4
4
642
Juha Kontinen
16
217
6
5
642
Austin Melton
8
217
6
8
646
Trli30
2
216
24
22
646
Samuel Morillas
6
216
11
9
646
Keith Kearnes
35
216
5
5
646
Antonin Dvorak
10
216
6
9
646
Hongmei Chen
2
216
14
12
646
Stefano Predelli
13
216
5
6
646
Jihong Wan
2
216
13
12
646
Zeng Yu
2
216
17
18
646
Aldo Ursini
5
216
4
5
646
Tran Cao Son
7
216
10
7
656
Arnold Beckmann
22
215
4
4
656
Vicenç Torra
9
215
13
16
656
Anca L Ralescu
5
215
9
8
656
Ahti-Veikko Pietarinen
14
215
8
7
656
Donal O'regan
7
215
10
8
661
Simon Thomas
26
214
4
4
661
Frank A Hindriks
4
214
7
6
663
Umberto Straccia
9
213
12
15
663
Jiafu Tang
2
213
20
16
663
John Harding
19
213
4
4
666
VICENTE LIERN
5
212
14
12
666
JiYe Liang
3
212
21
18
666
Bin Yang
2
212
10
6
666
Chuangyin Yin Dang
3
212
31
25
671
Hassan Khotanlou
1
211
21
5
671
Øystein Linnebo
9
211
7
7
671
Roy Dyckhoff
2
211
1
1
671
John Cantwell
17
211
4
3
675
Anuj Dawar
14
210
10
11
675
Paul Portner
2
210
6
6
677
Wei Zhou
1
209
26
11
677
Dexter Kozen
7
209
11
13
679
Chang Xiao-Heng
2
208
20
16
679
Qing-Guo Wang
2
208
34
22
681
Marcello D'Agostino
7
207
7
7
681
Xiaoxia Huang
4
207
17
16
683
Salvatore Greco
11
206
17
22
683
Meilin Wen
4
206
13
10
683
Dong Qiu
11
206
7
6
683
Francesco Berto
10
206
7
6
687
Stefan Woltran
23
205
11
13
687
Anastasia Giannakidou
2
205
6
5
689
Floris Roelofsen
4
204
11
8
689
Lingqiang Li
9
204
6
6
689
Li-Xin Wang
2
204
8
7
692
Diego Calvanese
5
203
13
14
692
José Luis García-Lapresta
11
203
10
10
692
Sam Tak Wu Kwong
2
203
30
27
692
Lorenz Demey
11
203
6
6
692
José M Méndez
42
203
1
1
692
Giovambattista B Ianni
8
203
10
12
692
Edward N Zalta
10
203
6
6
692
Laécio Carvalho De Barros
7
203
7
6
692
S Barry Cooper
20
203
4
4
701
Weihua Xu
2
202
20
15
701
Fenrong Liu
5
202
7
6
701
Xinwang Liu
5
202
14
18
704
Yang Gao
1
201
22
12
704
Ming J. Zuo
1
201
43
33
704
Benjamin Schnieder
4
201
4
4
704
Angelo Montanari
4
201
12
9
708
T Warren Liao
5
200
21
21
708
Raymond Turner
2
200
9
6
708
Sergey A Solovyov
20
200
5
5
708
Stefano Aguzzoli
16
200
5
4
708
Kent Bach
3
200
9
5
713
Brigitte Werners
2
199
16
11
713
Azene Zenebe
2
199
6
6
713
Jose M Cadenas
9
199
8
9
713
Zhihong Man
2
199
27
17
713
Anthony F Norcio
2
199
2
2
718
Toly Chen
3
198
26
14
718
Ming Xu
11
198
5
5
720
Tomasz Kubiak
19
197
4
4
720
Thomas Ferguson
25
197
3
3
720
Hak-Keung Lam
6
197
24
21
720
Jimenez-Gamero
3
197
13
6
724
Raquel Urena
1
196
16
12
724
Oscar Castillo
12
196
22
20
727
Antonio Peregrin
3
195
9
6
727
D Nagesh Kumar
2
195
22
19
727
Sergio Celani
22
195
4
4
727
D Dumitrescu
10
195
6
6
731
Hua Ke
6
194
12
16
731
Sm Lee
4
194
29
28
731
Arkadii M Slinko
8
194
13
8
731
Manuel V Hermenegildo
16
194
10
13
731
Tomasz Kowalski
27
194
4
4
736
Muhammed Aslam Noor
7
193
19
15
736
Qiu Jin
8
193
6
6
736
Ralph Freese
20
193
5
6
736
Jaroslav Nesetril
7
193
11
10
736
Stephen Read
5
193
4
4
741
Ivano Ciardelli
7
192
6
7
741
Alberto Guillén
3
192
18
12
741
Dumitru Baleanu
8
192
48
50
741
Abhaya Nayak
6
192
12
7
745
José Valente de Oliveira
7
191
8
15
745
Jeffrey Paris
15
191
6
6
745
Moussa Larbani
5
191
9
6
745
Byeong-uk Yi
5
191
4
4
745
Ilse Depraetere
1
191
11
7
745
Xue-ping Wang
21
191
6
6
745
William M Farmer
6
191
10
9
745
Silvio Valentini
19
191
4
4
753
Jesús Rodríguez-López
6
190
7
6
753
Dun Liu
2
190
16
13
753
Jonathan Garibaldi
2
190
27
17
756
Renata Wassermann
10
189
10
6
756
David Fernández-Duque
22
189
4
4
756
Pérez Raúl
2
189
12
10
756
Hao Shen
2
189
26
24
756
Peter Michael Schuster
26
189
4
4
756
Riccardo Rosati
4
189
13
13
756
Raul Perez
2
189
11
8
763
Inmaculada Sirvent
2
188
16
15
763
José L Ruiz
2
188
16
15
763
Roman Kuznets
10
188
8
4
763
Wei Yao
6
188
6
6
767
Adnan Yazici
3
187
13
9
767
Michael Hrusak
22
187
4
4
767
Jesús Chamorro Martínez
8
187
8
6
770
Jung-Hsien Chiang
2
186
29
18
770
Zoran Ognjanović
13
186
10
8
770
Tiago Mendonça da Costa
6
186
6
6
773
Sergei Artemov
2
185
4
4
773
Guido Sciavicco
4
185
12
10
773
Joao Marcos
8
185
10
4
776
Saber Saati
1
184
18
8
777
Jun Kawabe
15
183
6
6
777
Fernando Rojas
2
183
20
12
777
Krishnendu Chatterjee
6
183
13
12
777
Ulrich Berger
14
183
8
4
777
Francisco de Assis Tenorio de Carvalho
4
183
18
17
782
Gemma Robles
35
182
1
1
782
Esra Erdem
11
182
10
9
782
Willem Conradie
11
182
6
4
782
Paolo Mancosu
8
182
7
7
782
Seong-Hwan Kim
2
182
11
9
782
Thomas Bolander
6
182
10
6
788
Michael Margaliot
6
181
14
21
788
George Markowsky
2
181
9
5
788
Bob Coecke
5
181
14
13
791
Chrysafis Hartonas
18
180
4
4
791
Sovan Samanta
3
180
17
14
791
José D Bermúdez
1
180
12
8
794
Juan Miguel Medina-Rodriguez
9
179
9
10
794
Paolo Agliano'
13
179
4
5
796
Carlos Caleiro
16
178
8
9
796
Rajani K Mudi
2
178
14
10
796
Shun-Feng Su
4
178
18
18
796
Nikolay Bazhenov
26
178
4
4
800
Yuhua Qian
2
177
21
18
800
Nada Damljanovic
3
177
5
5
800
Hannes Leitgeb
13
177
6
6
800
Jari Kortelainen
7
177
6
6
804
Carmine Dodaro
19
176
7
10
804
Yingnan Pan
2
176
24
13
804
Maciej Wygralak
9
176
6
6
807
Junbo Zhang
1
175
14
13
807
Roy T Cook
12
175
7
6
807
Shuai Sui
2
175
17
12
807
Johann A Makowsky
5
175
11
7
807
Răzvan Diaconescu
12
175
8
8
807
Fabrizio Riguzzi
11
175
10
10
807
Nguyen Thi Kim Son
5
175
6
6
815
Norihiro Kamide
36
174
4
4
815
Philip D Welch
17
174
4
7
815
Nancy Cartwright
4
174
6
7
815
Aranzazu Jurio
2
174
11
8
819
Seyed Reza Hejazi
1
173
18
9
819
Mehdi Khashei
1
173
15
7
819
Mehdi Bijari
1
173
10
12
822
Ferdinando Di Martino
6
172
14
11
822
Yasuhisa Hasegawa
1
172
47
18
822
Simon D Parsons
1
172
16
8
822
Anthony S Gillies
2
172
6
6
822
Eduardo Barrio
13
172
4
4
822
Peter Mcburney
1
172
21
13
822
Patrick Lincoln
2
172
8
8
822
Natarajan Shankar
2
172
9
4
822
Christian Borgelt
1
172
18
6
822
Simon Parsons
1
172
23
13
832
Marco Maratea
8
171
10
9
832
Yaochu Jin
2
171
31
30
832
Riccardo Massari
3
171
13
9
832
Paul Kay
2
171
25
16
836
Georg Struth
8
170
10
9
836
Miguel Couceiro
17
170
8
5
838
C P Chen
8
169
30
36
838
Keijo Heljanko
3
169
17
15
838
Glyn Verden Morrill
7
169
8
5
838
Javier Martin
6
169
8
6
838
Qingling Zhang
3
169
19
14
843
Dong Yue
1
168
29
22
843
Paul M Pietroski
2
168
8
20
843
Chitta Baral
5
168
8
12
843
Thomas Lukasiewicz
4
168
16
15
843
Steven French
5
168
9
9
848
Ali Ebrahimnejad
5
167
18
16
848
Janos Abonyi
3
167
33
28
848
José-Luis Casteleiro-Roca
10
167
11
10
848
Manuel Úbeda-Flores
19
167
7
8
848
Susana Díaz Vázquez
15
167
7
6
848
Ranko Lazic
3
167
10
10
855
Fernando Bobillo Ortega
6
166
9
9
855
Chang-Chun Lin
3
166
12
12
855
Peter Pagin
10
166
6
6
855
Stephen Crain
2
166
30
19
859
Raghu Krishnapuram
3
165
8
8
860
Hoang Viet Long
5
164
14
12
860
Marek W Zawadowski
10
164
4
4
860
Susanne Saminger-Platz
8
164
7
9
860
Lawrence C Paulson
6
164
11
12
860
Chi-Bin Cheng
2
164
17
11
860
Céline Hudelot
1
164
8
4
867
Evgeny I Timoshenko
24
163
5
5
867
Vincenzo Marra
15
163
4
4
867
Wojciech Buszkowski
12
163
6
4
867
Hari Mohan Srivastava
16
163
13
18
867
Paolo Ferraris
4
163
7
7
872
Steve Awodey
8
162
4
4
873
James M Keller
2
161
17
12
873
Brigitte Pientka
1
161
10
6
873
Aleksandar Nanevski
1
161
11
7
873
Jeremy Seligman
3
161
12
7
873
Tin-Chih Toly Chen
2
161
27
17
873
Damian Enrique Szmuc
10
161
5
5
873
Hanli Wang
1
161
22
17
873
Ran Raz
2
161
14
13
882
Gil González-Rodríguez
3
160
14
13
882
Pascual Julián-Iranzo
9
160
9
6
884
Juan-José Miñana
12
159
7
5
884
Emmanuel Chemla
7
159
14
18
884
Harold Schellinx
5
159
4
4
884
Tomáš Kroupa
7
159
7
4
888
Katsumi Inoue
10
158
11
13
888
James Rogers
3
158
5
5
890
Patricia Melin
10
157
20
23
890
Ivo Düntsch
20
157
10
14
890
Esteban Jove
10
157
10
6
890
Wesley Calvert
10
157
4
4
890
Marc Snir
1
157
19
16
890
M Eugenia Cornejo
10
157
8
8
890
Serikzhan Badaev
13
157
4
4
897
Erich Grädel
5
156
4
6
897
Hans Halvorson
3
156
9
9
897
Henk Barendregt
5
156
6
4
901
Scott Dick
1
155
15
9
901
Alessio Guglielmi
6
155
6
6
901
Patrick Girard
7
155
6
6
901
Andrea Stupnanova
8
155
6
9
901
Virginia R Young
2
155
9
9
906
Randal E Bryant
2
154
12
10
906
María José Gacto
1
154
15
11
906
Michael Pinsker
9
154
4
4
906
Jesus Alcala-Fdez
1
154
28
22
906
Rafael Alcalá
1
154
18
11
906
Miroslav N Velev
2
154
12
8
912
Francesco Calimeri
8
153
10
10
912
João Rasga
31
153
4
4
912
Murat Diker
8
153
8
6
912
Antonio Ledda
13
153
4
4
912
Thomas Ågotnes
13
153
7
7
912
Yi Ding
1
153
19
12
912
Mohammad Ardeshir
24
153
1
1
912
Albert Atserias
6
153
8
10
920
Xiaomei Mi
1
152
19
12
920
Fiora Pirri
8
152
12
11
920
Federico Pailos
13
152
4
4
920
John T Baldwin
28
152
4
4
920
Vahid Johari Majd
3
152
19
16
920
Ewa Orlowska
13
152
9
10
920
Dan A Ralescu
4
152
9
9
920
Alberto Bugarín
6
152
11
9
928
Ulrich Berger
9
151
10
6
928
Le Hoang Son
2
151
25
25
928
Robert I John
2
151
15
14
928
Jun-Wei Wang
6
151
14
13
928
Helmut Veith
5
151
10
11
933
Anton Setzer
4
150
10
10
933
Héctor Quintián
20
150
8
8
933
Ji-Huan He
4
150
43
39
933
SanMin Wang
13
150
4
5
933
Qingguo Li
9
150
12
12
938
Vitaly Roman'kov
18
149
5
5
938
Benno van den Berg
16
149
4
4
938
Leopoldo Bertossi
3
149
12
11
938
Barbara Vantaggi
7
149
12
10
938
Thanh-Tuan Dang
7
149
8
8
938
Agnes Szendrei
31
149
5
5
945
Atefeh Armand
2
148
4
4
945
Zeinab Gouyandeh
2
148
6
6
945
Joao Paulo Carvalho
3
148
14
16
948
Hongjun Zhou
10
147
6
6
948
Tao Li
2
147
25
20
948
Mark Last
4
147
13
12
948
Pietro Galliani
3
147
5
4
948
Ivan Chajda
21
147
8
8
948
Roman Kossak
18
147
4
4
948
Kazuyuki Tanaka
9
147
4
4
948
Andrea Cantini
11
147
4
4
956
Carlos Iván Chesñevar
3
146
12
10
956
Olivier Roy
6
146
13
6
956
Evangelia Kavakli
1
146
15
9
956
Gunter Fuchs
31
146
4
4
960
Xiao-Wei Chen
2
145
13
9
960
André Platzer
3
145
12
10
960
Marco Gavanelli
7
145
10
9
960
Tingqing Ye
4
145
8
8
960
Dilip Kumar Pratihar
3
145
30
21
960
Lei Su
1
145
22
10
960
Paulo Oliva
19
145
4
4
960
Mario J Edmundo
11
145
4
4
960
Mario Enea
1
145
19
13
960
Jeremy Pitt
1
145
11
7
960
Xiaowei Chen
2
145
11
10
960
Gerda Janssens
6
145
9
7
960
Pierre Simon
14
145
4
4
973
Yong He
2
144
65
57
973
Bart Geurts
3
144
14
17
973
Jian-Zhong Xiao
11
144
7
6
973
Min Wu
2
144
60
46
973
Zhi Liu
2
144
35
22
973
Meimei Xia
3
144
17
16
973
Jian Chen
3
144
19
19
973
Elin Mccready
3
144
8
8
981
Manuel Carro LiÑares
10
143
10
10
981
Stephan Hartmann
6
143
8
8
981
Dmitry Shkatov
16
143
4
4
981
Vladimir G Pestov
1
143
11
6
981
Marek T Malinowski
2
143
12
11
981
Kemal KiliÇ
2
143
13
13
981
Thomas William Barrett
4
143
6
6
988
Vu Ho
6
142
7
6
988
Sylvie Galichet
4
142
10
9
988
David Beaver
2
142
7
8
988
Fang-Mei Tseng
1
142
20
13
992
Sam Sanders
18
141
4
4
992
Laura A Michaelis
2
141
11
10
992
Ngoc-Ai-Thy Nguyen
5
141
6
6
992
Hua-Peng Zhang
17
141
6
6
992
Gabriel Uzquiano
8
141
6
6
992
Miguel Pasadas
2
141
17
14
992
Robert Sugden
1
141
28
26
992
Victoria Gitman
16
141
1
1
992
Krzysztof Piasecki
10
141
6
4
site/software ©
exaly
; All materials licenced under
CC by-SA
.