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 article citations)

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

Scientometrics

Overviews

Citing Bodies

Logical Methods in Computer Science

Top Authors (by article citations)