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	Robert Fullér	4	663	4	1
2	Ronald R Yager	4	599	5	5
3	Trevor Bench-Capon	1	523	10	8
3	Trevor J M Bench-Capon	1	523	4	4
5	Jeffrey Joines	2	434	1	1
6	Philippe Schlenker	1	411	3	3
7	Daniel Büring	1	409	1	1
8	Baoding Liu	2	342	8	8
9	Louis Wehenkel	1	333	1	1
10	Weldon A Lodwick	2	270	4	4
11	Humberto Bustince	1	258	1	1
12	Craige Roberts	1	217	1	1
13	Christer Carlsson	2	210	4	1
14	Fang-Ming Yu	2	200	1	1
15	Michael Wooldridge	1	189	3	4
15	Wiebe Van Der Hoek	1	189	11	5
17	Rohit Parikh	2	173	2	2
18	Ujjwal Maulik	1	171	2	2
19	Inmaculada Sirvent	1	165	1	1
19	José L Ruiz	1	165	1	1
19	VICENTE LIERN	1	165	1	1
22	Etienne Kerre	3	156	6	6
23	Joan Torrens	2	144	6	6
24	Sándor A Jenei	4	142	1	1
25	Francisco Herrera	2	139	10	10
26	Sven Ove Hansson	1	137	5	5
27	Leopoldo Bertossi	1	134	10	7
27	Jan Chomicki	1	134	7	8
27	Marcelo Arenas	1	134	1	1
30	Jang-Hyun Park	1	130	4	4
31	Tzung-Pei Hong	1	126	5	5
31	Jacek M. Leski	2	126	6	6
33	Shun-Feng Su	1	124	8	5
34	Juite Wang	1	122	1	1
35	YoungSu Yun	1	115	7	7
36	Javier Martin	1	112	1	1
36	Franco Montagna	2	112	1	1
38	Hsien-Chung Wu	4	111	4	5
39	Yuri Gurevich	2	109	1	1
40	Bart Verheij	1	108	7	8
41	Francisco Chiclana	1	106	6	9
41	Xinyue Liu	1	106	10	10
41	Luis Martinez	1	106	6	6
44	Haralambos Sarimveis	1	104	6	6
45	Andreja Tepavčević	2	102	4	4
45	Joel David Hamkins	3	102	4	4
47	Jaroslav Ramik	2	101	1	1
47	Paul Portner	1	101	4	4
49	Ulrich Bodenhofer	2	98	9	9
49	Torsten Schaub	2	98	10	7
51	Leendert van der Torre	1	97	11	4
52	Vladik Kreinovich	2	92	10	6
53	Alessio Lomuscio	1	91	6	7
54	Milan Vlach	2	90	1	1
55	Zeshui Xu	1	86	1	1
56	Jürgen Adamy	2	85	2	2
56	Changjiu Zhou	1	85	2	4
58	Juliette Kennedy	1	84	1	1
58	Lluis Godo	1	84	9	6
58	Francesc Esteva	1	84	9	6
61	Veeramani P	1	83	6	8
62	Chris Cornelis	1	82	7	7
62	Hans Tompits	1	82	1	1
65	Vladimir Lifschitz	1	81	10	7
65	Esra Erdem	1	81	7	7
65	Giovanni Sambin	1	81	4	6
65	Silvio Valentini	1	81	6	4
69	Peter Thiemann	1	79	6	6
70	Sung-Kwun Oh	1	77	11	8
70	Rita Almeida Ribeiro	1	77	10	8
70	Witold Pedrycz	1	77	6	7
73	Marco Aiello	1	75	1	1
74	Martine De Cock	2	74	6	7
74	Igor Škrjanc	1	74	9	7
74	Michel Grabisch	1	74	6	12
74	Saso Blazic	1	74	5	5
74	Hudson Turner	1	74	7	7
79	T Warren Liao	1	73	8	8
80	Achille C Varzi	3	72	4	4
80	Giorgi Japaridze	1	72	1	1
82	Ralph Matthes	1	70	10	4
82	Hiroakira Ono	2	70	1	1
84	Marcello Balduccini	1	69	1	1
84	Michael Gelfond	1	69	7	7
86	Pandian M Vasant	1	66	1	1
87	Ira M Gessel	1	65	1	1
88	Saharon Shelah	10	64	4	4
88	Sergei P Odintsov	1	64	1	1
88	Hung-Yuan Chung	1	64	1	1
91	Sylvie Doutre	1	62	1	1
92	Evgueni V Vassiliev	2	61	1	1
92	Tomasa Calvo	2	61	1	1
92	Xudong Luo	1	61	5	7
92	Nicholas R Jennings	1	61	14	13
92	Ho-fung Leung	1	61	9	11
99	Guillermo Ricardo Simari	1	60	1	1
99	Carlos Iván Chesñevar	1	60	4	4
99	Frieder Stolzenburg	1	60	4	4
99	Guillermo R Simari	1	60	1	1
103	Jiuh-Biing Sheu	1	59	3	2
104	Simon John Thompson	1	58	7	6
104	Ivan Kojadinovic	1	58	1	1
104	Lev Beclemishev	2	58	1	1
104	Maarten Marx	3	58	1	1
108	Kudret Demirli	1	57	1	1
108	Peter Pagin	1	57	4	4
108	Fl Lewis	1	57	7	9
111	Philip D Welch	2	56	1	1
111	Heloisa Camargo	1	56	1	1
111	Hans van Ditmarsch	1	56	1	1
114	Wen-Jer Chang	1	54	4	4
114	Agata Ciabattoni	1	54	6	6
114	Sara Negri	1	54	1	1
114	Ivana Kruijff-Korbayova	1	54	1	1
114	Noson S Yanofsky	1	54	1	1
119	Peter D Grünwald	1	53	1	1
119	Paul M B Vitányi	1	53	6	14
119	Hans Rott	2	53	4	4
122	Keijo Heljanko	1	52	6	6
124	Christian List	1	51	4	7
125	Guy De Tré	1	50	10	6
126	Anton Setzer	1	49	1	1
126	S Jamshid Mousavi	1	49	2	2
128	Marcelo Esteban Coniglio	3	48	1	1
128	Aytekin Bagis	1	48	1	1
128	Ivan Popchev	1	48	1	1
131	Sy-Ming Guu	1	47	7	7
132	Ron van der Meyden	1	46	3	3
133	Katsumi Inoue	1	45	10	7
134	Gilles Dowek	1	44	7	8
134	Bernard De Baets	1	44	11	15
134	Alasdair Urquhart	1	44	3	3
134	Anand Pillay	2	44	4	4
134	John Corcoran	1	44	1	1
134	G Feng	1	44	1	1
140	Jorge Bondia	1	42	4	4
140	Jesús Picó	1	42	4	4
140	Décio Krause	1	42	1	1
140	Steven French	1	42	6	7
140	Carlo Zaniolo	1	42	9	7
140	Mai Gehrke	2	42	1	1
146	Philip Welch	1	41	1	1
147	Esko Tapani Turunen	1	40	1	1
147	Martin C Cooper	1	40	6	6
149	Miin-Shen Yang	1	39	9	9
150	Oliver Kutz	2	37	1	1
150	Laurentiu Leustean	1	37	4	4
150	Antonio Di Nola	1	37	4	4
150	Maria Rifqi	1	37	1	1
154	Cheol W Lee	1	36	2	2
154	Yung C Shin	1	36	5	5
154	Igor Douven	1	36	1	1
157	Eros Corazza	1	35	4	4
157	Petr Cintula	1	35	4	1
159	Michael Zakharyaschev	1	34	6	6
160	Oscar Cordon	1	33	11	10
160	Salvatore Greco	1	33	1	1
160	Brian Weatherson	1	33	4	4
160	Roman Slowinski	1	33	5	11
164	Thomas Eiter	1	32	10	12
164	Wolfgang Faber	1	32	5	7
164	Nicola Leone	1	32	9	10
167	Fu-Gui Shi	2	31	1	1
167	Han-Xiong Li	1	31	9	10
167	Joshua Gert	1	31	4	4
167	Arnold Neumaier	1	31	12	16
167	Eduardo Fermé	2	31	1	1
172	Carlos Areces	1	30	1	1
172	Patrick Blackburn	1	30	1	1
172	Raf Cluckers	1	30	4	5
172	T Allahviranloo	1	30	1	1
172	Andrea Bonarini	1	30	6	1
172	Peter W. Eklund	1	30	5	5
172	Stephen Binns	1	30	1	1
180	Z S Marković	1	29	4	6
180	Arthur W Apter	4	29	4	4
180	Zoran Ognjanović	1	29	4	4
180	Roberto Cignoli	1	29	1	1
184	Valentin Goranko	2	28	1	1
184	SanMin Wang	2	28	1	1
184	Loulin Huang	1	28	1	1
184	Mohit	2	28	1	1
184	Regina Stoll	2	28	1	1
184	Dexue Zhang	3	28	4	4
184	Vitezslav Svejdar	2	28	1	1
184	Mohit Kumar	2	28	1	1
184	Neil Immerman	1	28	1	1
193	Kyriakos Keremedis	5	27	1	1
193	Kris De Jaegher	1	27	3	3
195	Frank Klawonn	1	26	11	11
195	Bonnie Webber	1	26	10	12
195	Iskander S Kalimullin	1	26	1	1
195	Nathan Reading	1	26	4	4
195	Christian Schulte	1	26	7	7
195	Peter Van Roy	1	26	1	1
195	Eleni Miltsakaki	1	26	1	1
195	Seif Haridi	1	26	10	7
195	Vincent F Hendricks	1	26	1	1
195	Rashmi Prasad	1	26	1	1
205	Senén Barro	1	25	15	9
205	Antonino Salibra	1	25	1	1
205	Michael Hrusak	1	25	4	5
205	Roberto Iglesias Rodríguez	1	25	1	1
205	John Derrick	1	25	10	8
205	George Voutsadakis	1	25	1	1
205	Venkateswaran Murali	1	25	4	4
205	Manuel Mucientes	1	25	6	1
205	Alberto Bugarín	1	25	11	9
205	Carlos V Regueiro	1	25	1	1
205	Zdenka Riečanová	1	25	4	4
216	Arnold Beckmann	2	24	1	1
216	Javier Montero	1	24	6	6
216	Daniel Gomez	1	24	6	9
216	Javier Yanez	1	24	7	12
216	Jun Li	1	24	6	12
216	Johan van Benthem	2	24	5	5
216	Jacinto Gonzalez-Pachon	1	24	6	13
223	Masahiro Inuiguchi	1	23	1	1
223	Pierluigi Siano	1	23	8	8
223	Javier Gutiérrez García	1	23	1	1
223	Douglas Cenzer	1	23	4	4
223	Frank Neven	1	23	9	7
223	Neil Campbell	1	23	1	1
223	Vincenzo Loia	1	23	1	1
230	Rallou Thomopoulos	1	22	1	1
230	Jan von Plato	2	22	1	1
230	Patrice Buche	1	22	10	6
230	Ollivier Haemmerlé	1	22	10	6
234	Terceño Antonio	1	21	5	11
234	Roy T Cook	1	21	7	4
234	Alessandro Massolo	1	21	2	5
234	Giovanni Gallo	1	21	6	1
234	Jorge de Andrés-Sánchez	1	21	1	4
234	Anastasios G Bakirtzis	1	21	5	5
240	Sæed Salehi	2	20	4	4
240	Ivan Varzinczak	1	20	1	1
240	Paulo Oliva	1	20	1	1
240	Ulrich Kohlenbach	1	20	5	6
240	Federico Cuesta Rojo	1	20	1	1
240	Andreas Herzig	1	20	1	1
240	Jeremy Avigad	1	20	4	7
240	Begoña C Arrue	1	20	1	1
240	Bc Arrue	1	20	1	1
249	Jacob M Howe	2	19	7	10
249	Yasuo Narukawa	1	19	5	5
249	Victor Mitrana	1	19	11	12
249	Paris Mastorocostas	1	19	1	1
253	Dietmar Berwanger	1	18	4	4
253	Kanesan Muthusamy	1	18	1	1
253	Philippe Balbiani	1	18	4	4
253	Jiří Rosický	1	18	4	6
253	Dimiter Vakarelov	1	18	1	1
258	Lorenz Halbeisen	2	17	4	1
258	Philippe Mongin	1	17	1	1
258	Mirna Dzamonja	1	17	4	5
258	Alessandro Berarducci	1	17	1	1
258	Martin Peterson	1	17	7	7
258	Radim Bělohlávek	1	17	4	4
258	Domonkos Tikk	1	17	7	9
265	Viktor Verbovskiy	2	16	1	1
265	Shyi-Ming Chen	1	16	12	12
265	Kewen Wang	1	16	1	1
265	Simon Thomas	1	16	4	4
265	Plamen Parvanov Angelov	1	16	6	6
265	Nissim Francez	1	16	1	1
265	Ian E Pratt-Hartmann	1	16	1	1
265	Huan Huang	1	16	1	1
265	Thomas Meyer	1	16	1	1
265	Samir Chopra	1	16	1	1
276	Mark Siebel	1	15	3	1
276	Wojciech Buszkowski	1	15	4	4
276	John F Halpin	1	15	1	1
276	Ildar Batyrshin	1	15	1	1
276	Ildar Batyrshin	1	15	1	1
276	Jindrich Zapletal	1	15	1	1
282	Stefano Baratella	2	14	4	4
282	Wei-Yin Fei	1	14	4	4
282	Doron Zeilberger	1	14	1	1
282	Sergei Starchenko	1	14	1	1
286	Joao Araujo	1	13	5	5
286	Brian A Davey	1	13	5	5
286	Victor W Marek	1	13	5	7
286	Andrea Masini	1	13	4	4
286	James David D Mitchell	1	13	4	4
286	Vladimir V Rybakov	2	13	1	1
286	Won-Kyung Song	1	13	1	1
286	Michael Winter	1	13	7	6
286	Andrea Iacona	1	13	1	1
286	Alessandro Andretta	1	13	4	4
286	Yi-Dong Shen	1	13	1	1
286	J D Mitchell	1	13	4	4
286	Morteza Moniri	2	13	1	1
286	Jennifer Spenader	1	13	1	1
300	Andrei Vesnin	1	12	4	4
300	Amílcar C Sernadas	2	12	4	1
300	Jerzy Tiuryn	1	12	1	1
300	Cristina Sernadas	2	12	4	1
300	Jorge Elorza	1	12	1	1
300	Sven Helmer	1	12	4	5
300	Dexter Kozen	1	12	1	1
307	Wen-Fei Fan	1	11	9	12
307	Krzysztof Dyczkowski	1	11	1	1
307	Andreas Weiermann	1	11	1	1
307	Miroslav Ploščica	1	11	4	4
307	Pheng Ann Heng	1	11	10	13
307	Andrzej Indrzejczak	1	11	1	1
307	Daniel Steel	1	11	4	5
307	Peter Buneman	1	11	4	7
307	Maciej Wygralak	1	11	1	1
316	Jörg Brendle	2	10	4	5
316	Ingvar	1	10	1	1
316	Costas D Koutras	1	10	1	1
316	Bonifacio Llamazares	1	10	1	1
316	Jean-Yves Beziau	1	10	1	1
316	Iraj Kalantari	1	10	1	1
323	Cengiz Kahraman	1	9	8	10
323	Eszter K Horváth	2	9	4	4
323	Gábor Czédli	2	9	1	1
323	Andre Nies	1	9	6	5
323	Mourad Oussalah	1	9	11	10
323	Srećko Kovač	1	9	1	1
323	Boaz Tsaban	1	9	5	5
323	Nick Zangwill	1	9	1	1
323	George Barmpalias	2	9	1	1
323	Cafer Erhan Bozdag	1	9	2	2
323	Antonina Kolokolova	1	9	1	1
323	Stephen Cook	1	9	1	1
323	Hichem Maaref	1	9	5	5
336	Paul	1	8	1	1
336	Evgeny I Timoshenko	1	8	4	4
336	Eleftherios Tachtsis	2	8	1	1
336	Hisao Ishibuchi	1	8	10	10
336	Diderik Batens	1	8	1	1
336	Athanassios Tzouvaras	3	8	1	1
336	Ramon Jansana	1	8	1	1
336	Pascal Koiran	1	8	4	8
336	Ernest Teniente	1	8	10	8
336	Bart Van Kerkhove	1	8	1	1
346	Henri Gwet	1	7	1	1
346	Luis J J Rodriguez-Muñiz	1	7	7	10
346	Gonçalo Gutierres	1	7	1	1
346	Olgierd Hryniewicz	1	7	1	1
346	Massimo Warglien	1	7	2	4
346	Victor Rivas	1	7	1	1
346	Miguel López-Díaz	1	7	7	10
346	Ignacio Rojas	1	7	10	9
346	Juan Julián Merelo	1	7	1	1
346	Carla Piazza	1	7	10	11
346	Neil Tennant	1	7	6	6
346	Jose Carpio	1	7	1	1
346	George Gratzer	1	7	5	5
346	Pedro Castillo Valdivieso	1	7	10	6
346	Gustavo Romero López	1	7	10	10
346	James Cummings	1	7	1	1
346	Danila O Revin	1	7	1	1
346	Fabrizio Angiulli	1	7	1	1
346	Giovambattista B Ianni	1	7	4	4
346	Mateja Jamnik	1	7	4	1
346	Luigi Palopoli	1	7	8	9
346	Lloyd Humberstone	2	7	1	1
346	Robert Veroff	1	7	4	4
346	Manfred Kerber	1	7	1	1
346	Cosimo De Mitri	1	7	1	1
346	Ivan Tomasic	1	7	1	1
346	Josep Maria Font	1	7	4	5
346	Xavier Parent	1	7	1	1
346	Louis Aimé Fono	1	7	1	1
375	Luís F R Sequeira	1	6	1	1
375	Norihiro Kamide	1	6	1	1
375	Renata Wassermann	1	6	6	4
375	Sanjiang Li	3	6	6	7
375	Robert Lukas Mario Nieuwenhuis	1	6	7	7
375	Valentina S Harizanov	2	6	4	5
375	David M Evans	1	6	1	1
375	Anuj Dawar	1	6	6	6
375	Massoud Pourmahdian	1	6	1	1
375	Ahmed Bufardi	1	6	1	1
385	Zbigniew Lonc	1	5	6	6
385	Bas Luttik	1	5	1	1
385	German Vidal	1	5	8	9
385	Pierre Matet	1	5	1	1
385	Pascual Julián-Iranzo	1	5	1	1
385	Moreno Falaschi	1	5	10	10
385	Reinhard Kahle	1	5	1	1
385	MarÍa Alpuente	1	5	10	10
385	Richard A Shore	2	5	1	1
385	Vasily Safonov	1	5	1	1
385	Alberto Momigliano	1	5	6	10
385	Joseph E Bonin	1	5	4	6
385	Mihai Prunescu	2	5	1	1
385	Robert Goldblatt	2	5	4	5
385	Mohammad Ardeshir	2	5	1	1
385	Tangming Yuan	1	5	1	1
401	Sergey S Goncharov	1	4	4	5
401	Evgeny I Khukhro	1	4	5	5
401	Jacek Malinowski	2	4	1	1
401	Makarenko Ny	1	4	5	5
401	Roberto Maieli	1	4	4	4
401	Hwankoo Kim	1	4	1	1
401	Ofer Arieli	1	4	4	4
401	Nicola Dimitri	1	4	1	1
401	John Cantwell	1	4	1	1
401	Uwe Petersen	1	4	1	1
401	Antonio Montalbán	1	4	1	1
401	Khaled A Hashem	1	4	1	1
401	Tony Roark	1	4	1	1
415	Angsheng Li	2	3	4	1
415	Wlodek Rabinowicz	1	3	3	4
415	Kenji Tokuo	1	3	3	3
415	Luca Vigano	1	3	1	1
415	John T Baldwin	1	3	1	1
415	Jaroslav Peregrin	1	3	1	1
415	João Rasga	1	3	1	1
415	Alexander Berenstein	1	3	1	1
415	Michael C Laskowski	1	3	4	5
415	Wolfram Hinzen	2	3	3	5
415	Antonín Kučera	1	3	10	11
415	Ernesto Pimentel	1	3	10	13
415	Wiesław Kubiś	1	3	4	5
415	Lhouari Nourine	1	3	1	1
429	Karim Boulabiar	1	2	5	5
429	Sven Kosub	1	2	1	1
429	Vladimir Kanovei	1	2	4	6
429	Mario Benevides	1	2	1	1
429	Giorgio Volpe	1	2	1	1
429	Nicolas Peltier	1	2	6	6
429	Heribert Vollmer	1	2	8	9
429	Giacomo Bonanno	1	2	2	3
429	Enrique Casanovas	2	2	4	5
429	Akito Tsuboi	1	2	1	1
429	Jerzy Marcinkowski	1	2	1	1
440	Mojtaba Moniri	1	1	4	4
440	Kamal El-Saady	1	1	1	1
440	Ji-Chang Lo	1	1	2	4
440	Mauro Ferrari	1	1	1	1
440	Igor Dolinka	1	1	5	5
440	Lorenzo Traldi	1	1	1	1
440	Alexandra Shlapentokh	1	1	4	4
440	Camillo Fiorentini	1	1	4	6
440	Shamil T Ishmukhametov	1	1	1	1
440	Petr Vojtěchovský	2	1	4	4
440	Roger D Maddux	2	1	1	1
440	Justin Tatch Moore	1	1	1	1
440	Gerda Janssens	1	1	2	2
440	Benoit Larose	1	1	4	10
454	Cezary Cieśliński	1	0	1	0
454	Paweł Kawalec	3	0	1	0
454	Yongming Li	1	0	4	6
454	Jean Paul Van Bendegem	1	0	1	0
454	Andrzej Pietruszczak	1	0	1	0
454	Frank Stephan	1	0	8	11
454	Alessandro Provetti	1	0	7	10
454	Heinrich Wansing	1	0	1	0
454	Matthew Mckeon	1	0	1	0
454	Elisa Bertino	1	0	9	10
454	Jinzhao Wu	1	0	1	0
454	Valentín Gregori	1	0	4	4
454	Cong-hua Yan	1	0	1	0
454	Janusz Czelakowski	1	0	1	0
454	José Pastor Gimeno	1	0	1	0
454	Rami Grossberg	1	0	1	0
454	James H Schmerl	1	0	1	0
454	Richard Zach	1	0	4	4
454	Victor Pambuccian	1	0	4	5
454	Melvin Randall Holmes	1	0	1	0
454	Son Tran	1	0	1	0
454	Paul Thom	1	0	1	4
454	Yaroslav Shramko	1	0	1	0
454	Karel Hrbacek	1	0	1	0
454	Chitta Baral	1	0	1	0
454	Branden Fitelson	1	0	4	4
454	Bradd Hart	1	0	1	0

Journals

Authors

Affiliations

Citing Bodies

Logic

Top Authors (by citations)