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
›
Studia Logica
Studia Logica
0.4
(top 50%)
impact factor
2.9K
(top 10%)
papers
25.3K
(top 10%)
citations
58
(top 10%)
h
-index
0.5
(top 50%)
impact factor
3.3K
all documents
27.4K
doc citations
87
(top 10%)
g
-index
Top Authors (by articles)
#
Author
Articles
Citations
R ARank
R CRank
1
Janusz Czelakowski
16
419
1
1
2
Heinrich Wansing
15
288
1
1
3
Ramon Jansana
13
129
1
1
4
Sergei P Odintsov
10
192
1
1
5
Norihiro Kamide
9
65
1
2
5
Sven Ove Hansson
9
224
3
6
5
Roberto Giuntini
9
202
2
2
5
Yaroslav Shramko
9
120
1
1
5
Hiroakira Ono
9
216
1
2
5
Roberto Cignoli
9
140
1
2
5
Wiebe Van Der Hoek
9
224
2
3
12
Arnon Avron
8
176
1
3
12
Robert Goldblatt
8
107
1
3
14
Wojciech Buszkowski
7
127
2
2
14
Hernan San Martin
7
31
1
1
14
Melvin Fitting
7
124
2
5
14
Josep Maria Font
7
105
1
1
14
Nick Bezhanishvili
7
59
1
2
14
J Michael Dunn
7
438
1
2
20
Andrzej Pietruszczak
6
28
1
2
20
Nissim Francez
6
60
1
7
20
Johan van Benthem
6
73
2
4
20
Franco Montagna
6
318
2
1
20
Yuichi Komori
6
50
1
3
25
Vladimir Kanovei
5
50
7
4
25
Beata Konikowska
5
113
2
1
25
Valentin Goranko
5
98
2
6
25
Brian A Davey
5
41
2
4
25
Diderik Batens
5
69
1
2
25
Marek W Zawadowski
5
59
1
1
25
Dorota Leszczyńska-Jasion
5
39
1
1
25
Tarek Sayed Ahmed
5
54
2
2
25
Daniele Mundici
5
272
1
3
25
José Luis Castiglioni
5
39
1
1
25
Michael Kaminski
5
27
1
4
25
Tomasz Kowalski
5
48
2
2
25
Antonio Di Nola
5
122
4
2
38
Piotr Kulicki
4
9
2
6
38
Peter Schroeder-Heister
4
35
1
4
38
Jan Woleński
4
18
1
1
38
Andrzej Wisniewski
4
33
1
3
38
Greg Restall
4
81
2
4
38
Sándor A Jenei
4
215
2
2
38
Don Pigozzi
4
151
2
2
38
Vincenzo Marra
4
63
1
2
38
Stefan Wintein
4
17
1
1
38
Marcelo Esteban Coniglio
4
32
4
6
38
Paolo Agliano'
4
100
2
2
38
Stephane Demri
4
21
5
9
38
Neil Tennant
4
38
2
4
38
Gerhard Schurz
4
18
5
15
38
Cristina Sernadas
4
30
4
5
38
Ming Xu
4
49
2
2
38
Edwin D Mares
4
34
2
7
38
Joan Gispert
4
104
1
1
38
Michael Wooldridge
4
200
5
5
38
Adam Prenosil
4
30
1
1
38
Giacomo Bonanno
4
7
3
20
38
Gilda Ferreira
4
25
1
1
38
Victor Pambuccian
4
30
5
4
38
Sergio Celani
4
22
4
6
38
Antonio Ledda
4
92
2
1
38
Marek Nowak
4
15
1
1
38
Melvin Randall Holmes
4
6
1
2
38
Maarten Marx
4
26
3
14
38
Andrzej Indrzejczak
4
24
1
1
38
Hans van Ditmarsch
4
82
3
4
38
Carles Noguera
4
36
3
9
38
Hitoshi Omori
4
147
1
1
38
Alasdair Urquhart
4
162
3
3
38
Giangiacomo Gerla
4
58
3
6
38
Grzegorz Malinowski
4
11
1
1
73
Carlos Caleiro
3
32
3
6
73
Frederik S Herzberg
3
9
2
10
73
Stanislav O Speranski
3
12
1
1
73
Silvio Ghilardi
3
65
6
7
73
Miklós Ferenczi
3
11
2
3
73
Tatyana E Galaktionova
3
8
1
2
73
Ricardo Oscar Rodriguez
3
56
1
1
73
Valentin B Shehtman
3
37
1
2
73
Amílcar C Sernadas
3
13
4
11
73
David Fernández-Duque
3
46
4
2
73
Giorgio Venturi
3
8
1
3
73
Krystyna Mruczek-Nasieniewska
3
3
1
3
73
Urszula Wybraniec-Skardowska
3
22
1
1
73
Alessandra Palmigiano
3
7
5
16
73
Tommaso Moraschini
3
19
3
2
73
Bernhard Heinemann
3
6
2
4
73
Zofia Kostrzycka
3
39
1
1
73
Paolo Maffezioli
3
18
2
2
73
Rohan French
3
19
1
4
73
João Rasga
3
13
4
4
73
Reinhard Muskens
3
5
3
12
73
Hsing-chien Tsai
3
27
1
1
73
Lev Beclemishev
3
29
4
5
73
Massimiliano Carrara
3
18
3
4
73
Philippe Balbiani
3
24
7
8
73
Petr Cintula
3
36
4
6
73
Matteo Bianchi
3
11
2
5
73
Eugenio Orlandelli
3
20
1
1
73
Ulrich Kohlenbach
3
10
8
19
73
Manuel António Martins
3
19
5
6
73
Gustavo Pelaitay
3
9
1
3
73
Stefano Bonzio
3
57
1
1
73
Jie Fang
3
8
1
3
73
Ofer Arieli
3
62
5
4
73
Yoshihito Tanaka
3
12
1
2
73
Vladimir V Rybakov
3
33
8
6
73
Lluis Godo
3
133
14
7
73
Giorgi Japaridze
3
17
2
8
73
Stefano Aguzzoli
3
47
4
2
73
Dominik Klein
3
5
1
4
73
Matthias Baaz
3
83
7
4
73
Claudia Casadio
3
24
2
3
73
Reinhard Kahle
3
18
2
5
73
Dmitry V Zaitsev
3
48
1
1
73
John Cantwell
3
36
2
3
73
Umberto Rivieccio
3
42
4
4
73
Pavel Naumov
3
17
4
3
73
Taishi Kurahashi
3
25
2
2
73
Tadeusz Litak
3
16
2
1
73
Edoardo Rivello
3
8
1
1
73
Athanassios Tzouvaras
3
7
3
4
73
Luca Tranchini
3
28
1
2
73
Manuela Busaniche
3
8
2
5
73
Igor Douven
3
54
6
17
73
Robert Trypuz
3
6
2
4
73
Leendert van der Torre
3
45
4
11
73
Francesc Esteva
3
133
8
6
73
Lloyd Humberstone
3
10
3
10
73
Mohammad Ardeshir
3
17
4
3
73
Décio Krause
3
87
3
2
73
Dmitry Zaitsev
3
48
1
1
73
Revaz Grigolia
3
49
2
1
73
Tatyana Ivanova
3
8
1
1
73
Dimiter Vakarelov
3
41
3
6
73
Nguyen Cat Ho
3
30
2
2
73
Guido Boella
3
53
3
6
139
Shengyang Zhong
2
12
1
1
139
Tomasz F Skura
2
17
1
3
139
Fernando Ferreira
2
17
7
25
139
Aldo Figallo-Orellano
2
7
1
2
139
Fey Liang
2
6
1
4
139
Wlodek Rabinowicz
2
6
5
12
139
Joshua Sack
2
7
2
9
139
Martín Figallo
2
15
1
1
139
Koji Nakazawa
2
7
1
1
139
Michał M Stronkowski
2
8
2
4
139
Frederik Van De Putte
2
5
3
4
139
Agata Ciabattoni
2
46
6
7
139
John Grant
2
9
4
15
139
George Metcalfe
2
27
4
8
139
Annika M Wille
2
31
1
1
139
Maurice Pagnucco
2
4
4
11
139
Denis Bechet
2
14
2
1
139
Renata Wassermann
2
53
4
2
139
Pablo Cobreros
2
55
3
4
139
Jean Paul Van Bendegem
2
0
2
4
139
Philip D Welch
2
22
4
5
139
Anna Zamansky
2
44
3
1
139
Joanna Golińska-Pilarek
2
19
5
2
139
Fiora Pirri
2
23
4
11
139
Ivo Düntsch
2
25
9
16
139
Ming Hsiung
2
26
1
1
139
Patrick Blackburn
2
93
5
3
139
Albert Visser
2
36
7
7
139
Miloš Adžić
2
2
1
2
139
Joost J Joosten
2
29
2
1
139
Mirjana Ilic
2
4
1
1
139
Jeanne Peijnenburg
2
16
3
5
139
Francesca Boccuni
2
14
1
1
139
Federico Pailos
2
7
3
7
139
Pavlos Peppas
2
3
5
12
139
Paulo Oliva
2
2
5
11
139
Juan Jose Colomina Alminana
2
0
2
7
139
Dmitry Shkatov
2
29
4
2
139
Norbert Gratzl
2
13
1
1
139
Tim French
2
26
2
3
139
Aleksandr Kravchenko
2
28
3
2
139
Tomáš Lávička
2
2
1
2
139
Bogdan Staruch
2
5
1
2
139
Sergey Drobyshevich
2
4
2
3
139
Luca Spada
2
33
2
1
139
Asadollah Fallahi
2
4
1
1
139
Michael Zakharyaschev
2
34
6
8
139
Shawn Standefer
2
5
4
5
139
José Gil-Férez
2
39
1
1
139
Andreas Fjellstad
2
16
1
3
139
David Ripley
2
30
4
10
139
Rafał Gruszczyński
2
10
2
3
139
Henry Prakken
2
191
6
7
139
Chrysafis Hartonas
2
34
4
3
139
Marta Bilkova
2
23
2
2
139
Marcello D'Agostino
2
18
1
9
139
Jia Chen
2
1
1
2
139
Christian Straßer
2
8
4
9
139
Fabrice Correia
2
26
4
7
139
Ignacio Darío Viglizzo
2
16
1
3
139
Mark Reynolds
2
40
5
5
139
Thomas Ferguson
2
17
5
5
139
Richard Booth
2
17
3
2
139
Katalin Bimbo
2
13
2
3
139
Peter Michael Schuster
2
8
8
16
139
Martin Wa Caminada
2
226
3
3
139
Hugo Albuquerque
2
26
1
1
139
Ulrich Berger
2
26
7
4
139
Katsuhiko Sano
2
37
3
2
139
Mauro Ferrari
2
3
5
9
139
Joel Gregory Lucero-Bryan
2
10
2
4
139
Revantha Ramanayake
2
20
2
1
139
Sachio Hirokawa
2
9
6
8
139
Linh Anh Nguyen
2
27
7
6
139
Hans Rott
2
19
5
13
139
Fernando Ferreira
2
17
6
5
139
Carsten Lutz
2
34
4
10
139
Yale Weiss
2
3
1
3
139
Tommaso Flaminio
2
7
7
11
139
Roman Kontchakov
2
37
3
4
139
Brunella Gerla
2
41
3
1
139
Marek Nasieniewski
2
11
2
1
139
Eduardo Fermé
2
21
3
8
139
Brian Hill
2
13
2
6
139
Wim Ruitenburg
2
6
1
3
139
Joanna Grygiel
2
2
1
1
139
Walter Carnielli
2
7
3
7
139
Jim de Groot
2
2
1
2
139
Richard Zach
2
71
4
3
139
Jarosław Pykacz
2
6
4
6
139
David Atkinson
2
16
2
6
139
Vít Punčochář
2
8
2
4
139
Thomas Meyer
2
15
5
7
139
Gennady Shtakser
2
12
1
1
139
Zoran Ognjanović
2
21
5
9
139
Christian G Fermüller
2
29
2
2
139
Bartosz Więckowski
2
9
1
2
139
Jürgen Landes
2
16
7
7
139
Tomasz Jarmużek
2
5
1
2
139
Allen L Mann
2
9
1
1
139
Leon Horsten
2
15
6
11
139
Thomas Ågotnes
2
3
6
9
139
Paolo Pistone
2
8
1
1
139
Ricardo Goncalves
2
15
3
4
139
Jouko Väänänen
2
151
11
2
139
Xue-ping Wang
2
4
8
10
139
Henri Prade
2
146
20
20
139
Michael Arndt
2
3
1
1
139
Alessandro Giordani
2
15
2
6
139
Ahti-Veikko Pietarinen
2
43
7
5
139
Burghard Herrmann
2
95
1
1
139
Diego Castaño
2
3
1
2
139
David Gabelaia
2
49
1
1
139
Robert Veroff
2
40
2
3
139
Michael Thielscher
2
13
4
9
139
Istvan Nemeti
2
119
3
3
139
Marek Zaionc
2
36
1
1
139
Sonja Smets
2
30
4
7
139
Chitta Baral
2
4
6
8
139
Barteld Kooi
2
71
2
4
139
Sarit Kraus
2
8
8
30
139
Aldo Ursini
2
6
2
6
139
Gianpiero Cattaneo
2
92
5
3
139
Francesca Poggiolesi
2
15
2
3
139
Frank Wolter
2
29
3
7
139
Vincent F Hendricks
2
0
1
8
139
R Ramanujam
2
14
2
4
139
Fei Liang
2
6
1
4
139
Yves Lesperance
2
45
2
3
139
Szabolcs Mikulas
2
5
2
6
139
Alexandru Baltag
2
30
5
10
139
Peter Jipsen
2
58
2
2
139
Mai Gehrke
2
71
5
7
139
Jean-Yves Beziau
2
1
3
15
139
David Pearce
2
30
4
9
139
Joke Meheus
2
32
1
2
139
Claudio Bernardi
2
53
1
2
277
Arun Kumar
1
17
72
99
277
Nina Gierasimczuk
1
5
3
8
277
Lambèr Royakkers
1
1
3
8
277
Diego Calvanese
1
2
16
32
277
Lucy Ham
1
1
1
7
277
Alberto Naibo
1
4
1
4
277
Soroush Rafiee Rad
1
8
3
3
277
Paolo Liberatore
1
1
4
13
277
José Júlio Alferes
1
48
7
6
277
Vaishak Belle
1
5
5
5
277
Jared Millson
1
5
1
2
277
Jan-Willem Romeijn
1
3
4
13
277
Michał Kozak
1
15
1
1
277
Jaime Gaspar
1
2
1
2
277
René Gazzari
1
1
1
1
277
Wesley Halcrow Holliday
1
4
5
13
277
Hirohiko Kushida
1
3
1
1
277
Farida Kachapova
1
0
3
7
277
Sophia Knight
1
2
2
3
277
Lev Goredeev
1
3
1
2
277
Francisco Salto Alemany
1
2
5
10
277
Sarah Beck
1
17
12
23
277
Gemma Robles
1
3
8
8
277
Antonino Salibra
1
17
6
7
277
Amanda Vidal
1
4
5
6
277
Antonis C Kakas
1
6
7
16
277
João Alexandre Leite
1
48
5
3
277
Robert van Rooij
1
20
6
7
277
Mateusz Ignaszak
1
0
1
0
277
Cezary Cieśliński
1
0
4
7
277
Niki Pfeifer
1
44
6
7
277
Rafał Palczewski
1
2
1
1
277
Ilya B Shapirovsky
1
2
1
2
277
Maurício D L Reis
1
2
3
7
277
Michel Rigo
1
0
12
25
277
Alessandro Facchini
1
16
5
2
277
Stavros Vassos
1
3
2
4
277
Małgorzata Kruszelnicka
1
0
1
0
277
Roy T Cook
1
22
8
6
277
Andrés Perea
1
0
8
14
277
Grigory K Olkhovikov
1
6
3
2
277
Zarko Mijajlovic
1
4
3
2
277
Cosimo P Brogi
1
0
1
0
277
Rostislav Horčík
1
0
8
16
277
Reiner Hähnle
1
17
9
14
277
Carlos Viegas Damásio
1
6
6
9
277
Francesca Toni
1
6
9
21
277
Yuri A Poveda
1
0
1
3
277
Darrell P Rowbottom
1
9
9
12
277
Chenwei Shi
1
2
3
4
277
Robert C Koons
1
0
2
8
277
Jonas Rafael Becker Arenhart
1
6
7
8
277
Libor Behounek
1
0
5
9
277
Mateusz Klonowski
1
3
2
3
277
Jacek Malinowski
1
4
3
4
277
Jesús Lavalle
1
1
1
1
277
Nikos Gorogiannis
1
9
4
5
277
Daniel Bonevac
1
21
6
6
277
Gabriele Kern-Isberner
1
25
5
4
277
Adrian Miroiu
1
2
1
5
277
Victoria Gould
1
6
15
18
277
Patrick Allo
1
2
5
12
277
Eric Martin
1
0
2
5
277
Vladimir Vasyukov
1
5
1
1
277
Gerhard Brewka
1
1
3
8
277
Almudena Colacito
1
3
1
4
277
Dietmar Berwanger
1
18
4
6
277
Georg Moser
1
24
4
2
277
Michael Beeson
1
2
2
7
277
Achille C Varzi
1
2
15
27
277
Martin Papčo
1
23
2
2
277
Laura Giordano
1
11
10
14
277
Edith Vargas-García
1
10
1
1
277
Giuseppe De Giacomo
1
3
15
24
277
Bernhard Paul Harrenstein
1
1
6
15
277
Marcus Pivato
1
0
9
32
277
Galym Akishev
1
3
1
1
277
Elia Zardini
1
81
8
2
277
Luca Vigano
1
35
10
5
277
Soumya Paul
1
3
3
5
277
Keith Kearnes
1
0
9
13
277
José Félix Costa
1
13
10
9
277
Sheng-Wei Han
1
2
4
6
277
Ullrich Hustadt
1
13
6
10
277
Jaroslav Peregrin
1
12
6
5
277
Benno van den Berg
1
1
6
13
277
Giulio Guerrieri
1
4
2
3
277
Denis I Saveliev
1
2
2
3
277
Gunther Schmidt
1
14
4
4
277
Ariel Cohen
1
0
3
9
277
Alexandre Madeira
1
2
7
12
277
Giuseppe Sanfilippo
1
57
4
5
277
Jim Burton
1
3
2
1
277
Jan Maciej Komorowski
1
10
29
65
277
José Mclm Carmo
1
16
2
2
277
Ben Middleton
1
1
1
2
277
Michael Fisher
1
27
21
26
277
Satoru Niki
1
2
1
1
277
Holger
1
3
6
9
277
Thomas Studer
1
25
9
5
277
Daniel Gaina
1
25
5
3
277
R Gregory Taylor
1
1
1
2
277
Sylvia Wenmackers
1
35
2
5
277
Michael Moshier
1
3
3
4
277
François Schwarzentruber
1
12
5
5
277
Vladik Kreinovich
1
2
42
56
277
Davide Rizza
1
2
2
4
277
Luis Estrada-González
1
2
3
4
277
Bozena Wozna-Szczesniak
1
7
5
7
277
Михаил Рыбаков
1
23
5
3
277
Daniil Kozhemiachenko
1
0
1
2
277
Renato Hl Pedrosa
1
0
1
7
277
Gianluca Grilletti
1
8
2
3
277
Edmond W H Lee
1
17
5
6
277
Patrick Burns
1
17
4
8
277
Brian Leahy
1
18
2
3
277
Luca Roversi
1
14
3
6
277
Jānis Cīrulis
1
4
6
4
277
Igor Sedlár
1
1
2
8
277
Johann Joubert Wannenburg
1
7
1
1
277
Jonathan Smith; Jdh Smith; Jonathan Dh Smith
1
9
10
5
277
Pavel Materna
1
4
2
5
277
Andrew Tedder
1
1
3
6
277
Benjamin Blankertz
1
0
14
37
277
Costas D Koutras
1
3
6
7
277
Réka Markovich
1
10
1
1
277
Jeroen P Goudsmit
1
1
1
4
277
Will Nalls
1
2
1
1
277
Oliver Schulte
1
2
5
11
277
Jan Heylen
1
19
5
2
277
Juan A Rodriguez-Aguilar
1
3
11
26
277
Bruno Da Re
1
5
3
5
277
Jie Fan
1
2
1
5
277
Edmund Robinson
1
2
3
6
277
Edwin J Beggs
1
13
13
19
277
Alessandra Russo
1
12
11
32
277
David Michael Roberts
1
3
1
3
277
Giovanni CinÀ
1
6
1
2
277
Takuro Onishi
1
4
1
1
277
Neil Barton
1
3
3
4
277
Benjamin Eva
1
1
2
10
277
Alexei Lisitsa
1
27
3
3
277
Franz Baader
1
253
13
3
277
Anantha Padmanabha
1
11
2
1
277
Ryo Hatano
1
3
1
2
277
Vaston Gonçalves da Costa
1
6
1
2
277
Sara Ugolini
1
11
3
3
277
Kira V Adaricheva
1
7
7
7
277
Luís Pinto
1
25
6
10
277
Giuseppe Greco
1
3
3
8
277
Edward Hermann Haeusler
1
6
5
5
277
Christian Pech
1
7
4
7
277
Luis Soares Barbosa
1
2
5
14
277
Evandro Agazzi
1
24
8
3
277
Michael De
1
45
2
1
277
Gergely Székely
1
5
4
9
277
Andrzej Skowron
1
10
15
20
277
Riccardo Re
1
4
5
7
277
Andreas Weiermann
1
0
9
22
277
Guillermo BadÍa
1
11
6
3
277
Giacomo Lenzi
1
1
11
16
277
Ian P Gent
1
6
6
11
277
Roy Dyckhoff
1
3
1
2
277
Nikolay Bazhenov
1
7
10
11
277
Anestis Touloumis
1
3
2
8
277
Taolue Chen
1
4
7
15
277
Andrzej Szalas
1
11
7
9
277
Manuel Ojeda-Aciego
1
4
13
23
277
Bjørn Kjos-Hanssen
1
2
1
2
277
Rafal Urbaniak
1
5
5
7
277
Edi Pavlović
1
3
1
3
277
José Espírito Santo
1
3
5
6
277
Joseph S Miller
1
50
12
8
277
Radomír Halaš
1
5
9
10
277
Graciela Gonzalez
1
4
18
32
277
Karolina Krzyżanowska
1
35
2
1
277
Richard Ca Moot
1
15
4
3
277
Kai F Wehmeier
1
12
2
6
277
Paul Weingartner
1
4
1
5
277
Guilherme Vicentin de Toledo
1
5
1
1
277
Jean-Pierre Corriveau
1
42
3
2
277
Kyle Banick
1
0
2
4
277
Renate A Schmidt
1
13
6
11
277
Kohei Kishida
1
5
3
7
277
Gabor Sagi
1
11
4
3
277
Lars Kristiansen
1
0
6
11
277
George Voutsadakis
1
25
1
2
277
Angelo Gilio
1
57
2
3
277
Sérgio Marcelino
1
10
3
4
277
Camilo Thorne
1
2
2
5
277
Brian Skyrms
1
27
4
4
277
Lech T Polkowski
1
10
7
9
277
Roberto Ciuni
1
12
1
2
277
Wilfried Sieg
1
26
2
5
277
AnneMarie Borg
1
4
2
7
277
Ondrej Majer
1
0
2
10
277
Jonas Reitz
1
3
2
4
277
Damian Enrique Szmuc
1
3
5
10
277
F A Muller
1
0
6
9
277
Daniel Weisberg
1
17
1
4
277
Mohua Banerjee
1
17
1
4
277
James Brotherston
1
19
4
3
277
Tyler Brunet
1
0
4
10
277
Nicholas Asher
1
21
11
11
277
Riccardo Rosati
1
3
9
17
277
Yaroslav I Petrukhin
1
3
5
7
277
Andrzej Tarlecki
1
1
11
16
277
Josef Perner
1
18
21
38
277
Marcel Jackson
1
6
12
15
277
Hannes Leitgeb
1
16
5
5
277
Jan von Plato
1
9
6
7
277
John Harding
1
0
10
19
277
Tomasz Placek
1
6
7
6
277
Sara Ugolini
1
11
3
3
277
Mariusz Urbanski
1
16
2
1
277
Cristian Sorin Calude
1
5
23
41
277
Vincenzo Crupi
1
12
12
14
277
Jouni Järvinen
1
25
7
8
277
Giovanni Sambin
1
10
4
5
277
Gernot Salzer
1
47
3
1
277
Erich Grädel
1
150
3
1
277
Paul Egré
1
20
5
10
277
Fabio Patrizi
1
3
3
6
277
Frederik Lauridsen
1
0
1
0
277
Ron van der Meyden
1
46
8
5
277
Heribert Vollmer
1
26
17
14
277
Mikhail V Volkov
1
2
15
22
277
Mamuka Jibladze
1
4
4
11
277
Ulrich Höhle
1
19
9
9
277
Michael Morreau
1
10
3
5
277
José M Méndez
1
3
7
8
277
Rasmus Kræmmer Rendsvig
1
25
3
1
277
Igor Kozin
1
0
4
13
277
Sándor Radeleczki
1
25
7
4
277
Miroslav Haviar
1
4
6
5
277
Hugo Luiz Mariano
1
1
3
3
277
Eva Rafetseder
1
18
4
8
277
Graham Oddie
1
11
4
9
277
Joel David Hamkins
1
3
10
21
277
Inon Zuckerman
1
7
7
8
277
Mike Behrisch
1
10
6
2
277
Bozena Staruch
1
2
2
2
277
Ulises Cortés
1
1
14
47
277
Dustin Tucker
1
1
2
3
277
Fan Yang
1
17
3
3
277
John Quiggin
1
1
34
77
277
Ted Shear
1
1
1
2
277
Andrea Loi
1
9
18
22
277
Răzvan Diaconescu
1
37
9
7
277
Abhaya Nayak
1
4
4
8
277
Giovanni Panti
1
24
6
4
277
Marino Miculan
1
25
4
6
277
Carles Sierra
1
3
14
32
277
Martin Fischer
1
5
1
4
277
Michael Winter
1
14
7
6
277
Andrea Iacona
1
12
6
5
277
Barbara Dziemidowicz-Gryz
1
1
1
1
277
Thomas Müller
1
6
10
17
277
Nicholas Pischke
1
4
1
1
277
Claudia Muresan
1
2
3
7
277
Luis Villaseñor-Pineda
1
1
6
17
277
Luís Pinto
1
25
3
3
277
Antti Kuusisto
1
2
5
10
277
Don Fallis
1
24
8
13
277
Alexander Belikov
1
18
1
1
277
Agustín Valverde Ramos
1
18
2
3
277
Oliver Kutz
1
6
6
14
277
Alessandro Avellone
1
5
2
3
277
Eleonora Cresto
1
4
2
3
277
Christopher J Taylor
1
1
1
1
277
Seyed-Mohammad Bagheri
1
0
3
3
277
Kentaro Yamamoto
1
2
1
1
277
Antonio Brogi
1
48
14
11
277
Juan Climent
1
3
1
1
277
Alessandra Carbone
1
1
19
40
277
Camillo Fiorentini
1
1
6
8
277
Stephen Read
1
11
4
6
277
Giovanni Sartor
1
11
10
13
277
Diederik Aerts
1
0
18
46
277
Aybüke Özgün
1
2
4
7
277
Pietro Galliani
1
18
2
2
277
Joao Marcos
1
21
3
5
277
Congwen Luo
1
0
2
2
277
Riccardo Bruni
1
8
1
1
277
Jakob Koscholke
1
2
1
1
277
Toby S D Meadows
1
0
2
6
277
Andrzej Zbrzezny
1
7
4
4
277
Matteo Tesi
1
2
1
2
277
Uwe Petersen
1
57
1
1
277
David Basin
1
35
11
10
277
Roman Frič
1
23
5
3
277
Giuseppe Primiero
1
4
10
15
277
Tianqun Pan
1
0
1
0
277
Gracinda M S Gomes
1
6
10
13
277
Vitezslav Svejdar
1
8
2
4
277
Alessio Lomuscio
1
91
8
5
277
Maja Pech
1
7
2
5
277
Serena Villata
1
31
8
6
277
Eyal Fisher
1
0
1
13
277
Valeria Marcela Castaño
1
3
2
1
277
Benjamin Steinberg
1
6
19
39
277
Laura Crosilla
1
7
1
4
277
Son Tran
1
0
5
9
277
Hykel Hosni
1
7
6
9
277
Marco Garapa
1
2
1
4
277
Roger D Maddux
1
95
9
4
277
Samson Abramsky
1
22
11
16
277
Michèle Friend
1
17
2
2
277
Sara Negri
1
3
8
11
277
Annika Kanckos
1
2
3
4
277
Dag Prawitz
1
12
4
8
277
Peter A Streufert
1
4
1
1
277
Eugene Insall
1
0
5
9
277
Lilian J Cruz
1
0
1
0
277
Gunter Fuchs
1
3
6
8
277
Marta Cialdea Mayer
1
7
6
8
277
Eduardo Barrio
1
12
6
8
277
Li Zhang
1
4
1
1
277
Arun Kumar
1
17
2
1
277
Dexter Kozen
1
62
11
9
277
Ralf-Dieter Schindler
1
3
3
5
277
Michael Gelfond
1
4
8
14
277
Santiago Jockwich Martinez
1
4
2
2
277
Xia Zhang
1
5
2
3
277
Bruno Teheux
1
1
4
9
277
Sebastian Enqvist
1
6
1
1
277
Daniela Montangie
1
4
1
3
277
Gregory Wheeler
1
8
4
13
277
Mark D Ryan
1
9
2
4
277
Stefan Wölfl
1
4
3
3
277
Susanne Bobzien
1
3
1
6
277
Francisco Zapata
1
2
2
3
277
John-Jules Meyer
1
10
3
4
277
Fangzhen Lin
1
42
4
3
277
Daniel Genkin
1
1
1
1
277
Adam Brandenburger
1
47
6
8
277
Alberto Policriti
1
7
12
27
277
Yichuan Yang
1
2
7
12
277
Aleksandra Kiślak-Malinowska
1
3
1
1
277
Dmitry Tishkovsky
1
13
2
2
277
Christian Wallmann
1
7
2
5
277
Frank Pfenning
1
4
9
18
277
Thomas Durt
1
1
8
21
277
Massoud Pourmahdian
1
0
3
5
277
Zoé Christoff
1
25
2
2
277
Raimo Tuomela
1
1
10
24
277
Branden Fitelson
1
3
8
21
277
James Hales
1
9
1
2
277
Franco Raimondi
1
4
4
10
277
Ralph Mckenzie
1
18
7
13
277
Chris Brink
1
5
4
9
277
Gerald Penn
1
64
1
1
277
Kevin T Kelly
1
2
7
9
277
Zach Weber
1
57
6
3
277
Bob Coecke
1
17
9
18
277
Samir Chopra
1
7
4
7
277
Sam Butchart
1
1
1
2
277
Steven French
1
25
10
15
277
John F Sowa
1
10
4
6
277
Scott Martin
1
3
2
2
277
Hanamantagouda P Sankappanavar
1
6
5
6
277
M Andrew Moshier
1
3
3
5
277
Franz Huber
1
16
6
7
277
Rohit Parikh
1
66
7
10
277
Jonas R Becker Arenhart
1
6
3
7
277
Andrea Cantini
1
7
5
5
277
Vedran Čačić
1
3
1
1
277
Philippe De Groote
1
33
2
1
277
William M Farmer
1
13
5
8
277
Isabelle Tellier
1
4
2
1
277
Ji Ruan
1
1
1
4
277
Bjarni Jónsson
1
54
4
6
277
Agustín Valverde
1
18
2
3
277
Sara Miner More
1
10
1
1
277
Jinsheng Chen
1
2
1
1
277
Stanislav Kikot
1
2
1
3
277
Andrew M Pitts
1
22
9
9
277
Ioana Leustean
1
0
2
9
277
David Albrecht
1
0
1
2
277
Viorica Sofronie-Stokkermans
1
31
4
3
277
Sharon Shoham
1
2
4
9
277
John Mccarthy
1
17
6
7
277
Bernhard Beckert
1
12
4
4
277
Jeffrey S Olson
1
5
2
3
277
Jennifer Hyndman
1
12
8
18
277
Sergio A Celani
1
4
3
5
277
Alan Baker
1
0
3
10
277
Carlo Nicolai
1
9
4
5
277
Anatolij Dvurecenskij
1
110
11
5
277
Thomas Forster
1
0
2
3
277
Peter Verdée
1
6
2
4
277
Timothy Williamson
1
8
20
35
277
Bart Van Kerkhove
1
8
2
4
277
Mathieu Beirlaen
1
4
2
7
277
Daniel Eckert
1
0
1
8
277
Konstantin Genin
1
2
1
1
277
Valentin Shehtman
1
14
1
2
277
John Byrnes
1
26
1
1
277
Evgeny Zolin
1
2
1
2
277
Sanjay Modgil
1
6
6
10
277
Rajeev Gore
1
5
3
6
277
Christoph Kreitz
1
0
5
10
277
Sara Rachel Chant
1
5
1
6
277
Alan Hájek
1
110
3
2
site/software ©
exaly
; All materials licenced under
CC by-SA
.