Eric Whitman Smith

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 2

Top Topics

Information Visualization

Three Dimensional

Missing Information

Top Venues

Publications

Ruben Gamboa, Panagiotis Manolios, Eric Whitman Smith, Kyle Thompson
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses. CoRR (2023)
Alessandro Coglio, Matt Kaufmann, Eric Whitman Smith
A Versatile, Sound Tool for Simplifying Definitions. ACL2 (2017)
Eric Whitman Smith, David L. Dill
Automatic Formal Verification of Block Cipher Implementations. FMCAD (2008)
Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J Strother Moore, Eric Whitman Smith
Meta Reasoning in ACL2. TPHOLs (2005)