Scott F. Smith

Cited by

	All	Since 2019
Citations	7043	725
h-index	33	13
i10-index	58	17

320

160

240

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202430 68 62 98 91 119 150 140 142 153 187 237 229 311 261 214 222 211 241 201 278 212 269 270 204 167 189 209 186 168 177 210 169 127 155 132 129 120 147 42

Public access

View all

5 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-Champaign and CEO EmbedorVerified 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	2327	1986
A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997	702	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	492	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	340	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	314	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	161	1992
Subtyping constrained types V Trifonov, S Smith Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996	152	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	142	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
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
Partial objects in constructive type theory RL Constable, SF Smith Cornell University, 1987	122	1987
Precise constraint-based type inference for Java T Wang, SF Smith European Conference on Object-Oriented Programming, 99-117, 2001	107	2001
A variable typed logic of effects F Honsell, IA Mason, S Smith, C Talcott Information and computation 119 (1), 55-90, 1995	100	1995
History effects and verification C Skalka, S Smith Asian Symposium on Programming Languages and Systems, 107-128, 2004	96	2004
Static enforcement of security with types C Skalka, S Smith Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000	94	2000
From operational semantics to domain theory IA Mason, SF Smith, CL Talcott Information and Computation 128 (1), 26-47, 1996	88	1996
A systematic approach to static access control F Pottier, C Skalka, S Smith Programming Languages and Systems: 10th European Symposium on Programming …, 2001	80	2001
Computational foundations of basic recursive function theory RL Constable, SF Smith Theoretical Computer Science 121 (1-2), 89-112, 1993	69*	1993
Types and trace effects of higher order programs C Skalka, S Smith, D Van Horn Journal of Functional Programming 18 (2), 179-249, 2008	64	2008

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