Question 1

What does Thomas Arts research?

Accepted Answer

Thomas Arts publishes mostly in Software, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Software Testing and Debugging Techniques, Formal Methods in Verification and Software Reliability and Analysis Research.

Question 2

Which keywords describe Thomas Arts's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Automated Testing, Software Fault Localization, Satisfiability Modulo Theories, Symbolic Model Checker, Distributed Systems, Architecture-Based Approach and Software Reliability Modeling.

Question 3

Where does Thomas Arts work?

Accepted Answer

Thomas Arts's main affiliation in the publication record is Quviq (Sweden), Sweden.

Question 4

How many publications and citations does Thomas Arts have?

Accepted Answer

OpenAlex counts 90 works and 1,833 citations for Thomas Arts, an h-index of 20, ranking #2,119,041 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Thomas Arts's h-index high?

Accepted Answer

An h-index of 20 is at or above that of 88% of the 2,715 ranked researchers whose main subfield is Software, which is in the top 14%.