Science Explorer Back to mapMap
Discussion
Researcher · University of Wisconsin–Madison · United States

Thomas Reps

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.

ORCID 0000-0002-5676-9949 OpenAlex
World rank
#25,055
of 7,710,434 ranked researchers
Rank in United States
#9,352
of 1,627,098
Works
456
Citations
21k
Citations per work
45.7
h-index
71
i10-index 235Top 0.2% in Artificial Intelligence
Thomas Reps

What does Thomas Reps research?

Thomas Reps's work is mostly in Computer Science (85%).

Physical Sciences: 389 works · 85.4% of their workComputer Science: 389 works · 85.4% of their workArtificial Intelligence: 110 works · 24.2% of their workSoftware: 98 works · 21.6% of their workComputational Theory and Mathematics: 72 works · 15.7% of their workInformation Systems: 48 works · 10.6% of their workHardware and Architecture: 33 works · 7.2% of their workComputer Networks and Communications: 28 works · 6.1% of their workEverything else: 67 works · 14.6% of their workTHEIR WORKThomas Reps456works
Physical Sciences85%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science38985.4%
  2. Everything else6714.6%
  1. 1Artificial Intelligence24% of their works
  2. 2Software22% of their works
  3. 3Computational Theory and Mathematics16% of their works
  4. 4Information Systems11% of their works
  5. 5Hardware and Architecture7% of their works
  6. 6Computer Networks and Communications6% of their works

Research topics

Which keywords describe Thomas Reps's research?

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.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking3032 topics
  2. Automated Testing1781 topic
  3. Software Fault Localization1781 topic
  4. Machine Learning1672 topics
  5. Satisfiability Modulo Theories1591 topic
  6. Symbolic Model Checker1591 topic
  7. Formal Verification1441 topic
  8. Static Analysis1441 topic
  9. Code Clone Detection1101 topic
  10. Refactoring1101 topic
  11. Architecture-Based Approach751 topic
  12. Software Reliability Modeling751 topic
  13. Parallel Computing661 topic
  14. Performance Optimization661 topic
  15. Android Malware571 topic
  16. Detection571 topic
  17. Security Policies501 topic
  18. Side-Channel Attacks501 topic

Where does Thomas Reps work?

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

How many publications and citations does Thomas Reps have?

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.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Thomas Reps. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.