SK
Sriram K. Rajamani
0000-0002-1400-7065208
Publications
10,837
Citations
55
h-index
108
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (141)
- Book Chapter (48)
- Preprint (12)
- Book (4)
- Dataset (2)
Filter by Open Access Type
- Open Access (43)
- Closed Access (164)
Filter by Authors
- Sriram K. Rajamani (207)
- Aditya V. Nori (32)
- Thomas Ball (28)
- Shaz Qadeer (23)
- Thomas A. Henzinger (20)
Filter by Topics
- Formal Methods in Verification (77)
- Software Testing and Debugging Techniques (71)
- Software Reliability and Analysis Research (39)
- Software Engineering Research (36)
- Logic, programming, and type systems (35)