AS
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)