Eric W. Smith - Concepedia

Author

Eric W. Smith

Also Known As

E. Smith, E. W. Smith, E.W. Smith, ERIC SMITH, Eric Smith, Eric W. Smith, Eric Whitman Smith, Smith, Eric, Smith, Eric W.

Publications

273

Citations

H-Index

Concepts

All Affiliations

Eric W. Smith is an author at Stanford University specializing in computer science, engineering, and computer engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	140
2	Computer Science	5	5	140
3	Computer Engineering	4	4	121
4	Education	1	1	19
5	Data Science	1	1	19

Eric W. Smith

Publications

150

Citations

H-Index

Page 1

	Year	Citations
A robust machine code proof framework for highly secure applications David Hardin, Eric W. Smith, William D. Young EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification	2006	39
A software platform for fractionated spacecraft Abhishek Dubey, William Emfinger, Aniruddha Gokhale, Software PlatformCluster ComputingEngineeringSpacecraft ArchitectureComputer Architecture	2012	31
Automatic Formal Verification of Block Cipher Implementations Eric W. Smith, David L. Dill Cryptographic PrimitiveEngineeringVerificationComputer-aided VerificationBlock Cipher	2008	26
Run-Time Assurance for Learning-Based Aircraft Taxiing Darren Cofer, Isaac Amundson, Ramachandra Sattigeri, Aircraft SystemsEngineeringAircraft NavigationVerificationComputer Engineering	2020	25
Crowd-scale interactive formal reasoning and analytics Ethan Fast, Colleen Lee, Alex Aiken, Large Online CoursesEngineeringVerificationEducationSoftware Analysis	2013	19
Spectral Analysis of Surface Waves with Simultaneous Fiber Optic Distributed Acoustic Sensing and Vertical Geophones R. Daniel Costley, Gustavo Galan-Comas, Clay K. Kirkendall, Journal of Environmental and Engineering Geophysics	2018	10

Page 1