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
›
Journal of Symbolic Logic
›
top-authors
Journal of Symbolic Logic
0.3
(top 100%)
impact factor
12.8K
(top 1%)
papers
87.6K
(top 5%)
citations
113
(top 5%)
h
-index
0.4
(top 100%)
impact factor
14.3K
all documents
94.4K
doc citations
189
(top 5%)
g
-index
Top Authors (by citations)
#
Author
Articles
Citations
R ARank
R CRank
1
Peter Gärdenfors
1
2,254
12
1
2
Saharon Shelah
151
1,587
2
3
3
Joel David Hamkins
16
396
1
1
4
Mariangiola Dezani
1
394
10
2
5
Jan Krajicek
7
389
1
1
6
Arnon Avron
4
337
2
1
7
Anand Pillay
34
314
1
2
8
Hiroakira Ono
3
278
3
1
9
Sven Ove Hansson
3
263
16
5
10
J Michael Dunn
5
258
3
3
11
Silvio Ghilardi
7
254
2
3
12
Yuichi Komori
3
253
2
1
13
Samson Abramsky
1
251
11
7
13
Radha Jagadeesan
1
251
3
2
15
Russell Miller
12
228
1
1
16
Antonio Montalbán
12
212
1
1
17
Roy Dyckhoff
1
208
1
1
18
Andre Nies
13
193
2
3
18
Joseph S Miller
9
193
1
1
20
Richard A Shore
13
192
1
1
21
Robert Goldblatt
6
188
2
2
22
Maarten Marx
5
184
2
2
23
Michael Zakharyaschev
7
183
3
4
24
Peter Schroeder-Heister
3
176
3
1
25
Frank Stephan
9
174
6
4
26
Robin Hirsch
9
168
2
1
27
Alasdair Urquhart
4
167
3
2
28
Arthur W Apter
17
160
3
1
29
Marc Snir
1
157
17
7
29
Haim Gaifman
1
157
5
2
31
Andrea Sorbi
8
154
2
1
31
Valentina S Harizanov
9
154
2
2
33
Alexander G Melnikov
10
149
1
1
33
John Corcoran
3
149
2
2
35
Roger D Maddux
6
145
2
2
36
Carlos Areces
1
141
6
1
37
Richard Kimberly Heck
1
133
2
1
37
Jouko Väänänen
11
133
1
5
39
Jörg Brendle
11
127
1
1
40
Franco Montagna
2
125
6
4
41
Frank Wolter
2
119
3
3
42
George Metcalfe
1
118
9
1
43
Newton C A Da Costa
1
116
6
2
44
Giovanni Sambin
4
115
1
2
45
Ran Raz
1
112
8
5
46
Ulrich Kohlenbach
6
110
3
4
46
angus MacIntyre
1
110
2
1
49
Harold Schellinx
2
107
1
1
50
Leon Horsten
2
105
6
1
51
Alessandro Berarducci
7
103
1
3
52
Yuri Gurevich
5
102
2
8
53
Jean-Baptiste Joinet
3
100
1
1
54
Neil Thapen
3
99
2
1
55
Vincent Danos
1
98
7
8
56
Fernando Ferreira
6
97
1
4
56
Petr Cintula
2
97
8
4
56
Fernando Ferreira
6
97
1
1
59
Vasco Brattka
3
96
6
3
59
Andrea Cantini
2
96
3
1
61
Emil Jeřábek
3
95
5
3
62
Wilfried Sieg
1
94
2
2
63
Ekaterina B Fokina
3
92
1
1
64
Reed Solomon
5
91
1
1
65
Alf A Onshuus
5
90
1
1
66
Vladimir Kanovei
6
86
5
2
66
Manuel Bodirsky
5
86
2
4
68
Ming-Sheng Ying
1
85
24
12
69
Jeffrey Paris
2
83
3
1
69
John T Baldwin
12
83
1
1
69
Ramon Jansana
3
83
3
2
72
Michael Pinsker
4
82
1
1
72
Rami Grossberg
10
82
1
2
74
Hans Rott
1
81
8
5
75
Michael Hrusak
7
80
3
1
76
Alessandra Palmigiano
1
77
10
4
76
Cristina Sernadas
2
77
6
2
76
Mai Gehrke
1
77
9
6
79
Jeremy Avigad
5
76
3
6
79
William M Farmer
1
76
5
4
79
Bradd Hart
8
76
1
3
82
Marion Scheepers
10
75
2
3
82
Michael Stob
3
75
1
2
84
Daniele Mundici
2
73
10
6
85
Moti Gitik
9
72
2
4
85
Simon Thomas
6
72
2
4
85
James Cummings
12
72
1
3
88
Sergey S Goncharov
4
71
5
3
88
Eduardo Fermé
1
71
9
3
88
John Cantwell
2
71
4
1
91
Iskander S Kalimullin
6
69
3
3
91
Ralph Mckenzie
3
69
4
5
93
Pierre Simon
6
67
1
1
94
Alberto Marcone
5
66
2
2
95
Christoph Benzmüller
1
65
9
2
95
Michael Kohlhase
1
65
5
5
97
S Barry Cooper
5
64
2
3
98
Johan van Benthem
2
62
5
5
98
Richard E Ladner
1
62
8
9
98
Claudio Bernardi
1
62
3
1
101
Vladimir V Rybakov
1
61
13
5
101
H Dugald Macpherson
6
61
1
4
101
Antonín Kučera
3
61
1
3
104
Joan Bagaria
6
60
1
2
104
Stephen Cook
1
60
7
4
106
Lauri T Hella
3
59
5
3
107
Leszek Aleksander Kołodziejczyk
6
58
1
2
108
Matthias Baaz
5
54
3
7
109
Alexandra Shlapentokh
8
53
1
3
109
Giangiacomo Gerla
2
53
9
7
111
Ernest Schimmerling
3
52
1
3
111
Luca Motto Ros
4
52
1
1
111
James H Schmerl
19
52
1
1
114
Jaroslav Nesetril
2
51
17
15
114
Andreas Weiermann
5
51
4
4
114
George Barmpalias
5
51
3
2
114
Patrice Ossona de Mendez
2
51
10
8
114
John Rhodes
1
51
10
6
114
Matthew Harrison-Trainor
3
51
1
1
114
Iraj Kalantari
4
51
2
2
121
Gunter Fuchs
12
50
1
1
122
Amílcar C Sernadas
1
49
10
5
123
Gabor Sagi
3
48
2
1
124
Roy T Cook
1
47
8
2
124
Enrique Casanovas
6
47
1
1
124
Ralf-Dieter Schindler
6
47
1
1
127
Sy-David Friedman
7
46
1
2
127
Edwin D Mares
2
46
6
5
127
Giovanni Panti
3
46
1
2
130
Costas Dimitracopoulos
3
45
3
1
130
Janusz Czelakowski
1
45
7
4
130
Hanamantagouda P Sankappanavar
1
45
5
1
130
Philipp Hieronymi
6
45
1
1
135
Gilles Dowek
1
44
6
4
135
Arnold Beckmann
3
44
4
4
135
Albert Visser
5
44
5
6
135
Thomas Scanlon
4
44
2
3
135
Alberto Policriti
2
44
5
12
140
Michael C Laskowski
8
43
1
1
140
Carsten Lutz
2
43
4
8
140
Jiří Rosický
4
43
5
5
140
Will Boney
2
43
2
1
144
Vera Fischer
5
42
2
1
145
David Fernández-Duque
5
41
1
3
145
Nikodem Mrożek
1
41
2
1
145
Piotr Szuca
1
41
5
1
145
Rafał Filipów
1
41
7
2
145
Hans Schoutens
3
41
1
1
145
Josep Maria Font
2
41
3
3
145
Balder Ten Cate
2
41
3
6
152
Alexander Usvyatsov
2
40
2
2
152
Jonas Reitz
1
40
2
1
152
Sanjay Jain
3
40
5
6
152
Juha Nurmonen
1
40
1
2
152
Leonid Libkin
1
40
8
6
152
Nick Bezhanishvili
4
40
3
3
158
Menachem Kojman
1
39
10
2
158
Istvan Nemeti
3
39
1
6
160
Wesley Calvert
3
38
1
2
160
Raf Cluckers
2
38
3
5
160
Luca San Mauro
1
38
6
1
160
Peter Michael Schuster
3
38
4
2
160
Pavel Semukhin
3
38
2
1
160
Pilar Dellunde i Clavé
2
38
3
2
166
Franziska Jahnke
2
37
1
1
166
Juris Steprans
6
37
1
1
166
Silvio Valentini
3
37
3
2
169
Anton Setzer
1
36
4
4
169
Reinhard Kahle
1
36
6
1
169
Thomas Strahm
1
36
2
1
169
Melvin Randall Holmes
3
36
2
1
169
Monica M Vandieren
1
36
3
3
169
Jindrich Zapletal
4
36
1
1
169
Michael F Singer
1
36
10
10
176
Alexander Shen
2
35
6
7
176
Victoria Gitman
3
35
2
1
176
Jakob Kellner
6
35
1
1
176
Mati Pentus
1
35
2
3
176
Jaap Van Oosten
5
35
1
2
181
Saeed Ghasemi
1
34
1
1
181
Verónica Becher
3
34
2
2
181
Tarek Sayed Ahmed
2
34
5
5
181
David Gabelaia
2
34
1
3
185
Marat M Arslanov
2
33
2
1
185
Mirna Dzamonja
6
33
1
3
185
Ewa Orlowska
1
33
6
6
185
Karel Hrbacek
2
33
3
3
185
Hajnal Andreka
3
33
3
5
190
Martin Grohe
3
32
6
18
190
Marek W Zawadowski
1
32
7
3
190
Lyubomyr Zdomskyy
3
32
6
5
190
Masanao Ozawa
2
32
8
17
190
Philipp Schlicht
5
32
2
1
190
Sergei Starchenko
3
32
1
4
196
Reinhard Muskens
1
31
7
3
196
Mariya Soskova
2
31
1
1
196
Albert Atserias
1
31
7
10
199
Jacek Cichoń
3
30
2
2
199
Pantelis E Eleftheriou
3
30
1
1
199
Alexandre V Borovik
3
30
3
7
202
Miloš S Kurilić
3
29
4
2
202
Shlomo Moran
1
29
13
10
202
Assaf Rinot
3
29
2
3
202
John Case
3
29
5
9
206
Chris Lambie-Hanson
5
28
1
1
206
João Rasga
1
28
7
2
206
Georg Gottlob
2
28
16
27
206
Nikolay Bazhenov
2
28
7
4
206
Giorgi Japaridze
2
28
6
7
206
Stephen Binns
4
28
1
3
212
Sam Sanders
4
27
2
3
212
Hirotaka Kikyo
3
27
1
1
212
Alexei Kolesnikov
4
27
1
3
212
Marcel Jackson
2
27
8
8
212
Răzvan Diaconescu
1
27
9
9
212
Serikzhan Badaev
2
27
4
4
212
Willem L Fouché
1
27
6
2
212
Vitezslav Svejdar
1
27
2
3
220
Lorenz Halbeisen
1
26
6
1
220
Alexander N Rybalov
1
26
7
1
220
Douglas Cenzer
4
26
4
6
220
Taishi Kurahashi
6
26
1
1
220
Shai Ben-David
1
26
5
8
220
Richard Beigel
2
26
4
6
226
Douglas Ulrich
2
25
1
1
226
Thomas Given-Wilson
1
25
3
2
226
Stefan Hetzl
2
25
5
4
226
Martin Lange
1
25
6
3
226
Leonid A Levin
1
25
3
4
226
Barry Jay
1
25
2
2
232
Joost J Joosten
4
24
1
2
232
Paulo Oliva
3
24
3
3
232
Brian A Davey
1
24
13
10
232
Daniel D Turetsky
2
24
1
2
232
Todd Eisworth
4
24
1
2
232
Henk Barendregt
2
24
2
4
232
Jonathan Kirby
2
24
2
3
232
Philipp Lücke
3
24
1
1
240
Alexander Berenstein
5
23
1
2
240
Josef Berger
2
23
1
2
240
Assaf Hasson
5
23
1
1
240
David M Evans
5
23
12
63
240
Stanley Burris
2
23
4
7
240
Carlos A Di Prisco
2
23
1
1
246
Franz-Viktor Kuhlmann
2
22
7
9
246
Alessandro Facchini
1
22
5
1
246
Lev Beclemishev
3
22
4
7
246
David Chodounsky
1
22
5
1
246
Grzegorz Plebanek
2
22
6
4
246
Dušan D Repovš
1
22
60
34
246
Barnabas Farkas
3
22
1
1
246
Ali Enayat
6
22
2
4
254
Ricardo Bianconi
2
21
2
1
254
Kazuyuki Tanaka
2
21
2
4
254
Agustin Rayo
1
21
3
3
257
Bart Kuijpers
1
20
13
7
257
Don Pigozzi
1
20
5
5
257
Thomas Ede Zimmermann
1
20
4
5
257
Eugenio Omodeo
1
20
5
4
257
Akito Tsuboi
8
20
1
1
257
Kevin Woods
1
20
1
2
257
Hristo Ganchev
2
20
2
1
257
John Goodrick
3
20
1
1
257
Yijia Chen
3
20
1
4
266
Christian Rosendal
5
19
1
5
266
Timothy H Mcnicholl
3
19
2
3
266
Eleftherios Tachtsis
3
19
5
4
266
Nicola Gambino
1
19
7
7
266
Boaz Tsaban
3
19
4
11
266
Arthur Paul Pedersen
1
19
1
1
272
Jacek Malinowski
1
18
3
1
272
Hannes Diener
2
18
2
2
272
Francesco Orilia
1
18
10
4
272
Gunnar Wilken
2
18
2
2
272
Ming Xu
1
18
3
4
272
Andrew D Brooke-Taylor
2
18
1
3
278
Péter Komjáth
5
17
4
10
278
Mauro Ferrari
1
17
8
5
278
Emanuel Kieronski
1
17
3
3
278
Wolfgang Merkle
2
17
1
3
278
Michael A Benedikt
1
17
9
12
278
Leen Torenvliet
1
17
4
3
278
Harry Buhrman
1
17
9
17
278
Lance Fortnow
1
17
8
10
286
Aleksandar Ignjatovic
1
16
4
10
286
Vassily A Lyubetsky
2
16
15
18
286
Jan von Plato
1
16
6
4
286
Tomasz Kowalski
2
16
5
5
286
Sara Negri
1
16
8
8
286
Carles Noguera
1
16
12
11
286
Roman Kossak
2
16
5
4
293
Alexander Rabinovich
5
15
3
6
293
András Pongrácz
1
15
3
4
293
Katalin Bimbo
1
15
5
2
293
Pablo Cubides Kovacsics
4
15
1
1
293
Daphne Koller
1
15
6
19
293
Steven Vickers
1
15
5
5
293
Pascal Koiran
2
15
7
11
293
Thomas Forster
4
15
1
2
301
Patrick Speissegger
2
14
2
6
301
Michael Lieberman
1
14
3
3
301
Egor Ianovski
1
14
1
1
301
Daniel Palacin
3
14
1
2
301
Thomas Studer
1
14
9
11
301
Carlos Enrique Uzcátegui
2
14
5
5
301
Makoto Fujiwara
3
14
1
1
301
Richard Elwes
1
14
4
2
301
Françoise Point
5
14
1
2
301
Tetsuya Ishiu
3
14
2
1
301
Harry Crane
1
14
6
4
301
Uri Abraham
2
14
1
2
313
Sean Cox
3
13
1
2
313
Regula Krapf
1
13
1
1
313
Piotr Kowalski
3
13
1
4
313
Krzysztof Krupiński
3
13
3
4
313
Zhenghan Wang
1
13
14
17
313
Mike Prest
6
13
1
10
313
Sylvy Anscombe
2
13
1
1
313
Juha Kontinen
2
13
7
11
313
Martino Lupini
2
13
6
5
313
Andris Ambainis
1
13
7
15
323
Juliette Kennedy
2
12
2
2
323
Greg Restall
1
12
12
14
323
Tommaso Moraschini
1
12
6
5
323
Arno Pauly
2
12
5
7
323
Karel Chvalovský
2
12
2
3
323
Franz Baader
1
12
13
28
323
Martín Hötzel Escardó
1
12
4
5
323
Guozhen Shen
2
12
1
1
323
Melvin Fitting
1
12
8
10
323
Masahiro
2
12
1
1
323
Laura Crosilla
1
12
1
2
323
Santiago Figueira
1
12
6
7
323
Norbert Preining
1
12
3
3
336
Wesley Halcrow Holliday
2
11
2
5
336
Carmi Merimovich
2
11
2
2
336
Evgueni V Vassiliev
2
11
3
3
336
Ludovic Patey
3
11
2
3
336
Shimon Garti
2
11
4
6
336
Anton Freund
3
11
1
4
336
Joel Gregory Lucero-Bryan
3
11
1
2
336
Raphael Carroy
1
11
2
1
336
Jared Corduan
1
11
1
1
336
Krzysztof C Ciesielski
1
11
16
18
336
H A Kierstead
1
11
7
10
336
Wolfgang Thomas
1
11
6
10
349
Ilijas Farah
1
10
18
24
349
Lorenzo Carlucci
2
10
2
4
349
Travis Nell
2
10
1
1
349
Christopher J Eagle
1
10
2
3
349
Bruno Bauwens
1
10
3
4
349
Philip Scowcroft
3
10
2
3
349
Asaf Karagila
1
10
2
3
349
Fredrik Engström
2
10
1
2
349
Borys Kadets
1
10
1
1
349
Maciej Malicki
2
10
1
1
349
Frank Pfenning
1
10
9
13
349
Thomas Sinclair
1
10
3
6
361
Trevor M Wilson
3
9
1
1
361
Ayan Mahalanobis
1
9
3
3
361
Neil Tennant
1
9
9
15
361
Margit Messmer
1
9
1
3
361
Gianluca Paolini
1
9
5
3
361
Konrad Zdanowski
2
9
2
3
361
Fedor N Pakhomov
2
9
1
2
361
Ayhan Günaydın
1
9
2
3
361
Gilda Ferreira
1
9
8
3
361
Dilip Raghavan
2
9
3
5
361
Stevo Todorcevic
2
9
12
24
361
William Gasarch
2
9
2
4
361
G Aldo Antonelli
2
9
2
1
374
Dominique Lecomte
2
8
2
5
374
Rostislav Horčík
1
8
8
10
374
Henry Towsner
2
8
4
5
374
Barbara Majcher-Iwanow
1
8
3
1
374
Heinrich Wansing
2
8
9
19
374
Ursula Martin
1
8
5
11
374
Marcos Mazari-Armida
1
8
2
2
374
Longyun Ding
3
8
1
1
374
Benjamin D Miller
5
8
1
8
374
Tommaso Flaminio
1
8
11
10
374
Gena Puninski
3
8
5
9
374
Diego A Mejia
1
8
2
4
374
Hykel Hosni
1
8
6
8
374
Rineke Verbrugge
1
8
10
26
374
Jan Van Mill
1
8
13
15
374
Bjarni Jónsson
1
8
4
9
390
Philip D Welch
2
7
4
13
390
Benno van den Berg
1
7
6
7
390
Jonathan L Verner
1
7
1
2
390
Carla Piazza
1
7
8
15
390
Junguk Lee
2
7
2
1
390
Amir Leshem
2
7
10
19
390
Jakub Gismatullin
2
7
1
6
390
Olivier Finkel
1
7
5
6
390
Yoshihito Tanaka
1
7
2
3
390
Silvia Steila
3
7
1
2
390
Radek Honzik
2
7
3
4
390
Jan Kraszewski
1
7
2
1
390
Will Johnson
2
7
1
1
390
Alessandra Carbone
2
7
14
33
390
Jan Dobrowolski
3
7
1
2
390
Paolo Lipparini
1
7
4
4
390
Marek Balcerzak
1
7
9
10
390
Ana Mamatelashvili
1
7
1
1
390
Martin Hils
2
7
1
3
390
Graham E Leigh
1
7
1
2
390
Arno Fehm
2
7
1
4
390
Carolin Antos
1
7
1
2
390
Marcus Tressl
2
7
1
3
414
Paul
2
6
1
4
414
Tomasz Rzepecki
2
6
1
2
414
Hiroshi Sakai
1
6
3
4
414
Sebastiaan A Terwijn
1
6
2
4
414
Mojtaba Moniri
1
6
1
1
414
Charles E Hughes
2
6
4
19
414
Xianghui Shi
2
6
1
1
414
Bruce M Kapron
1
6
3
12
414
Sabine Broda
1
6
6
6
414
Daniel Max Hoffmann
2
6
1
5
414
Peter Jonsson
1
6
7
10
414
Guillaume Valette
1
6
2
6
414
Grzegorz Jagiella
2
6
1
2
414
Antongiulio Fornasiero
2
6
3
6
414
Grigor Sargsyan
2
6
1
7
414
Hugo Albuquerque
1
6
2
2
414
Oleg V Verbitsky
1
6
8
10
414
Masato Fujita
1
6
2
2
414
Takako Nemoto
1
6
3
3
414
Bartosz Wcisło
1
6
2
2
414
Mateusz Łełyk
1
6
2
2
414
Ondrej Zindulka
1
6
4
4
436
Murdoch J Gabbay
1
5
9
12
436
Thomas Colcombet
1
5
1
1
436
Sæed Salehi
1
5
6
4
436
Ziv Shami
1
5
3
2
436
Kyriakos Keremedis
1
5
7
8
436
Allen Gehret
1
5
1
1
436
Gabriele Puppis
1
5
4
5
436
Mark Kamsma
1
5
1
1
436
Harold T Hodes
5
5
1
3
436
Pierre Matet
1
5
6
9
436
Olivier Carton
1
5
9
11
436
David Milovich
1
5
4
3
436
Mario J Edmundo
1
5
8
13
436
Sherwood Hachtman
2
5
1
1
436
Bektur Baizhanov
2
5
1
1
436
Yair Hayut
3
5
1
5
436
K P Hart
1
5
6
8
436
Andre Scedrov
2
5
8
18
436
David Schrittesser
1
5
1
3
436
Lorna Gregory
1
5
1
1
436
Giacomo Lenzi
1
5
11
9
436
Andrea Formisano
1
5
7
12
436
Nam Trang
1
5
3
3
436
Asger Törnquist
2
5
1
7
436
Alessandro Vignati
1
5
2
6
436
Giovanni Curi
2
5
2
5
436
Wim Ruitenburg
1
5
3
4
436
Ian E Pratt-Hartmann
1
5
8
13
436
Predrag Tanovic
5
5
1
5
436
Lidia Tendera
1
5
4
5
436
Vassilis Kanellopoulos
1
5
4
5
436
Clifford Smyth
1
5
5
7
436
George M Bergman
1
5
8
10
436
Piotr Zakrzewski
2
5
1
6
436
Pandelis Dodos
1
5
5
11
436
Kostas Hatzikiriakou
1
5
2
2
473
Miroslav Zelený
1
4
5
8
473
Keita Yokoyama
2
4
3
6
473
Frederik S Herzberg
1
4
9
12
473
Martin Zelený
1
4
10
20
473
Ningyuan Yao
1
4
2
4
473
Wim Veldman
1
4
2
5
473
Amador Martin-Pizarro
2
4
2
5
473
Dániel Tamás Soukup
1
4
6
7
473
Szymon Plewik
1
4
6
7
473
Mikhail G Katz
1
4
21
35
473
Antoine Mottet
1
4
2
4
473
Sylvain Schmitz
1
4
3
8
473
Rahim Moosa
2
4
1
7
473
Francesco Ciraulo
1
4
3
3
473
Sérgio Marcelino
1
4
3
9
473
Sandra Müller
1
4
4
4
473
Sachio Hirokawa
1
4
12
11
473
Jeffry L Hirst
1
4
4
6
473
Alfredo Roque Freire
1
4
1
1
473
Luka Mikec
1
4
2
2
473
Timothy J Surendonk
1
4
1
2
473
Janusz Pawlikowski
3
4
1
4
473
Stephen Bigelow
1
4
2
4
473
Pietro Galliani
1
4
2
4
473
Athanassios Tzouvaras
2
4
4
7
473
A James Humphreys
1
4
1
2
473
Alex Kruckman
1
4
1
2
473
Lajos Soukup
1
4
5
11
473
Will Brian
1
4
3
2
473
Mladen Vuković
1
4
2
3
473
Agi Kurucz
1
4
1
5
504
Brent Cody
1
3
3
3
504
Matt Valeriote
1
3
2
7
504
Yuri Matiyasevich
1
3
13
17
504
Sarka Stejskalova
2
3
1
2
504
Ivo Düntsch
1
3
17
27
504
Michael Kompatscher
1
3
1
5
504
Miklós Erdélyi-Szabó
2
3
1
1
504
Gregor Svindland
1
3
7
16
504
Mark Reynolds
1
3
9
28
504
Daniel W Cunningham
1
3
2
2
504
Evgeny Kolmakov
1
3
1
1
504
Alexandr Kazda
1
3
3
7
504
Evangelos Kranakis
1
3
21
46
504
Annalisa Conversano
1
3
1
4
504
Daniel E Severin
1
3
5
6
504
Dino Rossegger
1
3
2
5
504
Vahagn A Aslanyan
1
3
4
6
504
Daniel J Velleman
1
3
5
7
504
Christine Rizkallah
1
3
4
6
504
Taneli Huuskonen
1
3
2
3
504
Ernest Edmonds
1
3
8
14
504
Massoud Pourmahdian
1
3
3
3
504
Neil Immerman
1
3
6
13
528
Mateusz Łełyk
1
2
1
1
528
Thomas Eiter
1
2
15
24
528
Farida Kachapova
1
2
3
2
528
Michał M Stronkowski
1
2
5
8
528
Daniel Hathaway
1
2
1
1
528
Jonathan Schilhan
1
2
1
1
528
Agata Ciabattoni
1
2
9
16
528
Paolo Leonetti
1
2
10
13
528
Monroe Eskew
1
2
3
2
528
Jakub Gogolok
1
2
1
1
528
Carlos Martinez-Ranero
1
2
1
1
528
Raffaella Cutolo
2
2
1
1
528
Bas Spitters
2
2
4
11
528
Miroslav Repický
1
2
2
3
528
Rasmus Blanck
1
2
1
1
528
Mohammad Golshani
4
2
1
5
528
Nicholas Ramsey
1
2
2
6
528
Gareth A Jones
1
2
14
21
528
Eric P Astor
1
2
2
2
528
Konstantinos A Beros
1
2
2
1
528
David Aspero
1
2
1
2
528
Giorgio Laguzzi
1
2
4
4
528
Carl Mummert
1
2
3
9
528
Andrea Asperti
1
2
9
15
528
Adel Khalfallah
1
2
5
8
528
Adam Kwela
1
2
5
7
528
Peter Clote
1
2
10
18
528
Karen M Lange
1
2
1
4
528
Ivan Di Liberti
1
2
2
1
528
Takayuki Kihara
2
2
1
6
528
Justin Tatch Moore
1
2
3
4
528
Samuele Maschio
1
2
2
2
528
Łukasz Kaiser
1
2
1
3
528
Maria Emilia Maietti
1
2
3
10
528
Kyle Gannon
1
2
1
2
528
Carlo Nicolai
1
2
4
9
528
Matthew Moore
1
2
2
2
566
Daniel Wolf
1
1
1
1
566
Angsheng Li
1
1
8
15
566
Septimiu Crivei
1
1
6
14
566
Maxwell Levine
1
1
1
2
566
Andrei E Romashchenko
1
1
6
10
566
David Fernández-Bretón
1
1
2
6
566
Masahiro Hamano
1
1
6
8
566
Luca Carai
2
1
1
1
566
Satyadev Nandakumar
1
1
2
6
566
William Chan
1
1
5
6
566
Giorgio Audrito
1
1
4
13
566
Benjamin Vejnar
1
1
4
7
566
Miha Emerik Habič
1
1
1
4
566
Boris Šobot
1
1
2
5
566
Davide Ravotti
1
1
1
5
566
Samuel Coskey
1
1
5
10
566
Nadav Meir
2
1
1
1
566
Quentin Brouette
1
1
1
2
566
Jinhe Ye
1
1
1
3
566
Manlio Valenti
1
1
1
1
566
Yifeng Ding
1
1
1
2
566
Richard Zach
1
1
8
13
566
Paweł Krupski
1
1
5
8
566
Corey Bacal Switzer
1
1
2
2
566
Shamil T Ishmukhametov
1
1
4
5
566
Dmitry Itsykson
1
1
4
6
566
Dmitry O Sokolov
1
1
3
5
566
Slavko Moconja
1
1
3
2
566
Tingxiang Zou
1
1
1
1
566
Athar Abdul-Quader
1
1
1
1
566
Mojtaba Mojtahedi
1
1
1
2
566
William S Zwicker
1
1
5
10
566
Mohammad Ardeshir
1
1
6
7
566
Olga Kharlampovich
1
1
6
12
566
Sean Walsh
1
1
2
6
566
Peter Jipsen
1
1
4
8
602
Ana de Almeida Borges
1
0
1
0
602
Paul Shafer
1
0
2
5
602
Ali Bleybel
1
0
1
2
602
Harrie de Swart
1
0
2
5
602
Gonenc Onay
1
0
1
2
602
Philip Dittmann
1
0
1
6
602
Giorgio Venturi
1
0
8
9
602
Eric W Allender
1
0
11
23
602
Andrey N Frolov
1
0
4
10
602
Moshe Kamensky
1
0
3
8
602
Giuseppe Sergioli
1
0
12
27
602
Andrew S Marks
1
0
2
7
602
Attila Joó
1
0
5
6
602
Krishnendu Chatterjee
1
0
14
22
602
Alan Dow
1
0
8
14
602
Andrew W Swan
1
0
1
2
602
Johanna N Y Franklin
1
0
3
8
602
Wiesław Kubiś
1
0
8
22
602
Nathanael L Ackerman
1
0
3
10
602
Nir Piterman
1
0
9
28
602
Vincenzo Mantova
1
0
1
5
602
Víctor Torres-Pérez
1
0
1
6
602
Lavinia Egidi
1
0
4
14
602
Ingo Brigandt
1
0
11
23
602
Zachiri McKenzie
1
0
4
5
602
Rob Egrot
1
0
1
7
602
Ko-Wei Lih
1
0
10
15
602
Patrick J Morandi
1
0
1
0
602
Roberto Giuntini
1
0
13
30
602
Yoriyuki Yamagata
1
0
3
8
602
Yevhen Zelenyuk
1
0
7
10
602
Teo Grünberg
1
0
1
3
602
Alice Medvedev
1
0
1
2
602
Dmitry Sustretov
1
0
1
2
602
Stefan Geschke
1
0
4
11
602
Stephen Fenner
1
0
2
10
602
Szabolcs Mikulas
1
0
5
10
602
Andrew Arana
1
0
2
6
site/software ©
exaly
; All materials licenced under
CC by-SA
.