Scott F. Smith

Cited by

	All	Since 2017
Citations	6632	696
h-index	31	12
i10-index	54	17

300

150

225

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202230 68 57 90 90 114 140 139 128 158 193 239 236 284 271 213 222 202 234 191 268 212 253 271 200 172 189 216 191 167 181 204 167 130 151 128 118 2

Public access

View all

3 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 Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Giuseppe CastagnaDirecteur de Recherche CNRS, Université de ParisVerified email at irif.fr
Kim BruceProfessor 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, ... Nuprl Proof Develop, 1986	2206	1986
A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of Functional Programming 7 (1), 1-72, 1997	684	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	473	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	345	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	297	1984
Sound polymorphic type inference for objects J Eifrig, S Smith, V Trifonov Proceedings of the tenth annual conference on Object-oriented programming …, 1995	175	1995
Towards a theory of actor computation G Agha, IA Mason, S Smith, C Talcott International Conference on Concurrency Theory, 565-579, 1992	150	1992
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	141	1995
Subtyping constrained types V Trifonov, S Smith International Static Analysis Symposium, 349-365, 1996	138	1996
Dynamic dependency monitoring to secure information flow P Shroff, S Smith, M Thober 20th IEEE Computer Security Foundations Symposium (CSF'07), 203-217, 2007	120	2007
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	119	1982
Partial objects in constructive type theory RL Constable, SF Smith Cornell University, 1987	113	1987
Precise constraint-based type inference for Java T Wang, SF Smith European Conference on Object-Oriented Programming, 99-117, 2001	102	2001
A variable typed logic of effects F Honsell, IA Mason, S Smith, C Talcott Information and Computation 119 (1), 55-90, 1995	95	1995
Static enforcement of security with types C Skalka, S Smith Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000	93	2000
History effects and verification C Skalka, S Smith Asian Symposium on Programming Languages and Systems, 107-128, 2004	91	2004
A systematic approach to static access control F Pottier, C Skalka, S Smith European Symposium on Programming, 30-45, 2001	80	2001
From operational semantics to domain theory IA Mason, SF Smith, CL Talcott Information and Computation 128 (1), 26-47, 1996	80	1996
Computational foundations of basic recursive function theory RL Constable, SF Smith Theoretical Computer Science 121 (1-2), 89-112, 1993	62*	1993
Partial objects in type theory SF Smith Cornell University, 1988	59	1988

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 this author

Cited by

Co-authors