Aaron Stump
University of Iowa(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Parallel Computing and Optimization Techniques, Advanced Database Systems and Queries
Most-Cited Works
- The SMT-LIB Standard Version 2.0(2010)
- → CVC: A Cooperating Validity Checker(2002)198 cited
- → StarExec: A Cross-Community Infrastructure for Logic Solving(2014)173 cited
- → Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT(2002)148 cited
- → A decision procedure for an extensional theory of arrays(2002)135 cited
- → SMT-COMP: Satisfiability Modulo Theories Competition(2005)97 cited
- → Roadmap for enhanced languages and methods to aid verification(2006)69 cited
- → SMT proof checking using a logical framework(2012)57 cited
- → 6 Years of SMT-COMP(2012)54 cited
- → A Generalization of Shostak#x2019;s Method for Combining Decision Procedures(2002)54 cited