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