Scott F. Smith

Cited by

	All	Since 2020
Citations	7191	710
h-index	33	13
i10-index	59	17

320

160

240

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202568 62 100 91 120 152 144 140 153 183 240 224 313 265 214 222 209 242 207 287 211 263 271 201 162 189 209 186 168 178 210 171 126 155 132 128 116 142 174 18

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ian A. MasonSenior Computer Scientist, SRI InternationalVerified email at csl.sri.com
William L. JorgensenSterling Professor of Chemistry, Yale UniversityVerified email at yale.edu
Yu David LiuProfessor of Computer Science, SUNY BinghamtonVerified email at cs.binghamton.edu
Rance CleavelandDepartment of Computer Science, University of MarylandVerified email at cs.umd.edu
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Gul AghaProfessor of Comp. Science, University of Illinois at Urbana-Champaign & Chief Scientist StructureIQVerified email at illinois.edu
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr
Kim BruceEmeritus Professor of Computer Science, Pomona CollegeVerified email at pomona.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
François PottierInria ParisVerified email at inria.fr
David Van HornUniversity of MarylandVerified email at cs.umd.edu
Jens PalsbergUniversity of California, Los Angeles (UCLA)Verified email at ucla.edu
Jonathan ShapiroDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Carolyn TalcottSRI International

Scott F. Smith

Professor of Computer Science, The Johns Hopkins University

Verified email at cs.jhu.edu - Homepage

Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Prentice-Hall, 1986	2338	1986
A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997	717	1997
Theoretical examination of the SN2 reaction involving chloride ion and methyl chloride in the gas phase and aqueous solution J Chandrasekhar, SF Smith, WL Jorgensen Journal of the American Chemical Society 107 (1), 154-163, 1985	507	1985
On Binary Methods K Bruce, L Cardelli, G Castagna, J Eifrig, GT Leavens, B Pierce, S Smith, ... Theory and Practice of Object Systems 1 (3), 221-242, 1995	344	1995
SN2 reaction profiles in the gas phase and aqueous solution J Chandrasekhar, SF Smith, WL Jorgensen Journal of the American Chemical Society 106 (10), 3049-3050, 1984	326	1984
Sound polymorphic type inference for objects J Eifrig, S Smith, V Trifonov Proceedings of the tenth annual conference on Object-oriented programming …, 1995	184	1995
Towards a theory of actor computation G Agha, IA Mason, S Smith, C Talcott CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992	165	1992
Subtyping constrained types V Trifonov, S Smith Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996	155	1996
Type inference for recursively constrained types and its application to OOP J Eifrig, S Smith, V Trifonov Electronic Notes in Theoretical Computer Science 1, 132-153, 1995	145	1995
Dynamic dependency monitoring to secure information flow P Shroff, S Smith, M Thober 20th IEEE Computer Security Foundations Symposium (CSF'07), 203-217, 2007	130	2007
Partial objects in constructive type theory RL Constable, SF Smith Cornell University, 1987	125	1987
Ab initio study of acid-base interactions. Proton, lithium, and sodium affinities of first-and second-row bases SF Smith, J Chandrasekhar, WL Jorgensen The Journal of Physical Chemistry 86 (17), 3308-3318, 1982	124	1982
Precise constraint-based type inference for Java T Wang, SF Smith European Conference on Object-Oriented Programming, 99-117, 2001	109	2001
History effects and verification C Skalka, S Smith Asian Symposium on Programming Languages and Systems, 107-128, 2004	102	2004
A variable typed logic of effects F Honsell, IA Mason, S Smith, C Talcott Information and computation 119 (1), 55-90, 1995	99	1995
Static enforcement of security with types C Skalka, S Smith Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000	97	2000
From operational semantics to domain theory IA Mason, SF Smith, CL Talcott Information and Computation 128 (1), 26-47, 1996	89	1996
A systematic approach to static access control F Pottier, C Skalka, S Smith Programming Languages and Systems: 10th European Symposium on Programming …, 2001	79	2001
Computational foundations of basic recursive function theory RL Constable, SF Smith Theoretical Computer Science 121 (1-2), 89-112, 1993	69*	1993
Understanding, detecting and localizing partial failures in large system software C Lou, P Huang, S Smith 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020	68	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors