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
›
Logical Methods in Computer Science
Logical Methods in Computer Science
0.4
(top 100%)
impact factor
399
(top 50%)
papers
2.6K
(top 50%)
citations
22
(top 20%)
h
-index
0.4
(top 100%)
extended IF
1.1K
all documents
7.2K
doc citations
32
(top 50%)
g
-index
Top Authors (by articles)
#
Author
Articles
Citations
R ARank
R CRank
1
Alexander Rabinovich
4
9
4
9
2
James Worrell
3
24
4
6
2
Ugo Dal Lago
3
36
5
5
2
Heribert Vollmer
3
28
7
13
2
Zvonko Iljazović
3
15
1
1
2
Stephen Cook
3
40
1
6
7
Fredrik Nordvall Forsberg
2
10
2
2
7
Wan J Fokkink
2
7
12
27
7
Daniele Gorla
2
15
6
8
7
Martin Grohe
2
51
9
13
7
Damien Pous
2
21
2
4
7
Lutz Schröder
2
5
6
13
7
Stephane Demri
2
15
9
11
7
Barnaby Martin
2
9
5
9
7
Andrea Cerone
2
10
2
3
7
Patrick Bahr
2
3
3
4
7
Petr Hliněný
2
8
9
17
7
Peter Selinger
2
34
4
6
7
Barbara Morawska
2
26
2
2
7
Stéphane Le Roux
2
21
2
2
21
Mieke Massink
1
2
11
16
21
Eryk Kopczyński
1
9
2
3
21
Bartek Klin
1
51
7
3
21
Robert Furber
1
16
1
1
21
Ulrich Berger
1
10
10
14
21
Matt Valeriote
1
9
2
5
21
Martin A Ziegler
1
1
8
16
21
Sergey Goncharov
1
3
3
5
21
Vladimir V Podolskii
1
2
4
9
21
Armin Biere
1
116
7
8
21
Aart Middeldorp
1
0
9
16
21
Frédéric Blanqui
1
10
4
5
21
Sergey S Goncharov
1
3
12
18
21
Alessandro Facchini
1
2
5
9
21
Bruno Loff
1
3
4
9
21
Venkatesh-Prasad Ranganath
1
0
4
9
21
Andrew Pitts
1
5
6
10
21
MaŁgorzata Biernacka
1
33
4
3
21
Christine Tasson
1
6
3
4
21
Manuel Bodirsky
1
15
13
15
21
Sławomir Lasota
1
51
8
2
21
Daniel Kral
1
5
21
25
21
Thomas Given-Wilson
1
6
3
7
21
Andrei Popescu
1
8
4
4
21
Luca Bortolussi
1
1
8
28
21
Radek Pelánek
1
8
7
10
21
Catalin Hritcu
1
0
4
6
21
Stefano Tonetta
1
10
5
8
21
Uli Fahrenberg
1
3
6
12
21
Luca Padovani
1
7
6
13
21
Georg Moser
1
8
4
5
21
Erik P De Vink
1
2
2
3
21
Alessandra Palmigiano
1
20
10
8
21
Gabriele Puppis
1
3
4
6
21
Javier Esparza
1
24
11
13
21
Willem Conradie
1
44
6
2
21
Arno Pauly
1
10
7
8
21
Paulo Oliva
1
2
7
11
21
Alberto Rubio Gimeno
1
10
5
8
21
Andrew M Marshall
1
2
2
2
21
Naoki Kobayashi
1
21
9
11
21
Alexandre Madeira
1
2
7
12
21
Eric W Allender
1
3
11
19
21
Samuel Mimram
1
11
3
3
21
Jiamou Liu
1
1
7
22
21
Tarmo Uustalu
1
6
9
11
21
Alessandro Cimatti
1
10
11
21
21
Wesley Calvert
1
3
5
6
21
Roderick Bloem
1
21
7
10
21
Dariusz Biernacki
1
33
5
3
21
Everardo Barcenas
1
8
5
3
21
Sebastian Rudolph
1
7
4
13
21
Massimo Merro
1
3
7
13
21
Piotr Witkowski
1
4
3
5
21
Georg Gottlob
1
24
24
28
21
Abuzer Yakaryilmaz
1
5
7
11
21
Alexander Kurz
1
4
18
50
21
Stéphane Gaubert
1
14
15
34
21
Olaf Beyersdorff
1
5
11
15
21
Dimitar P Guelev
1
4
2
3
21
Diego Latella
1
2
12
17
21
Gunnar Wilken
1
4
3
5
21
Franz Baader
1
24
13
22
21
Marco Bozzano
1
10
5
11
21
Martin Hils
1
6
1
1
21
Panagiotis Katsaros
1
5
8
14
21
Konrad Burnik
1
4
1
2
21
Carla P Gomes
1
2
9
34
21
Adriana Balan
1
5
3
4
21
Keijo Heljanko
1
116
12
3
21
Antti Valmari
1
1
10
14
21
Manuel António Martins
1
2
11
16
21
Alejandro Díaz-Caro
1
6
3
4
21
Laurence Tratt
1
5
6
13
21
Ulrich Schöpp
1
5
2
4
21
Bruno Courcelle
1
17
7
7
21
Andreas Weiermann
1
4
9
16
21
Dimiter Skordev
1
0
3
8
21
Stefan J Borgwardt
1
2
57
114
21
Douglas Cenzer
1
0
10
15
21
José Espírito Santo
1
3
5
6
21
Johannes Åman Pohjola
1
1
2
5
21
Olivier Finkel
1
4
5
8
21
Stefan Hetzl
1
2
6
12
21
Nathanaël Fijalkow
1
19
4
2
21
Antonín Kučera
1
24
8
7
21
Jan Obdržálek
1
5
5
9
21
Hendrik Jan Hoogeboom
1
7
12
12
21
Renate A Schmidt
1
14
6
10
21
Cesare Tinelli
1
5
6
18
21
Benedikt Ahrens
1
2
3
4
21
Peter Michael Schuster
1
16
15
13
21
Karol Pąk
1
11
4
4
21
Frank Neven
1
53
14
11
21
Alessio Guglielmi
1
2
3
5
21
Ralph Matthes
1
3
5
10
21
Assalé Adjé
1
14
2
3
21
Kohei Suenaga
1
21
3
2
21
Giorgi Japaridze
1
4
10
12
21
Ulrich Berger
1
10
8
9
21
Robert Ganian
1
5
7
12
21
Martin Zimmermann
1
19
6
4
21
Arne Meier
1
5
7
12
21
Jasmin Christian Blanchette
1
8
4
5
21
Florent Madelaine
1
3
3
6
21
James Riely
1
2
2
11
21
Carsten Lutz
1
22
8
12
21
Swen Jacobs
1
21
3
5
21
Sven Schewe
1
1
6
12
21
Benoît Delahaye
1
3
5
9
21
Andrew J Lumsdaine
1
3
12
29
21
Markus Krötzsch
1
7
5
10
21
Álvaro García-Pérez
1
1
2
4
21
Michael Kohlhase
1
3
5
14
21
Marco Gario
1
10
2
2
21
Joel Ouaknine
1
7
8
13
21
Brijesh Dongol
1
7
5
9
21
Yuxin Deng
1
47
7
5
21
Stefan Borgwardt
1
2
6
9
21
Filip Murlak
1
4
2
6
21
Venanzio Capretta
1
93
4
2
21
Jeremy Avigad
1
6
13
21
21
Luís Pinto
1
3
3
5
21
Gilda Ferreira
1
2
8
5
21
Sebastian Ordyniak
1
3
7
10
21
Nicolas Markey
1
21
7
8
21
Yoichi Hirai
1
2
2
3
21
Mark Bickford
1
2
2
5
21
Alain
1
2
7
16
21
B Srivathsan
1
2
2
5
21
Florian Rabe
1
2
6
14
21
Maarten Marx
1
2
9
28
21
Samy Abbes
1
1
5
9
21
Cyril Cohen
1
8
1
2
21
Marcin Jurdzinski
1
25
3
6
21
Marcello Bonsangue
1
4
8
13
21
Claude Tardif
1
31
8
4
21
Manfred Kufleitner
1
8
6
7
21
Andrea Turrini
1
2
3
8
21
Beniamino Accattoli
1
19
2
2
21
Dexter Kozen
1
4
11
22
21
Masahito Hasegawa
1
5
5
8
21
Marko Van Eekelen
1
11
2
4
21
Evgeny Sherkhonov
1
2
1
2
21
Hongseok Yang
1
32
5
4
21
Olivier Danvy
1
33
13
11
21
Marek Zaionc
1
15
4
3
21
Thomas Schneider
1
5
3
4
21
Jeremy Sproston
1
25
3
6
21
Mahesh Viswanathan
1
6
6
8
21
Etienne Lozes
1
11
2
4
21
Victor Dalmau
1
40
4
5
21
Jörg Endrullis
1
2
4
8
21
Giovanni Bernardi
1
8
1
2
21
Alasdair Urquhart
1
3
9
19
21
Philippa Gardner
1
6
4
5
21
Andrei Bulatov
1
9
2
3
21
Rohit Chadha
1
6
2
4
21
Florent Jacquemard
1
7
3
5
21
Robert Rettinger
1
6
5
6
21
Nicole Schweikardt
1
1
4
10
21
Paul Potgieter
1
1
1
3
21
Ori Lahav
1
6
1
2
21
Antoine Meyer
1
8
1
1
21
Norman Danner
1
6
1
2
21
Benedikt Bollig
1
2
5
7
21
Matthew Hennessy
1
9
10
14
21
Dimiter Vakarelov
1
44
6
5
21
Freek Wiedijk
1
13
3
6
21
Johannes Borgström
1
12
4
4
21
Thomas Brihaye
1
12
2
5
21
Benoit Larose
1
31
7
6
21
Luca De Alfaro
1
7
3
9
21
Holger Hermanns
1
6
13
20
21
Aquinas Hobor
1
10
2
2
21
Joost Engelfriet
1
7
11
13
21
Prakash Panangaden
1
11
10
19
21
Dimitri Hendriks
1
2
4
4
site/software ©
exaly
; All materials licenced under
CC by-SA
.