Science Explorer Back to mapMap
Discussion
Institution · Association for Symbolic Logic

Most cited papers from Association for Symbolic Logic

Association for Symbolic Logic

What are the most cited papers from Association for Symbolic Logic?

The most cited paper from Association for Symbolic Logic is "Cognitive control in media multitaskers" (Eyal Ophir, Clifford Nass, Anthony D. Wagner, 2009), with 1,804 citations. Next come "Formal Verification of Smart Contracts" (635) and "Stabilization Activities by Underwriters after Initial Public Offerings" (415).

Showing 50 of 62 papers. Every paper with more than 41 citations is listed.

Most cited papers, sortable by citations and release date
#Paper
1 Cognitive control in media multitaskers Eyal Ophir, Clifford Nass, Anthony D. Wagner · Proceedings of the National Academy of Sciences Open access 24 Aug 2009 1,804
2 Formal Verification of Smart Contracts Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. Conference paperOpen access 24 Oct 2016 635
3 Stabilization Activities by Underwriters after Initial Public Offerings Reena Aggarwal · The Journal of Finance Open access Jun 2000 415
4 MYH9-Related Disease Marco Seri et al. · Medicine Open access May 2003 315
5 Odorant-Induced and Sniff-Induced Activation in the Cerebellum of the Human Noam Sobel, Vivek Prabhakaran, Catherine A. Hartley et al. · Journal of Neuroscience Open access Nov 1998 254
6 A Fast Unified Model for Parsing and Sentence Understanding Samuel R. Bowman, Jon Gauthier, Abhinav Rastogi et al. Conference paperOpen access 2016 236
7 READING IN SPANISH AND ENGLISH: EVIDENCE FROM ADULT ESL STUDENTS Mark A. Clarke · Language Learning Jun 1979 209
8 Orthorexia nervosa in the general population: A preliminary screening using a self-administered questionnaire (ORTO-15) C Ramacciotti, Patrizia Susanna Mar Perrone, Elena Coli et al. · Eating and Weight Disorders - Studies on Anorexia Bulimia and Obesity Jun 2011 188
9 The Safety of Newer Antidepressants in Pregnancy and Breastfeeding Salvatore Gentile · Drug Safety 2005 178
10 Benzodiazepines for alcohol withdrawal Laura Amato, Silvia Minozzi, Simona Vecchi et al. · Cochrane Database of Systematic Reviews Open access 16 Mar 2010 168
11 Advanced applications of the holonomic systems approach Christoph Koutschan · ACM communications in computer algebra 24 Jun 2010 140
12 Robotic-assisted gait rehabilitation following stroke: a systematic review of current guidelines and practical clinical recommendations Rocco Salvatore Calabrò et al. · European Journal of Physical and Rehabilitation Medicine ReviewOpen access Jul 2021 134
13 Diagnostic accuracy and reproducibility of pleural and lung ultrasound in discriminating cardiogenic causes of acute dyspnea in the Emergency Department Gian Alfonso Cibinel, Giovanna Casoli, Fabrizio Elia et al. · Internal and Emergency Medicine 27 Oct 2011 132
14 Random forest Gini importance favours SNPs with large minor allele frequency: impact, sources and recommendations Anne‐Laure Boulesteix, Andreas Bender, Justo Lorenzo Bermejo et al. · Briefings in Bioinformatics Open access 10 Sep 2011 131
15 Kalèdo, a new educational board-game, gives nutritional rudiments and encourages healthy eating in children: a pilot cluster randomized trial Salvatore Amaro, Alessandro Viggiano, Alessandro Viggiano et al. · European Journal of Pediatrics 29 May 2006 131
16 Possible risk factors for primary adult onset dystonia: a case-control investigation by the Italian Movement Disorders Study Group Giovanni Defazio, Alfredo Berardelli, Giovanni Abbruzzese et al. · Journal of Neurology Neurosurgery & Psychiatry Open access 1998 129
17 Adverse Drug Reactions Related to the Use of Fluoroquinolone Antimicrobials Roberto Leone, Mauro Venegoni, Domenico Motola et al. · Drug Safety 2003 126
18 Remarks before the Princeton bicentennial conference on problems in mathematics (1946) Kurt Gudel, Solomon Feferman, John W Dawson et al. Book chapter 21 Jun 2001 117
19 Russell’s mathematical logic* (1944) Kurt Gudel, Solomon Feferman, John W Dawson et al. Book chapter 21 Jun 2001 111
20 Answering Complex Open-domain Questions Through Iterative Query Generation Peng Qi, Xiaowen Lin, Leo Mehr et al. Conference paperOpen access 2019 107
21 A Logical Approach to Reasoning by Analogy Todd R. Davies, Stuart Russell Open access 15 Jul 1987 104
22 Dysgeusia and health-related quality of life of cancer patients receiving chemotherapy: A cross-sectional study Elena Ponticelli, Marco Clari, Simona Frigerio et al. · European Journal of Cancer Care Open access 19 Jan 2017 100
23 Incidence and risk factors for severe and symptomatic hypoglycemia in type 1 diabetes. Results of the HYPOS-1 study HYPOS-1 Study Group of AMD, Carlo Bruno Giorda, Alessandro Ozzello et al. · Acta Diabetologica 11 Feb 2015 99
24 Introduction to Gröbner Bases Bruno Buchberger · Cambridge University Press eBooks Book chapter 26 Feb 1998 98
25 Leachate emissions of short- and long-chain per- and polyfluoralkyl substances (PFASs) from various Norwegian landfills Heidi Knutsen, Trond Mæhlum, Ketil Haarstad et al. · Environmental Science Processes & Impacts Open access 2019 90
26 Characteristics of patients with allergic polysensitization: the POLISMAIL study. Giorgio Ciprandi et al. · PubMed Nov 2008 88
27 Viral invasion of the amniotic cavity (VIAC) in the midtrimester of pregnancy Maria-Teresa Gervasi, Roberto J. Romero, Gabriella Bracalente et al. · The Journal of Maternal-Fetal & Neonatal Medicine Open access 30 May 2012 83
28 FTIR as a rapid tool for monitoring molecular weight distribution during enzymatic protein hydrolysis of food processing by-products Sileshi Gizachew Wubshet, Ingrid Måge, Ulrike Böcker et al. · Analytical Methods 2017 82
29 Epidemiological updates and economic losses due to Taenia hydatigena in sheep from Sardinia, Italy A. Scala, A. P. Pipia, Sylvain Doré et al. · Parasitology Research 13 May 2015 78
30 Combined Irinotecan and Oxaliplatin in Patients with Advanced Pre-Treated Pancreatic Cancer Maurizio Cantore, Carla Rabbi, G. Fiorentini et al. · Oncology 2004 77
31 The potential protective effect of tramiprosate (homotaurine) against Alzheimer's disease: a review. Carlo Caltagirone, Luigi Ferrannini, Niccolò Marchionni et al. · PubMed Dec 2012 74
32 Results of a Multicenter, Controlled, Randomized Clinical Trial Evaluating the Combination of Piperacillin/Tazobactam and Tigecycline in High-Risk Hematologic Patients With Cancer With Febrile Neutropenia Giampaolo Bucaneve et al. · Journal of Clinical Oncology Open access 15 Apr 2014 71
33 Fourier-transform infrared spectroscopy for characterization of protein chain reductions in enzymatic reactions Ulrike Böcker, Sileshi Gizachew Wubshet, Diana Lindberg et al. · The Analyst 2017 70
34 Adjunctive agomelatine therapy in the treatment of acute bipolar II depression: a preliminary open label study Michele Fornaro, Michael J. McCarthy, Domenico De Berardis et al. · Neuropsychiatric Disease and Treatment Open access Feb 2013 68
35 Faecal haemoglobin concentration among subjects with negative FIT results is associated with the detection rate of neoplasia at subsequent rounds: a prospective study in the context of population based screening programmes in Italy Carlo Senore et al. · Gut 27 Aug 2019 65
36 It’s going to be okay: Measuring Access to Support in Online Communities Zijian Wang, David Jurgens Conference paperOpen access 2018 65
37 On an extension of finitary mathematics which has not yet been used (1972) Kurt Gudel, Solomon Feferman, John W Dawson et al. Book chapter 21 Jun 2001 61
38 Social skills and neurocognitive individualized training in schizophrenia: comparison with structured leisure activities Silvana Galderisi, Giuseppe Piegari, Armida Mucci et al. · European Archives of Psychiatry and Clinical Neuroscience 13 Oct 2009 60
39 A meta-analysis and systematic review of randomized controlled trials with degarelix versus gonadotropin-releasing hormone agonists for advanced prostate cancer Alessandro Sciarra, Andrea Fasulo, Antonio Ciardi et al. · Medicine ReviewOpen access Jul 2016 58
40 The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory (1940) Kurt Gudel, Solomon Feferman, John W Dawson et al. Book chapter 21 Jun 2001 57
41 Conversational In-Vehicle Dialog Systems: The past, present, and future Fuliang Weng, Pongtep Angkititrakul, Elizabeth E. Shriberg et al. · IEEE Signal Processing Magazine Nov 2016 56
42 EUV Lithography Technology for High-volume Production of Semiconductor Devices Junji Miyazaki, Anthony Yen · Journal of Photopolymer Science and Technology Open access 24 Jun 2019 55
43 Characteristics of geriatric patients related to early and late readmissions to hospital Angelo Di Iorio, A. L. Longo, Alessandra Costanza et al. · Aging Clinical and Experimental Research Aug 1998 55
44 Are Distributional Representations Ready for the Real World? Evaluating Word Vectors for Grounded Perceptual Meaning Li Lucy, Jon Gauthier Conference paperOpen access 2017 53
45 Computer Music Languages, Kyma, and the Future Carla Scaletti · Computer Music Journal Dec 2002 52
46 Can ultrasound guidance reduce the risk of pneumothorax following thoracentesis? Alessandro Perazzo, Piergiorgio Gatto, CORNELIUS O. BARLASCINI et al. · Jornal Brasileiro de Pneumologia Open access 2014 51
47 Mie scatter corrections in single cell infrared microspectroscopy Tatiana Konevskikh, Rozália Lukács, R. Blümel et al. · Faraday Discussions Open access 16 Dec 2015 49
48 Automatic Classification of Restricted Lattice Walks Alin Bostan, Manuel Kauers · Discrete Mathematics & Theoretical Computer Science Open access 2009 46
49 Milk represents an important source of iodine in schoolchildren of the Veneto region, Italy M. E. Girelli, Patrick G. Coin, Caterina Mian et al. · Journal of Endocrinological Investigation Sep 2004 46
50 Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination Assia Mahboubi, Cyril Cohen · Logical Methods in Computer Science Open access 16 Feb 2012 45

Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for an institution when any of its authors gave it as an affiliation; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.