Logic

70.5K(top 1%)

papers

927.4K(top 1%)

citations

278(top 1%)

h-index

468(top 1%)

g-index

87.6K

all documents

13.0K

doc citations

Top Authors (by citations)

#	Author	Articles	Citations	R ARank	R CRank
1	Anna Maria Radzikowska	1	860	6	6
2	Valentín Gregori	2	401	1	1
3	Liem T Tran	2	353	2	2
4	Franco Montagna	4	338	1	1
5	Almanzor Sapena	1	318	1	1
6	Sándor A Jenei	3	277	4	4
7	Sébastien Konieczny	1	268	1	1
8	Robert Fullér	3	241	4	4
8	Christer Carlsson	2	241	5	10
10	Joan Torrens	3	239	1	1
11	Chris Barker	1	232	6	6
12	Przemysław Grzegorzewski	1	228	4	4
13	Margarita Mas	2	227	1	1
14	Chiang Kao	2	192	4	4
15	Saber Saati	1	184	1	1
16	Ronald R Yager	4	179	8	8
17	Simon D Parsons	1	172	3	3
17	Peter Mcburney	1	172	8	5
17	Simon Parsons	1	172	8	5
20	Daniele Nardi	1	151	5	5
20	Riccardo Rosati	1	151	1	1
20	Francesco Maria Donini	1	151	8	6
23	Lluis Godo	3	145	7	4
23	Francesc Esteva	3	145	4	4
25	Gwo-Hshiung Tzeng	1	142	15	13
25	Fang-Mei Tseng	1	142	1	7
27	Francisco Herrera	2	134	11	14
28	Ichiro Nishizaki	2	131	4	4
29	Baoding Liu	1	125	9	9
30	Arkadii M Slinko	1	124	4	2
31	Dan Simon	1	123	7	7
32	Shouyang Wang	1	114	8	8
32	Shu-Shang Zhu	1	114	1	1
34	Saharon Shelah	12	110	4	4
35	Yongming Li	3	109	4	4
36	Shiang-Tai Liu	1	108	1	1
37	Marc Lange	1	106	1	1
38	Henriette De Swart	1	104	1	1
39	Joan Gispert	2	102	1	1
40	Miin-Shen Yang	1	98	6	13
41	Han-Xiong Li	1	96	9	9
42	Francisco Chiclana	1	95	5	11
42	Xinyue Liu	1	95	4	10
42	Steve Awodey	2	95	1	1
45	Pierre-Yves Schobbens	1	92	8	6
46	Nicholas R Jennings	2	91	12	10
47	Van-Nam Huynh	1	87	6	6
48	Luca Roversi	1	85	1	1
48	Andrea Asperti	1	85	1	1
50	Peter Varlaki	1	84	1	1
50	Domonkos Tikk	1	84	1	1
52	Brian W Bush	1	82	1	1
53	B Jack Copeland	1	78	5	5
54	Young Hoon Joo	1	77	4	4
54	Chen Guanrong	1	77	14	19
54	Tomas Brandtberg	1	77	1	1
57	Heinrich Wansing	2	74	1	1
58	Thomas Eiter	2	73	9	9
58	Michael Zakharyaschev	3	73	4	6
58	Jouko Väänänen	2	73	3	3
61	Yuri Gurevich	2	72	4	4
62	Shiqian Wu	1	71	5	8
62	Fernando Ferreira	2	71	1	1
62	Meng Joo Er	1	71	7	8
62	Sy-Ming Guu	1	71	8	8
66	Konstantin Avrachenkov	1	70	13	8
66	Mark Steedman	1	70	1	1
68	Jian-Zhong Xiao	1	68	1	1
68	Zhudeng Wang	1	68	1	1
68	Hans Tompits	1	68	1	1
71	Albert Visser	3	66	1	1
72	Maurice Bruynooghe	2	65	10	10
73	Michael Leuschel	1	64	1	1
74	Wlodek Rabinowicz	1	63	4	4
75	Gerhard Schurz	1	62	1	1
75	Mourad Oussalah	1	62	9	6
75	Roberto Cignoli	2	62	1	1
78	Jeremy Avigad	5	61	1	1
79	Sylvie Galichet	1	60	1	1
79	Alexandre Evsukoff	1	60	1	1
79	Giangiacomo Gerla	1	60	1	1
79	Sandra D Mitchell	1	60	4	5
83	Yael Sharvit	1	59	6	6
84	Silvio Ghilardi	3	58	1	1
84	Juite Wang	1	58	2	2
86	Pietro Panzarasa	1	57	6	6
87	Basil K Papadopoulos	1	56	5	5
87	Gang Feng	1	56	9	9
87	Pierpaolo D'Urso	1	56	5	4
87	Henri Prade	1	56	11	12
87	G Feng	1	56	1	1
92	Won-Chul Bang	2	55	1	1
93	Bart Geurts	1	54	1	1
93	Michel Grabisch	1	54	8	9
95	Pauline Jacobson	1	53	1	1
95	Endre Pap	2	53	5	5
97	Jaroslav Ramik	2	52	4	6
98	Randal E Bryant	1	50	1	1
98	João Rasga	2	50	4	4
98	Georg Gottlob	1	50	11	10
98	Cristina Sernadas	2	50	6	4
98	Miroslav N Velev	1	50	1	1
98	Helmut Veith	1	50	6	6
104	Ulrich Berger	4	49	4	4
104	Yung-Jen Hsu	1	49	1	1
104	Danila O Revin	2	49	1	1
104	Frank Wolter	1	49	6	6
108	Marco Aiello	1	48	6	6
108	Johan van Benthem	1	48	1	1
108	Joel David Hamkins	2	48	6	6
108	Weldon A Lodwick	1	48	4	4
108	Khayrollah Hadidi	1	48	1	1
108	Abdollah Khoei	1	48	5	5
108	Brandon Bennett	2	48	3	5
115	Renata Wassermann	1	47	10	4
115	Ivo Düntsch	1	47	6	6
115	Erik J Olsson	1	47	5	5
115	Daniel Sanchez	1	47	9	8
115	Maria J Martin-Bautista	1	47	1	1
115	Georgi D Dimov	1	47	1	1
115	Sven Ove Hansson	1	47	7	6
115	Dimiter Vakarelov	1	47	1	1
115	Luc Bovens	1	47	5	5
124	Nancy Cartwright	1	46	1	1
124	Ulrich Berger	3	46	4	4
126	Eros Corazza	1	45	4	4
126	Hong Yan	1	45	5	10
128	Fernando Ferreira	1	43	1	7
128	Daijin Kim	2	43	5	7
128	Gerhard Jäger	1	43	1	1
132	Rami Grossberg	2	42	1	1
132	Marley Vellasco	1	42	6	6
132	Berlin Wu	1	42	1	1
135	Zengtai Gong	2	41	1	1
136	Wh Ip	1	40	12	9
136	Michael Fisher	2	40	12	8
136	Radim Bělohlávek	2	40	8	8
139	Robin Hirsch	2	39	4	4
139	Philippe Balbiani	2	39	8	6
139	Fang-Ming Yu	1	39	1	1
139	Gejza Jenča	2	39	1	1
139	Daowu Pei	1	39	1	1
139	Roger D Maddux	2	39	1	1
139	Hung-Yuan Chung	1	39	1	1
146	Giuseppe Sanfilippo	1	38	1	1
146	Wolfgang Spohn	1	38	4	4
146	Ching-Hung Lee	1	38	2	2
146	Thomas Lukasiewicz	1	38	8	13
150	Bor-Sen Chen	1	37	8	9
150	Russell Impagliazzo	1	37	7	7
152	Jiuh-Biing Sheu	1	36	3	5
152	Piero A Bonatti	1	36	8	9
152	Josep Maria Font	1	36	1	1
155	Brigitte Werners	1	35	1	1
155	Bernard De Baets	1	35	7	12
155	Dexue Zhang	2	35	4	4
155	Hiroakira Ono	1	35	1	1
155	Jonardon Ganeri	1	35	3	3
160	Arthur W Apter	5	34	4	4
160	Carles Sierra	1	34	10	10
162	Lazhar Khriji	1	33	1	1
162	Maria Teresa Carvalho	1	33	1	1
162	Debjani Chakraborty	1	33	1	1
162	F O Durao	1	33	1	1
162	Moncef Gabbouj	1	33	7	7
162	Philippe De Groote	1	33	1	1
168	Marek W Zawadowski	1	32	1	1
168	Marino Gran	1	32	5	5
168	Melvin Fitting	2	32	1	1
171	Philippe Fortemps	1	30	8	8
171	Roman Slowinski	1	30	14	17
171	Elliott Sober	1	30	12	13
171	Maarten Marx	4	30	4	3
175	Anuj Dawar	1	29	1	1
176	Sylvia Pulmannová	1	27	2	2
176	Juan Tejada	1	27	1	1
176	Alexei Lisitsa	1	27	1	1
176	Elisenda Molina	1	27	5	5
176	Isabelle Bloch	1	27	1	1
176	Edwin D Mares	2	27	1	1
176	Jochen Renz	1	27	1	1
176	Stefan Blom	1	27	4	4
184	Masahiro Inuiguchi	1	26	1	1
184	Jordi Recasens	1	26	1	1
184	Constantinos Ioannis Siettos	2	26	2	2
184	Jordi Recasens	1	26	9	6
188	Teresa Orlowska-Kowalska	1	25	1	1
188	Saeid Abbasbandy	1	25	5	7
190	Evgeny Vdovin	1	24	5	5
190	Mark Reynolds	1	24	1	1
192	John Grant	1	23	1	1
192	Ulrich Kohlenbach	2	23	1	1
192	Tarek Sayed Ahmed	2	23	1	1
192	Richard Bradley	1	23	1	1
192	Lunjin Lu	1	23	7	7
192	Andrea Sgarro	1	23	1	1
198	Amílcar C Sernadas	1	22	8	6
198	Gisella Facchinetti	1	22	1	1
198	Dimitris P Labridis	1	22	5	5
198	Rajendra P Srivastava	1	22	5	5
198	Cong-hua Yan	2	22	1	1
198	Henk W De Regt	1	22	3	3
198	Sergei G Ovchinnikov	1	22	12	7
198	Antonio Di Nola	2	22	4	4
206	Heinz Sturm	1	21	9	11
206	Louise Cummings	1	21	4	5
206	Sara Negri	2	21	3	6
206	Agustin Rayo	1	21	4	4
210	Antonino Rotolo	1	20	1	1
210	Sebastián Lozano	1	20	17	13
210	Salvatore Sessa	1	20	4	4
210	Luis Onieva	1	20	1	1
210	Giorgi Japaridze	1	20	1	1
210	Guido Governatori	1	20	11	10
210	Kemal KiliÇ	1	20	1	1
210	Sandro Etalle	2	20	7	1
219	Victor Zhelyabin	1	19	1	1
219	Jobst Heitzig	1	19	7	4
219	Thomas Studer	1	19	1	1
219	Chang-Chun Lin	1	19	1	1
219	John Harding	2	19	1	1
219	Laura Crosilla	1	19	1	1
219	Khaled A Hashem	2	19	1	1
226	Inés Couso Blanco	1	18	9	10
226	Susana Montes	1	18	7	9
226	David Alejandro Pelta Mochcovsky	1	18	8	9
226	Pedro Gil Álvarez	1	18	10	10
226	Claudia Casadio	1	18	1	1
226	Lloyd Humberstone	1	18	1	1
232	Jeffrey Paris	1	17	1	1
232	Gabor Sagi	2	17	1	1
232	Ian E Pratt-Hartmann	2	17	1	1
232	Venkateswaran Murali	1	17	1	1
232	Thomas Meyer	1	17	3	3
232	Bob Coecke	1	17	1	1
232	Louise Leenen	1	17	1	1
239	Karim Boulabiar	1	16	4	4
239	Martin A Ziegler	1	16	1	1
239	Gianluca Bontempi	1	16	6	6
239	Wolfgang Faber	1	16	10	10
239	Mohamed Ali Toumi	1	16	1	1
239	Nissim Francez	1	16	1	1
239	Nicola Leone	1	16	12	13
239	Francesco Buccafurri	1	16	10	10
239	Mauro Birattari	1	16	10	10
239	Cosimo De Mitri	1	16	1	1
239	Hugues Bersini	1	16	1	1
239	Ioana Leustean	1	16	1	1
252	Salvatore Ruggieri	1	15	1	1
252	Tomasa Calvo	1	15	7	9
252	Zhenquan Li	1	15	2	2
252	Richard Ca Moot	1	15	1	1
252	Dino Pedreschi	1	15	10	7
252	Vojislav Kecman	1	15	1	1
252	Andrea Cantini	1	15	1	1
252	Anand Pillay	3	15	1	1
260	Rajat K De	1	14	1	1
260	Valentina S Harizanov	2	14	1	1
260	Stefano Aguzzoli	1	14	1	1
260	Brunella Gerla	1	14	1	1
260	Jiří Rosický	2	14	7	7
260	Walter Tholen	1	14	4	6
260	Jan Treur	2	14	10	16
260	Ramon Jansana	1	14	1	1
260	Neil Thapen	1	14	1	1
260	Jayanta Basak	1	14	6	1
260	Andrej Bauer	1	14	1	1
260	Valentin Shehtman	1	14	1	1
272	T Warren Liao	1	13	7	16
272	Andreas Boudouvis	1	13	6	9
272	Floriana Grasso	1	13	1	1
272	Aldo Franco Dragoni	1	13	1	1
272	Marco Bozzano	1	13	10	10
272	Michael K Kinyon	1	13	5	5
272	Giovanni Bortolan	1	13	6	8
272	Carsten Lutz	1	13	1	1
272	Shamil T Ishmukhametov	1	13	1	1
272	Catholijn M Jonker	1	13	9	17
272	Giorgio Delzanno	1	13	10	10
272	Hajnal Andreka	1	13	1	1
272	Jaap Van Oosten	1	13	4	6
272	Robert Rettinger	1	13	4	4
272	Nick Bezhanishvili	2	13	1	1
287	Diderik Batens	1	12	1	1
287	Chun-Yi Su	1	12	5	5
287	Wojciech Buszkowski	1	12	4	4
287	Mariangiola Dezani	1	12	10	11
287	Gerardo Aranguren	1	12	1	1
287	Joan Bagaria	1	12	1	1
287	Jose Luis L Martin	1	12	1	1
287	Xabier Basogain Olabe	1	12	1	1
287	Vilem Novak	1	12	1	1
287	Stefan Wölfl	1	12	1	1
287	Masami Yasuda	1	12	1	1
298	Enea Zaffanella	2	11	7	10
298	Rafał Wisniewski	1	11	1	1
298	Piotr Kulczycki	1	11	1	1
298	Laura Giordano	1	11	1	1
298	Valentin Goranko	1	11	1	1
298	Hirotaka Kikyo	1	11	1	1
298	Ralph Freese	2	11	1	1
298	Martin Neil	1	11	2	4
298	Fausto Giunchiglia	1	11	4	8
298	Roberto Bagnara	2	11	7	10
298	Ulrich Höhle	1	11	1	1
298	Pierre Le Morvan	1	11	1	1
298	Oliver Kutz	1	11	1	1
298	Norman E Fenton	1	11	2	4
298	Hallvard Lillehammer	1	11	4	5
298	Luciano Serafini	1	11	4	4
314	Fernando Matia	1	10	1	1
314	Basil Mohammed Al-Hadithi	1	10	1	1
314	Leendert van der Torre	1	10	10	10
314	Rocco De Nicola	1	10	8	9
314	Basil M Al-Hadithi	1	10	1	1
314	Yves Caseau	1	10	6	8
314	Peter B M Vranas	1	10	1	1
321	Stefano Mazzanti	1	9	1	1
321	Nikos Gorogiannis	1	9	4	4
321	Patrick Blackburn	1	9	1	1
321	G Jaeger, G Jager	1	9	4	6
321	Marcelo Esteban Coniglio	1	9	1	1
321	Michael C Laskowski	2	9	1	1
321	Tomasz Kubiak	1	9	1	1
321	Dimiter Skordev	1	9	1	1
321	Peter Michael Schuster	1	9	4	4
321	Ramon Lopez de Mantaras	1	9	1	1
321	Dorota Kuchta	1	9	1	1
321	Mark D Ryan	1	9	1	1
321	Uri Abraham	1	9	1	1
321	G Aldo Antonelli	1	9	1	1
335	Tomasz F Skura	1	8	1	1
335	Pascal Van Hentenryck	1	8	4	6
335	Chin-Teng Lin	1	8	14	19
335	M Adel Alimi	1	8	9	11
335	Aleksandr Kravchenko	1	8	1	1
335	Erik Carlson	1	8	1	1
335	Krzysztof Krupiński	1	8	1	1
335	Isabel Oitavem	1	8	1	1
335	Riccardo Rovatti	1	8	2	4
335	Giancarlo Ferrari-Trecate	1	8	11	11
335	James H Schmerl	2	8	4	4
335	Andr\u00e9s L Medaglia	1	8	4	10
335	S Barry Cooper	2	8	4	4
335	Baudouin Le Charlier	1	8	1	1
335	Wiebe Van Der Hoek	2	8	4	10
350	Patrick Speissegger	1	7	4	5
350	Luís F R Sequeira	1	7	1	1
350	Juliette Kennedy	1	7	1	1
350	Andrés Cano	1	7	7	10
350	Jan Woleński	1	7	1	1
350	Philip D Welch	1	7	4	4
350	Keith Kearnes	1	7	4	1
350	Juan M Fernández-Luna	1	7	8	11
350	Liangjian Hu	1	7	1	1
350	Serafı́n Moral	1	7	7	10
350	Andrey Vasil'ev	1	7	1	1
350	Alessandra Carbone	1	7	5	8
350	Mireille Ducassé	1	7	7	7
350	Pascal Koiran	1	7	4	4
350	Erwan Jahier	1	7	1	1
365	Mirosław Truszczyński	1	6	1	1
365	Carlos Viegas Damásio	1	6	6	10
365	John T Baldwin	1	6	1	1
365	Mojtaba Moniri	1	6	1	1
365	Erich Peter Klement	1	6	4	4
365	Yoshihito Tanaka	1	6	1	1
365	Pilar Dellunde i Clavé	1	6	1	1
365	Zhijian Ji	1	6	1	1
365	Silvio Valentini	2	6	1	1
365	Shubhabrata Das	1	6	1	1
375	Cezary Cieśliński	1	5	1	1
375	Kyriakos Keremedis	1	5	1	1
375	Pavlos Peppas	1	5	1	1
375	Gabriel Uzquiano	1	5	1	1
375	Robert J Colvin	1	5	1	1
375	Bruce M Kapron	1	5	1	1
375	Philippe De Wilde	1	5	1	1
375	Alexandra Shlapentokh	2	5	4	5
375	Ian J Hayes	1	5	10	9
375	Patrick Dehornoy	1	5	4	4
375	Paul A Strooper	1	5	9	10
375	Christos Nomikos	1	5	1	1
375	Stefan Geschke	1	5	4	5
388	Igal Kvart	1	4	1	1
388	Tzong-Ru Tsai	1	4	8	6
388	Eric Martin	1	4	3	10
388	Erhard Aichinger	1	4	1	1
388	Mary Leng	2	4	7	7
388	Thomas Dyhre Nielsen	1	4	1	1
388	Manuel Ojeda-Aciego	1	4	10	12
388	Marcel Jackson	2	4	4	4
388	Enrique Casanovas	1	4	1	1
388	Thomas Scanlon	1	4	4	5
388	Xiao Luo	1	4	1	4
388	Ilkka Niiniluoto	1	4	1	1
388	Samir Chopra	1	4	10	10
388	Morteza Moniri	2	4	1	1
402	Arnold Beckmann	2	3	4	1
402	Tomáš Kepka	1	3	4	4
402	Jose A Padilla-Medina	1	3	1	1
402	Jonathan Smith; Jdh Smith; Jonathan Dh Smith	1	3	1	1
402	Simon Thomas	1	3	4	7
402	Hans Hüttel	1	3	6	9
402	Antonino Staiano	1	3	1	1
402	Iskander S Kalimullin	1	3	1	1
402	Torsten Schaub	1	3	10	10
402	Mike Prest	1	3	5	5
402	Antonio Moreno-Sandoval	1	3	1	1
402	Janusz Pawlikowski	1	3	1	1
402	Tomasz Kowalski	1	3	1	1
402	Krzysztof C Ciesielski	1	3	5	5
402	Vincenzo Loia	1	3	2	2
402	Tu-Bao Ho, Bao Tu Ho	1	3	1	1
402	Ivan Tomasic	1	3	1	1
402	Massoud Pourmahdian	1	3	1	1
402	Ping-Teng Chang	1	3	1	1
402	Ralph Mckenzie	1	3	1	1
402	John N Martin	1	3	1	1
402	Szabolcs Mikulas	1	3	1	1
424	Brian A Davey	1	2	5	5
424	Kris McDaniel	1	2	1	1
424	Viviana Bono	1	2	6	10
424	Bas Spitters	1	2	4	4
424	Roderic A Girle	2	2	1	1
424	Daniel W Cunningham	1	2	1	1
424	Mojgan Mahmoudi	1	2	1	1
424	Miloš Arsenijević	1	2	1	1
424	Jean-Baptiste Joinet	1	2	1	1
424	Yannis Stephanou	1	2	1	1
424	Francesc A Rosselló	1	2	5	8
424	Mohammad Ardeshir	1	2	1	1
424	M Mehdi Ebrahimi	1	2	1	1
424	William Gasarch	1	2	1	1
439	Frank Stephan	1	1	10	11
439	John G Stell	1	1	6	13
439	Somdeb Lahiri	1	1	4	6
439	Richard E Overill	1	1	1	1
439	László Aszalós	1	1	1	1
439	Cei Maslen	1	1	1	1
439	Ulises Cortés	1	1	1	4
439	Argimiro Alejandro Arratia Quesada	1	1	1	1
439	Randall Pruim	1	1	1	1
439	Frederic Koriche	1	1	1	1
439	Stanley Burris	1	1	1	1
450	Luiz Augusto Carneiro D'Albuquerque	1	0	1	7
450	Ilijas Farah	1	0	4	6
450	Greg Restall	1	0	1	4
450	Marjan Jerman	1	0	1	0
450	Lev Beclemishev	1	0	4	9
450	Reinhard Blutner	1	0	1	0
450	Andreas Weiermann	1	0	4	4
450	James Cummings	1	0	4	4
450	Jan von Plato	1	0	1	0
450	Francesco Ranzato	1	0	10	10
450	H Dugald Macpherson	1	0	1	0
450	Predrag Tanovic	1	0	1	0
450	Richard A Shore	1	0	1	0
450	David M Evans	1	0	4	12
450	Yoriyuki Yamagata	1	0	1	0
450	Walter Sinnott-Armstrong	1	0	4	4
450	Mark Balaguer	1	0	1	0
450	Leon Horsten	1	0	1	0
450	Vasco Brattka	1	0	6	6
450	Menachem Kojman	2	0	5	5
450	Bradd Hart	1	0	4	4
450	Mehmet Terziler	1	0	1	0
450	Rajesh Bhatt	1	0	6	6

Journals

Authors

Affiliations

Citing Bodies

Logic

Top Authors (by citations)