TR

Thomas Reps

University of Wisconsin–Madison 0000-0002-5676-9949

454

Publications

20,613

Citations

71

h-index

231

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (260)
Book Chapter (120)
Preprint (47)
Dataset (12)
Book (6)

Filter by Open Access Type

Open Access (217)
Closed Access (237)

Filter by Authors

Thomas Reps (454)
Mooly Sagiv (61)
Susan Horwitz (42)
Tim Teitelbaum (41)
Somesh Jha (33)

Filter by Topics

Software Testing and Debugging Techniques (177)
Formal Methods in Verification (160)
Logic, programming, and type systems (147)
Software Engineering Research (113)
Software Reliability and Analysis Research (77)