335
Publications
8,052
Citations
48
h-index
119
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (218)
- Book Chapter (63)
- Preprint (41)
- Book (4)
- Review (3)
Filter by Open Access Type
- Open Access (133)
- Closed Access (202)
Filter by Authors
- Ashish Tiwari (335)
- Sumit Gulwani (53)
- Arjun Radhakrishna (21)
- Radu Grosu (19)
- Scott A. Smolka (19)
Filter by Topics
- Formal Methods in Verification (83)
- Financial Markets and Investment Strategies (51)
- Logic, programming, and type systems (50)
- Software Testing and Debugging Techniques (36)
- Software Engineering Research (24)