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 Logic and Computation
Journal of Logic and Computation
0.6
(top 50%)
impact factor
1.6K
(top 10%)
papers
23.3K
(top 10%)
citations
63
(top 10%)
h
-index
0.7
(top 50%)
impact factor
2.2K
all documents
25.5K
doc citations
109
(top 10%)
g
-index
Top Authors (by articles)
#
Author
Articles
Citations
R ARank
R CRank
1
Amílcar C Sernadas
12
193
2
1
2
Cristina Sernadas
10
122
1
1
2
Lluis Godo
10
344
4
3
4
Christian Straßer
8
52
1
2
4
Trevor Bench-Capon
8
689
3
2
6
João Rasga
7
69
1
1
6
Marcelo Esteban Coniglio
7
56
3
2
6
Philippe Balbiani
7
106
3
2
6
Emil Jeřábek
7
216
3
1
10
Alessandra Palmigiano
6
100
2
3
10
Dmitry Shkatov
6
57
1
1
10
Michael Fisher
6
183
3
5
10
Михаил Рыбаков
6
57
1
1
10
Stephane Demri
6
57
3
5
10
Pavel Naumov
6
8
2
8
10
Francesc Esteva
6
304
5
3
17
Daniel Gaina
5
54
1
1
17
Alexandra A Soskova
5
48
1
1
17
Vladimir V Rybakov
5
109
2
3
17
Melvin Fitting
5
178
4
4
17
Radim Bělohlávek
5
172
4
5
22
Agata Ciabattoni
4
74
3
2
22
Norihiro Kamide
4
7
3
17
22
Manuel Bodirsky
4
111
3
3
22
Patrick Blackburn
4
149
1
2
22
Giuseppe De Giacomo
4
121
3
9
22
Andre Nies
4
19
7
15
22
Iain A Stewart
4
86
4
3
22
Thomas Studer
4
24
3
6
22
Franz Baader
4
175
3
5
22
Mark Reynolds
4
116
2
1
22
Iskander S Kalimullin
4
29
6
6
22
Douglas Cenzer
4
36
4
3
22
Matthias Baaz
4
12
4
11
22
Lauri T Hella
4
13
3
10
22
Guido Governatori
4
204
3
6
22
Nicholas R Jennings
4
762
9
9
22
Thomas Bolander
4
42
1
2
22
Stefan Woltran
4
16
7
13
22
Zoran Ognjanović
4
56
4
5
22
Ernest S Davis
4
47
2
4
22
Carles Noguera
4
88
3
4
22
Nick Bezhanishvili
4
13
3
8
45
Carlos Caleiro
3
74
3
2
45
Murdoch J Gabbay
3
55
4
5
45
Frederik Van De Putte
3
7
1
2
45
George Metcalfe
3
26
3
9
45
Arnold Beckmann
3
1
4
13
45
Rostislav Horčík
3
47
1
2
45
Renata Wassermann
3
56
2
1
45
Sam Sanders
3
32
5
2
45
Laura Giordano
3
34
5
8
45
Pavlos Peppas
3
27
3
4
45
José Félix Costa
3
50
3
2
45
Tinko Tinchev
3
35
1
3
45
Valeria de Paiva
3
17
4
7
45
Marcelo Finger
3
25
4
6
45
Wolfgang Dvořák
3
38
3
4
45
Sébastien Konieczny
3
280
2
1
45
Ian R Horrocks
3
277
6
6
45
Lev Beclemishev
3
38
4
4
45
Henry Prakken
3
267
3
5
45
Giuseppe Greco
3
72
2
2
45
Richard E Overill
3
6
2
12
45
Joseph S Miller
3
19
8
13
45
Stefan Hetzl
3
17
4
5
45
Thomas Ferguson
3
46
3
1
45
Vlasta Sikimić
3
50
1
1
45
Torsten Schaub
3
21
6
15
45
Giorgi Japaridze
3
64
2
2
45
Arne Meier
3
20
2
3
45
Tommaso Flaminio
3
57
6
3
45
Beishui Liao
3
11
2
7
45
Davide Grossi
3
69
2
4
45
Sven Ove Hansson
3
11
16
68
45
Theofanis Aravanis
3
11
1
1
45
Raul Fervari
3
20
2
3
45
Răzvan Diaconescu
3
44
5
6
45
Andreas Herzig
3
72
4
4
45
Ringo Baumann
3
18
3
4
45
Fernando A Tohmé
3
46
3
9
45
Rineke Verbrugge
3
23
4
12
45
Anuj Dawar
3
64
4
5
45
Thomas Ågotnes
3
23
4
7
45
Leendert van der Torre
3
8
4
21
45
Mehrnoosh Sadrzadeh
3
114
3
1
45
Maciej Bendkowski
3
6
1
1
45
Bob Coecke
3
114
5
6
45
Rajeev Gore
3
40
2
2
91
Anthony Hunter
2
64
8
13
91
Enrico Giunchiglia
2
10
5
10
91
Gilles Dowek
2
22
5
8
91
Stanislav O Speranski
2
10
2
2
91
Silvio Ghilardi
2
58
8
8
91
Antonino Salibra
2
49
5
2
91
Daniele Nardi
2
87
5
11
91
Kaile Su
2
13
5
10
91
Antonis C Kakas
2
530
4
1
91
João Alexandre Leite
2
0
4
13
91
Sæed Salehi
2
2
1
8
91
Peter Schroeder-Heister
2
107
4
3
91
Stefano Baratella
2
0
3
11
91
Marat M Arslanov
2
2
2
8
91
Reiner Hähnle
2
75
4
3
91
Francesco Ricca
2
60
5
4
91
Chenwei Shi
2
4
2
3
91
David Fernández-Duque
2
10
5
8
91
Rafael H Bordini
2
29
4
10
91
Albert Visser
2
4
7
16
91
Willem Conradie
2
23
2
6
91
Luca Vigano
2
23
5
8
91
Valentin Goranko
2
209
8
1
91
Marc Denecker
2
31
7
8
91
Heinrich Wansing
2
149
9
3
91
Enrico Marchioni
2
12
3
6
91
Mario Benevides
2
18
3
3
91
Iyad Rahwan
2
20
13
28
91
Umberto Grandi
2
3
1
6
91
Stephen Clark
2
78
11
13
91
John Howse
2
60
4
5
91
Simon John Thompson
2
94
2
2
91
Paulo Mateus
2
10
10
19
91
Andrea Masini
2
33
1
2
91
Costas D Koutras
2
33
5
1
91
Thomas Powell
2
3
1
6
91
Katsumi Inoue
2
69
9
6
91
Bernhard Bliem
2
5
2
4
91
Adam Wyner
2
50
4
3
91
Massimiliano Carrara
2
8
8
13
91
Anthony Power
2
26
3
7
91
Marcello D'Agostino
2
118
1
1
91
Clare Dixon
2
60
5
5
91
Sara Ugolini
2
27
1
1
91
Anela Lolic
2
1
2
3
91
Manuel António Martins
2
5
7
11
91
Diogo Poças
2
10
3
3
91
Katie Atkinson
2
96
4
5
91
Stefania Costantini
2
28
5
5
91
Nicolas Troquard
2
43
2
2
91
Joachim Hertzberg
2
65
4
3
91
Ofer Arieli
2
21
6
10
91
Liron Cohen
2
4
2
4
91
Valentina S Harizanov
2
3
7
14
91
Peter Michael Schuster
2
0
8
32
91
Nissim Francez
2
13
10
14
91
Johan van Benthem
2
15
5
11
91
Elaine Pimentel
2
25
4
4
91
Katsuhiko Sano
2
7
3
7
91
Hans Rott
2
56
5
7
91
Ana Sokolova
2
32
4
4
91
Sara Ugolini
2
27
1
1
91
Scott D Stoller
2
12
3
8
91
Olivier Roy
2
2
3
10
91
Paolo Torroni
2
4
4
26
91
Heribert Vollmer
2
19
11
16
91
Michael Wooldridge
2
57
10
15
91
Eduardo Fermé
2
28
3
5
91
Rasmus Kræmmer Rendsvig
2
6
2
6
91
Nicola Leone
2
56
10
12
91
George Barmpalias
2
32
12
4
91
Juha Kontinen
2
18
7
8
91
Hoang Nga Nguyen
2
29
2
3
91
Dale Miller
2
274
6
3
91
Francesco Maria Donini
2
87
3
6
91
Miquel Bofill
2
7
3
7
91
Maurizio Gabbrielli
2
37
6
6
91
Abhaya Nayak
2
9
2
6
91
Carles Sierra
2
519
8
5
91
Irakli
2
5
1
2
91
Antti Kuusisto
2
8
3
5
91
Louise A Dennis
2
12
2
14
91
Argimiro Alejandro Arratia Quesada
2
9
2
7
91
Roberto Giuntini
2
22
9
11
91
Alessandra Carbone
2
12
14
28
91
Yanjun Li
2
12
1
1
91
Silvia Ghilezan
2
4
3
8
91
Sarah Gaggl
2
41
2
4
91
Antonio Ledda
2
22
4
4
91
Maurizio Lenzerini
2
143
9
9
91
Bartosz Więckowski
2
6
1
4
91
Maarten Marx
2
88
6
6
91
Giuseppe Primiero
2
8
7
12
91
Serena Villata
2
18
2
11
91
Ivan Chajda
2
3
13
19
91
Eugenio Omodeo
2
13
2
6
91
Samson Abramsky
2
67
8
12
91
Luigi Liquori
2
9
4
6
91
Alessandra Di Pierro
2
44
4
5
91
Sumit Sourabh
2
26
1
2
91
Emanuele Frittaion
2
2
1
5
91
Jan Van Eijck
2
14
2
8
91
Fenrong Liu
2
2
2
8
91
Marek Zaionc
2
6
1
6
91
Juan Carlos Nieves
2
9
2
7
91
Chung-Hye Han
2
1
2
10
91
Gabrielle Anderson
2
1
1
1
91
Eduardo Bonelli
2
7
3
4
91
Arianna Novaro
2
3
1
1
91
Zhiguang Zhao
2
22
1
1
91
Dominique Longin
2
59
1
1
91
Matthew Collinson
2
6
1
3
91
S Barry Cooper
2
1
5
17
91
Andrej Bauer
2
48
2
1
91
Yanhong A Liu
2
12
5
7
91
Jonathan Ben-Naim
2
2
1
3
207
Yasuyuki Tsukada
1
4
2
2
207
Nina Gierasimczuk
1
4
3
9
207
Farnaz Derakhshan
1
11
2
10
207
Diego Calvanese
1
76
16
12
207
Wafik Boulos Lotfallah
1
1
1
3
207
Antonino Rotolo
1
20
6
6
207
Sasa Radomirovic
1
127
3
2
207
Keita Yokoyama
1
0
5
7
207
Paolo Liberatore
1
1
4
13
207
Piotr Kulicki
1
18
6
4
207
Abdur Rakib
1
25
4
4
207
Russell Miller
1
2
8
11
207
José Júlio Alferes
1
0
7
11
207
Stephan G Wagner
1
9
24
22
207
Montserrat Hermo Huguet
1
0
4
9
207
Stephen J S Cranefield
1
24
4
8
207
Márcio Moretto Ribeiro
1
34
2
1
207
Gilles Fischer
1
12
11
25
207
Michał Kozak
1
3
1
2
207
K Subramani
1
0
19
29
207
Aldo Figallo-Orellano
1
4
3
4
207
Roman Kuznets
1
1
4
10
207
Andrew Koster
1
19
2
1
207
Raymond Turner
1
10
3
4
207
Joshua Sack
1
2
5
11
207
Francesc Guitart
1
11
2
1
207
Hirohiko Kushida
1
0
1
2
207
Florin Manea
1
5
8
13
207
Frederik S Herzberg
1
0
9
24
207
Pascal Hitzler
1
0
4
9
207
Morgan Deters
1
2
2
7
207
David Sands
1
53
1
2
207
Guillermo Ricardo Simari
1
2
14
27
207
Nicola Olivetti
1
5
3
6
207
Paolo Traverso
1
12
4
5
207
Wojciech Jamroga
1
0
6
15
207
Martin Homola
1
10
4
5
207
Fabio Rapallo
1
0
8
23
207
Dominik Wehr
1
11
1
1
207
Battistina Venneri
1
31
5
3
207
Jan Paseka
1
3
13
19
207
Amanda Vidal
1
28
5
1
207
Arnon Avron
1
135
10
4
207
Alexander Artikis
1
39
10
13
207
Eduardo Mizraji
1
11
4
14
207
Andrea Schaerf
1
67
10
14
207
Petr Savicky
1
33
5
4
207
Klaus Havelund
1
127
6
7
207
Livio Robaldo
1
27
5
5
207
Jens Ulrik Hansen
1
5
1
4
207
Zhe Hou
1
0
2
11
207
André Platzer
1
105
9
4
207
Virginia V Dignum
1
4
9
40
207
Stefano Bistarelli
1
12
12
20
207
Marco Gavanelli
1
12
7
12
207
Ilya B Shapirovsky
1
12
1
1
207
Maurício D L Reis
1
16
3
2
207
Ioannis Kokkinis
1
3
2
3
207
Shin-ya Katsumata
1
5
3
5
207
Bruno Loff
1
3
4
9
207
Pietro Panzarasa
1
57
6
8
207
Henning Basold
1
0
2
5
207
Giorgio Satta
1
1
8
14
207
Grigory K Olkhovikov
1
1
3
3
207
Andrzej Wisniewski
1
3
6
6
207
Carlos Areces
1
12
6
9
207
Paqui Lucio
1
0
5
11
207
Valentin B Shehtman
1
12
2
4
207
Luis Moniz Pereira
1
10
16
23
207
Nimrod Talmon
1
1
5
16
207
Nicolas Schwind
1
2
2
4
207
Cesarino Bertini
1
0
5
7
207
Beata Konikowska
1
31
5
5
207
Francesca Toni
1
522
9
1
207
Ronen I Brafman
1
4
7
10
207
Alessandro Saffiotti
1
11
11
29
207
Javier Alvez Gimenez
1
0
3
5
207
Paulo Santos
1
5
5
9
207
Johannes Schmidt
1
9
2
3
207
Marcelo Fiore
1
1
2
3
207
Enric Cosme Llópez
1
0
1
4
207
Nikos Gorogiannis
1
7
4
6
207
Costas Dimitracopoulos
1
1
4
5
207
Fiora Pirri
1
26
7
10
207
Stephan Hartmann
1
24
8
11
207
Pierre-Yves Schobbens
1
92
9
6
207
Maddalena Nonato
1
12
8
14
207
André Souto
1
6
7
9
207
Kristina Liefke
1
2
2
3
207
Patrick Allo
1
1
5
13
207
Gudmund Grov
1
4
2
4
207
Sandra Alves
1
0
5
6
207
Luca Bortolussi
1
13
8
9
207
Ivo Düntsch
1
0
17
37
207
Bart Verheij
1
108
7
5
207
Ming Hsiung
1
1
3
5
207
Taisuke Sato
1
8
7
11
207
Maria Paola Bonacina
1
19
7
7
207
Oleg V Kudinov
1
7
3
5
207
Frank Stephan
1
0
15
29
207
Elena Camossi
1
9
3
6
207
Georg Moser
1
3
4
9
207
Giuliano Grossi
1
3
6
19
207
Jianwen Li
1
4
2
6
207
David B Martens
1
0
3
9
207
Alessandro Provetti
1
3
4
15
207
Joost J Joosten
1
23
5
3
207
Richard Kennaway
1
7
7
14
207
Bernhard Heinemann
1
2
3
7
207
Zofia Kostrzycka
1
3
3
4
207
Dominique Larchey-Wendling
1
12
4
4
207
Janusz Ciuciura
1
2
4
5
207
Mark Snaith
1
2
1
5
207
Cliff B Jones
1
48
8
6
207
Lorenz Demey
1
16
6
6
207
Richard Banach
1
0
5
13
207
Martin Grohe
1
7
18
24
207
Piotr Faliszewski
1
1
8
22
207
Petar Maksimovic
1
5
2
3
207
Jose J Pazos-Arias
1
16
18
20
207
Ullrich Hustadt
1
5
6
11
207
Paulo Oliva
1
3
7
10
207
Alberto Rubio Gimeno
1
6
5
9
207
Claudio Panetta
1
16
2
2
207
Yì N Wáng
1
0
3
5
207
Moshe Y Vardi
1
4
8
19
207
Love Ekenberg
1
16
17
21
207
Ivana Černá
1
1
4
14
207
Bart Jacobs
1
1
5
15
207
Tim French
1
2
6
15
207
Marco Aiello
1
75
14
8
207
José Mclm Carmo
1
13
2
3
207
Aleksey Nogin
1
2
4
5
207
Andrey N Frolov
1
1
4
9
207
Satoru Niki
1
0
1
3
207
Michael Luck
1
52
10
10
207
Magnus Wahlström
1
5
10
20
207
Fausto Barbero
1
3
4
4
207
Kaya Deuser
1
1
1
2
207
Julian Gutierrez
1
0
1
5
207
Fabio Massacci
1
2
14
40
207
Alessio Mansutti
1
1
2
2
207
Sergey Drobyshevich
1
5
3
2
207
Hannes Diener
1
0
4
8
207
Ho-Pun Lam
1
7
2
4
207
Kristoffer Arnsfelt Hansen
1
6
4
7
207
Ralf Möller
1
62
6
5
207
François Schwarzentruber
1
3
5
11
207
Diego Valota
1
11
4
2
207
Tarmo Uustalu
1
5
9
13
207
Antonis Achilleos
1
0
3
6
207
Wesley Calvert
1
2
5
8
207
Steffen van Bakel
1
25
4
3
207
Victor Mitrana
1
5
18
24
207
Alexander Rabinovich
1
29
7
4
207
Miyuki Koshimura
1
0
5
8
207
Jonni Virtema
1
5
3
6
207
Manuel Ramos Cabrer
1
16
14
16
207
Diderik Batens
1
9
5
9
207
Yolanda Blanco-Fernandez
1
16
10
14
207
Leila Amgoud
1
11
7
10
207
Pavel Pecina
1
6
3
7
207
German Vidal
1
5
9
16
207
Luca Roversi
1
3
3
10
207
Dimiter Georgiev
1
1
1
1
207
Ursula Martin
1
3
5
18
207
Igor Sedlár
1
10
2
4
207
Stefan Milius
1
0
7
13
207
Tomi Janhunen
1
8
5
7
207
Mario Alviano
1
17
7
6
207
Claudio Zandron
1
7
8
14
207
Andrzej Wichert
1
3
13
25
207
Michael Zakharyaschev
1
12
7
13
207
Giorgio Audrito
1
9
4
9
207
Georg Gottlob
1
258
24
14
207
Rebeca P Díaz-Redondo
1
16
13
19
207
Dov Dori
1
85
22
9
207
Ivan Georgiev
1
11
3
1
207
Ana Teresa Martins
1
0
4
5
207
Malvin Gattinger
1
12
2
2
207
Ciro Russo
1
23
4
2
207
Pietro Sala
1
41
5
2
207
Jérémy Dubut
1
5
2
2
207
Rafael Peñaloza
1
68
8
2
207
András Pongrácz
1
8
3
6
207
Sjouke Mauw
1
127
6
2
207
Paolo Agliano'
1
8
5
8
207
Jiang Yang
1
7
3
2
207
Olaf Beyersdorff
1
14
11
8
207
Manat Mustafa
1
2
6
9
207
Robin Hirsch
1
37
9
3
207
Aldo Franco Dragoni
1
13
8
12
207
Edmund Robinson
1
0
3
8
207
Giorgio Terracina
1
16
11
18
207
Edwin J Beggs
1
10
13
22
207
Lutz Schröder
1
23
12
8
207
Luca San Mauro
1
0
6
14
207
Evgenii Balai
1
15
1
1
207
Ekaterina Komendantskaya
1
19
4
2
207
Mariangiola Dezani
1
4
10
18
207
David Ripley
1
15
9
15
207
Michal Peliš
1
23
1
1
207
Chrysafis Hartonas
1
10
6
7
207
Jakob Grue Simonsen
1
1
2
8
207
Marta Bilkova
1
23
3
2
207
Isabel Oitavem
1
3
4
6
207
Tudor Protopopescu
1
0
1
4
207
Petr Cintula
1
8
11
14
207
Giuseppe Sergioli
1
2
12
24
207
Guo-Qiang Zhang
1
14
19
22
207
Lijun Zhang
1
4
5
7
207
Sabine Broda
1
15
6
5
207
Jesse Heyninck
1
8
2
1
207
Silvana Castano
1
28
9
10
207
Steve Reeves
1
18
7
6
207
Francesco Santini
1
12
8
11
207
Ashley Piggins
1
4
4
9
207
Gian Luca Pozzato
1
9
4
9
207
Eugenio Orlandelli
1
8
4
4
207
Bruno Woltzenlogel Paleo
1
2
1
3
207
Leandro Rego
1
15
11
13
207
Martín Hötzel Escardó
1
2
4
8
207
Iosif Petrakis
1
3
2
2
207
Luigi Santocanale
1
5
7
10
207
Giovanni Grasso
1
43
4
4
207
Assaf Hasson
1
0
4
14
207
Michael L Anderson
1
65
6
11
207
Marat Faizrahmanov
1
1
6
7
207
Andre Scedrov
1
5
15
18
207
Alberto Gatto
1
0
1
0
207
Ekaterina B Fokina
1
2
7
8
207
Catarina A Carvalho
1
6
1
3
207
Cristina Borralleras
1
6
2
4
207
Michael Pinsker
1
8
7
12
207
Andrew Pk Craig
1
9
2
5
207
Martín López-Nores
1
16
16
18
207
Luca Spalazzi
1
12
7
13
207
Luís Pinto
1
5
6
25
207
Nir Oren
1
8
5
13
207
Jeremy Seligman
1
29
3
4
207
Gianfranco Ciardo
1
3
9
20
207
Huimin Dong
1
0
3
4
207
Alfio Ferrara
1
28
6
6
207
Pawel Pawlowski
1
3
2
2
207
Edward Hermann Haeusler
1
3
5
8
207
Benjamin Ralph
1
0
1
2
207
Jaroslav Nesetril
1
79
29
12
207
Jaime Ramos
1
12
3
4
207
Fabio Mogavero
1
3
4
8
207
Giselle Reis
1
20
3
3
207
Marc Gyssens
1
10
14
19
207
Ramón Béjar
1
11
3
7
207
Peter Jonsson
1
7
7
8
207
Suman Roy
1
13
3
4
207
Kenshi Miyabe
1
4
3
6
207
Estefania Argente
1
22
3
14
207
Glyn Verden Morrill
1
9
6
5
207
Michael Winikoff
1
24
5
6
207
Andreas Weiermann
1
11
9
10
207
Giacomo Lenzi
1
6
11
6
207
Sergei Artemov
1
0
1
3
207
Carmine Dodaro
1
17
5
4
207
Erika Abraham
1
8
6
12
207
Yasir Mahmood
1
1
1
2
207
Dimiter Skordev
1
11
3
1
207
Alexandru Ioan Tomescu
1
9
10
12
207
Peter D Mosses
1
1
8
15
207
Francisco J Valverde-Albacete
1
3
6
14
207
Stefano Bonzio
1
2
5
9
207
Serafina Lapenta
1
4
3
5
207
Daniel Rogozin
1
5
2
1
207
Timotheus Kampik
1
8
3
5
207
Pascual Julián-Iranzo
1
5
7
8
207
Vicent Botti
1
22
22
31
207
Nathanaël Fijalkow
1
0
4
8
207
Narciso Martí-Oliet
1
6
7
9
207
Antonín Kučera
1
3
8
12
207
Joao Marques-Silva
1
17
10
14
207
Moreno Falaschi
1
5
8
14
207
Renate A Schmidt
1
0
6
18
207
Fengkui Ju
1
1
1
2
207
Chris A Reed
1
2
12
31
207
Maurice Bruynooghe
1
22
12
17
207
Alexander Zapryagaev
1
3
1
1
207
Sérgio Marcelino
1
4
3
9
207
Luca Trevisan
1
0
9
25
207
David Gries
1
10
10
12
207
Helmut Länger
1
0
15
21
207
Tiziano Dalmonte
1
5
2
3
207
Shuly Wintner
1
1
13
20
207
Juan Carlos Agudelo-Agudelo
1
8
2
2
207
AnneMarie Borg
1
11
2
2
207
Nicola Angius
1
5
3
4
207
Johanna N Y Franklin
1
2
3
5
207
Ondrej Majer
1
23
2
1
207
Dominique Laurent
1
8
2
1
207
Patrick Kahl
1
15
1
1
207
Damian Enrique Szmuc
1
19
5
6
207
Peter Harrison
1
78
13
4
207
Karl Nygren
1
1
1
2
207
Martin Wa Caminada
1
97
5
5
207
Milan Petrík
1
5
4
7
207
Stefano Aguzzoli
1
19
8
7
207
Ulrich Berger
1
1
8
11
207
Nicholas Asher
1
1
11
19
207
Riccardo Rosati
1
20
9
14
207
Dominik Klein
1
3
4
5
207
Enrico Pontelli
1
3
19
28
207
Luís Cruz-Filipe
1
4
5
8
207
Anselmo Peñas
1
10
6
5
207
Mehmet A Orgun
1
10
26
42
207
Edwin D Mares
1
15
11
8
207
Mauro Ferrari
1
0
8
11
207
Harko Verhagen
1
1
6
15
207
Joel Gregory Lucero-Bryan
1
11
5
2
207
Sachio Hirokawa
1
3
12
13
207
Nathanael L Ackerman
1
3
3
6
207
Heinz Sturm
1
21
22
33
207
Alberto Leporati
1
7
9
14
207
Linh Anh Nguyen
1
0
13
22
207
Robin Lewis Cooper
1
75
5
3
207
Pilar Dellunde i Clavé
1
18
5
4
207
Cezary Kaliszyk
1
1
5
8
207
Yuanlin Zhang
1
15
2
3
207
Ichiro Hasuo
1
5
9
15
207
Fabio Rossi
1
12
2
4
207
Libor Barto
1
27
6
5
207
Hien Dh Nguyen
1
8
3
8
207
Joan Gispert
1
5
4
9
207
John Harding
1
11
10
8
207
Tejas Bhojraj
1
0
1
3
207
Ilaria Canavotto
1
2
1
3
207
Yannick Forster
1
11
3
4
207
Kees Middelburg
1
1
12
14
207
Carsten Lutz
1
39
8
9
207
Matt Webster
1
8
4
11
207
Robert Brijder
1
4
9
11
207
Maciej Świechowski
1
11
1
4
207
Nicolas Peltier
1
19
7
4
207
Erich Grädel
1
0
3
7
207
Benoit Gaudou
1
27
4
8
207
Aline Paes
1
1
3
12
207
Elvira Mayordomo Cámara
1
0
11
15
207
Sergei I Adian
1
0
2
2
207
Joseph Halpern
1
15
6
8
207
Babatunde Opeoluwa Akinkunmi
1
2
1
1
207
MarÍa Alpuente
1
5
9
16
207
David I Spivak
1
2
2
7
207
Joseph Boudou
1
7
1
1
207
Yanjing Wang
1
12
5
7
207
Bojan Marinkovic
1
14
2
1
207
Marco Schorlemmer
1
19
4
5
207
Emilia Oikarinen
1
8
4
6
207
Fedor N Pakhomov
1
3
4
7
207
Miika Hannula
1
17
3
5
207
Alberto Gil-Solla
1
16
13
16
207
Cláudia Nalon
1
5
5
7
207
Edgar G Daylight
1
2
2
2
207
Andrea Loreggia
1
3
1
6
207
Michael Kaminski
1
1
11
16
207
Ole Hjortland
1
0
2
7
207
Joel David Hamkins
1
24
10
13
207
Stepan L Kuznetsov
1
5
2
4
207
Jan Sprenger
1
24
9
12
207
Yakoub Salhi
1
4
3
7
207
Gabriele Pulcini
1
13
2
2
207
Patrick Cousot
1
500
2
1
207
Guilin
1
16
4
7
207
Pere Pardo
1
4
2
6
207
Paul Oppenheimer
1
9
1
5
207
Marija Boricic
1
2
1
3
207
Luca Pulina
1
7
6
11
207
Lawrence C Paulson
1
35
12
12
207
Alessandro Dal Palù
1
0
6
24
207
Anna Rapberger
1
1
2
2
207
Hendrik Lw Blockeel
1
4
8
18
207
Fan Yang
1
0
3
9
207
Silvia Steila
1
3
3
3
207
Michael Codish
1
14
9
9
207
Saharon Shelah
1
11
61
62
207
Jon Williamson
1
10
13
23
207
Walter Carnielli
1
0
7
13
207
Giovambattista B Ianni
1
16
6
8
207
Thomas Vetterlein
1
5
6
11
207
Shenghui Wang
1
1
5
13
207
Rachel M Cardell-Oliver
1
1
4
24
207
Lidia Tendera
1
1
4
9
207
Pantelis E Eleftheriou
1
30
9
1
207
Zvonko Iljazović
1
2
5
10
207
Martin Fischer
1
11
1
2
207
Mikhail Sheremet
1
22
1
1
207
Alberto Momigliano
1
2
6
11
207
Jacek Mańdziuk
1
11
8
15
207
Ana Fernández Vilas
1
16
13
21
207
Enric Rodríguez-Carbonell
1
6
5
10
207
German Rigau
1
0
4
16
207
Rob Egrot
1
1
1
4
207
Isabella Mastroeni
1
7
8
11
207
Meghdad Ghari
1
15
1
3
207
Pablo Noriega
1
1
6
16
207
Luís Pinto
1
5
3
4
207
Umberto Rivieccio
1
32
9
7
207
Piero A Bonatti
1
0
5
15
207
Antonio E Porreca
1
7
7
14
207
Luis C Lamb
1
29
6
6
207
Federico Gobbo
1
0
6
12
207
Matthias Knorr
1
10
4
5
207
Seyed-Mohammad Bagheri
1
0
3
3
207
Antonio Brogi
1
7
14
23
207
Camillo Fiorentini
1
0
6
10
207
Vít Punčochář
1
0
5
9
207
Giovanni Sartor
1
3
10
23
207
Davide Bresolin
1
41
8
5
207
Brett McLean
1
3
2
1
207
Marija Slavkovik
1
4
2
6
207
Mirian Halfeld Ferrari
1
8
3
2
207
Paolo Baldi
1
2
1
8
207
Matteo Tesi
1
7
1
1
207
Giovanni Pistone
1
0
3
15
207
Luca Tranchini
1
22
4
3
207
Catharine Saint-Croix
1
2
1
2
207
Christian G Fermüller
1
3
4
5
207
David Basin
1
12
11
23
207
Roman Frič
1
2
5
10
207
Toby Walsh
1
40
14
14
207
Jose Oncina
1
6
4
12
207
Florian Rabe
1
27
6
4
207
Tomasz Kowalski
1
1
6
16
207
Sergei P Odintsov
1
64
3
2
207
Ivan Scagnetto
1
5
5
7
207
Tim Lyon
1
3
2
2
207
Cvetana Krstev
1
12
3
4
207
Igor Douven
1
22
23
29
207
Eric Bodden
1
29
5
5
207
Giancarlo Mauri
1
7
41
78
207
Domenico Sacca'
1
31
14
12
207
Munindar P Singh
1
4
20
46
207
Leon Horsten
1
11
10
14
207
Daniele Porello
1
18
7
4
207
Nguyen Duy Hung
1
33
4
2
207
Simon Kramer
1
2
1
5
207
Hykel Hosni
1
2
6
12
207
Alfio Martini
1
3
2
3
207
Natalia Criado
1
22
6
7
207
Ole Herud-Sikimic
1
2
1
4
207
Adrian Francalanza
1
4
6
8
207
Robert Trypuz
1
18
5
1
207
Antonín Kučera
1
1
5
10
207
Vivek Nigam
1
20
8
3
207
Dominik Kirst
1
11
2
1
207
Harold Schellinx
1
37
3
2
207
Ramon Jansana
1
32
11
7
207
John C Mccabe-Dansted
1
2
2
6
207
Andrei Krokhin
1
6
9
16
207
Tanel Tammet
1
5
2
2
207
Fernando R Velázquez-Quesada
1
8
6
9
207
Richard Garner
1
6
7
12
207
Teresa Alsinet
1
11
5
9
207
Catuscia Palamidessi
1
14
12
18
207
Vasco Brattka
1
19
9
11
207
Rocco De Nicola
1
10
11
25
207
Massimiliano Giacomin
1
3
6
9
207
Li Dazhu
1
9
2
1
207
Jan Broersen
1
42
1
2
207
Yaroslav Shramko
1
50
5
3
207
Aniello Murano
1
3
11
13
207
Zeki Bayram
1
1
2
4
207
Isabel Pita
1
6
4
4
207
Guilin Qi
1
16
1
4
207
Rica Gonen
1
1
2
5
207
Lukas Grätz
1
3
1
1
207
Michael Gelfond
1
15
8
11
207
Sebastian Enqvist
1
3
1
2
207
Sonia Marin
1
1
1
1
207
Mark-Jan Nederhof
1
3
4
12
207
Tom Maibaum
1
6
3
6
207
Andrew Ireland
1
4
4
8
207
John-Jules Meyer
1
14
3
2
207
Kim G Larsen
1
69
16
10
207
Trevor J M Bench-Capon
1
523
3
1
207
Juha Nurmonen
1
30
1
3
207
Jan Chomicki
1
7
7
15
207
Alexander Clark
1
13
3
4
207
Dimitar P Guelev
1
17
4
2
207
Hans Uszkoreit
1
0
1
7
207
Somesh Jha
1
2
4
16
207
Victor Dalmau
1
6
4
11
207
Mark D'inverno
1
52
3
3
207
Tomáš Kroupa
1
2
5
9
207
Sandro Etalle
1
13
5
8
207
Gerard Renardel De Lavalette
1
3
1
2
207
Marcos Lopes
1
5
1
3
207
Thomas Icard
1
17
1
1
207
Juan P Aguilera
1
2
1
1
207
Takayuki Kihara
1
4
2
3
207
Andrew W Simmons
1
2
1
2
207
Jurriaan Rot
1
1
5
8
207
Michael Rusinowitch
1
41
8
7
207
Barteld Kooi
1
3
6
9
207
Hiroakira Ono
1
3
7
13
207
Zoé Christoff
1
5
2
5
207
Hiroyuki Kido
1
0
3
5
207
Neil V Murray
1
0
4
11
207
Josep Maria Font
1
2
5
9
207
Tom Hirschowitz
1
6
1
1
207
Paola Glavan
1
14
1
1
207
Andrew Craig
1
9
1
1
207
Guillaume Hoffmann
1
12
3
4
207
Kevin T Kelly
1
7
7
7
207
Norbert Preining
1
1
3
7
207
Pierre Lescanne
1
4
6
15
207
Antonio Di Nola
1
4
19
25
207
Hans De Nivelle
1
2
3
7
207
Balder Ten Cate
1
7
6
18
207
Yoav Shoham
1
18
5
11
207
Leo Bachmair
1
297
4
1
207
Kevin Lano
1
19
3
6
207
Achim Jung
1
32
5
3
207
Wilmari Morton
1
2
1
2
207
Dirk Van Gucht
1
10
10
16
207
Brandon Bennett
1
5
4
9
207
Mark Hopkins
1
18
1
1
207
Zied Bouraoui
1
17
2
1
207
Bradd Hart
1
1
5
11
207
Helmut Veith
1
2
5
16
207
Faycal Touazi
1
8
2
3
207
Franco Montagna
1
84
11
7
207
Ori Lahav
1
1
1
5
207
Daniele Chiffi
1
7
9
11
207
Roberto Cignoli
1
33
5
9
207
Daniela Inclezan
1
0
2
5
207
Magdalena Kaufmann
1
16
1
3
207
David Rydeheard
1
127
2
2
207
Judea Pearl
1
18
11
30
207
Katsumi Nitta
1
0
4
6
207
Ioana Leustean
1
4
2
7
207
Alvaro Del Val
1
18
1
1
207
Lorenzo Gallucci
1
43
2
2
207
R Ramanujam
1
0
4
15
207
Miki Tanaka
1
7
1
2
207
Noson S Yanofsky
1
21
1
2
207
Claus-Peter Wirth
1
0
3
9
207
Steffen Hölldobler
1
0
2
11
207
Phan Minh Thang
1
33
1
1
207
Mauricio Martel
1
12
1
1
207
Danny De Schreye
1
9
6
7
207
Albert Atserias
1
5
7
13
207
Geguang Pu
1
4
5
12
207
Alexandru Baltag
1
36
7
9
207
Wiebe Van Der Hoek
1
2
10
20
207
Eike Ritter
1
0
1
8
207
Carlo Nicolai
1
11
4
3
207
Guido Boella
1
5
7
21
207
Adel Bouhoula
1
41
3
4
207
Peter Verdée
1
10
2
2
207
Mathieu Beirlaen
1
8
2
6
207
Phan Minh Dung
1
33
6
5
207
Rehana Patel
1
0
1
3
207
Pedro Sánchez Terraf
1
6
3
4
207
Reuben N S Rowe
1
2
1
2
207
Victor Lagerkvist
1
5
4
4
207
Sylvie Doutre
1
62
2
2
207
Monika Seisenberger
1
1
2
4
207
Makoto Kanazawa
1
8
3
4
207
Lars Hallnäs
1
57
1
2
207
Jordi Sabater-Mir
1
19
4
5
207
Gerard Vreeswijk
1
35
1
2
207
Joke Meheus
1
10
5
6
207
Carlos Cotrini
1
8
1
1
site/software ©
exaly
; All materials licenced under
CC by-SA
.