Thomas Reps
About
Thomas Reps has authored 135 papers that have received a total of 4.9k indexed citations.
This includes 76 papers in Artificial Intelligence, 73 papers in Software and 54 papers in Computational Theory and Mathematics. The topics of these papers are Software Testing and Debugging Techniques (68 papers), Logic, programming, and type systems (49 papers) and Formal Methods in Verification (48 papers). Thomas Reps is often cited by papers focused on Software Testing and Debugging Techniques (68 papers), Logic, programming, and type systems (49 papers) and Formal Methods in Verification (48 papers) and collaborates with scholars based in United States, Israel and Germany. Thomas Reps's co-authors include Susan Horwitz, Tim Teitelbaum, Mooly Sagiv, Reinhard Wilhelm and Junghee Lim and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Software Engineering and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Marc B. Garnick Top journals papers by Christopher J. Milne are published in Top fields papers by Eduardo Júlio are about Top fields papers by Kay Tanaka are about Top journals papers by Elias Saion are published in Top fields papers by Kimmo Aho are about Top fields papers by Elizabeth J. Cartwright are about Top journals papers by Mitsuharu Tabuchi are published in