Question 1

What does Thomas Reps research?

Accepted Answer

Thomas Reps publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Software Testing and Debugging Techniques, Formal Methods in Verification and Logic, programming, and type systems.

Question 2

Which keywords describe Thomas Reps's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Automated Testing, Software Fault Localization, Machine Learning, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification and Static Analysis.

Question 3

Where does Thomas Reps work?

Accepted Answer

Thomas Reps's main affiliation in the publication record is University of Wisconsin–Madison, United States.

Question 4

How many publications and citations does Thomas Reps have?

Accepted Answer

OpenAlex counts 456 works and 20,835 citations for Thomas Reps, an h-index of 71, ranking #25,055 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Thomas Reps's h-index high?

Accepted Answer

An h-index of 71 is at or above that of 99.8% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 0.2%.