Statistics
Publications
27
Citations
2.9K
H-Index
18
Active since
1999
Aaron Stump is an author at University of Iowa specializing in computer science, computing, and formal methods.
Publications per year
1999–2018
27
27
Aerosol-assisted self-assembly of mesostructured spherical nanoparticles
Yunfeng Lu, Hongyou Fan, Aaron Stump et al. · Nature · 1999 · 978 citations · Full text
Natural Sciences, Materials Engineering, Materials Science +14
The SMT-LIB Standard Version 2.0
Clark Barrett, Aaron Stump, Cesare Tinelli · 2010 · 722 citations
Rapid prototyping of patterned functional nanostructures
Hongyou Fan, Yunfeng Lu, Aaron Stump et al. · Nature · 2000 · 393 citations · Full text
Natural Sciences, Materials Engineering, Materials Science +14
A decision procedure for an extensional theory of arrays
Aaron Stump, Clark Barrett, David L. Dill et al. · 2002 · 136 citations
Roadmap for enhanced languages and methods to aid verification
Gary T. Leavens, Jean-Raymond Abrial, Don Batory et al. · 2006 · 69 citations
1–5 of 27