AS

Aaron Stump

University of Iowa 0000-0002-9720-0003

127

Publications

3,951

Citations

25

h-index

40

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (77)
Book Chapter (30)
Preprint (15)
Book (3)
Dataset (1)

Filter by Open Access Type

Open Access (46)
Closed Access (81)

Filter by Authors

Aaron Stump (127)
Clark Barrett (15)
David L. Dill (10)
Chris Jenkins (10)
Harley Eades (7)

Filter by Topics

Logic, programming, and type systems (105)
Formal Methods in Verification (58)
Logic, Reasoning, and Knowledge (56)
Parallel Computing and Optimization Techniques (13)
Advanced Database Systems and Queries (13)