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