Science Explorer Back to mapMap
Discussion
Researcher · Quviq (Sweden) · Sweden

Thomas Arts

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.

OpenAlex
World rank
#2,119,041
of 7,710,434 ranked researchers
Rank in Sweden
#27,401
of 71,437
Works
90
Citations
1.8k
Citations per work
20.4
h-index
20
i10-index 37Top 14% in Software
Thomas Arts

What does Thomas Arts research?

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

Physical Sciences: 77 works · 85.2% of their workComputer Science: 77 works · 85.2% of their workSoftware: 22 works · 24.3% of their workComputational Theory and Mathematics: 16 works · 17.3% of their workArtificial Intelligence: 14 works · 15.7% of their workComputer Networks and Communications: 11 works · 11.8% of their workInformation Systems: 9 works · 9.8% of their workHardware and Architecture: 6 works · 6.3% of their workEverything else: 13 works · 14.8% of their workTHEIR WORKThomas Arts90works
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 Science7785.2%
  2. Everything else1314.8%
  1. 1Software24% of their works
  2. 2Computational Theory and Mathematics17% of their works
  3. 3Artificial Intelligence16% of their works
  4. 4Computer Networks and Communications12% of their works
  5. 5Information Systems10% of their works
  6. 6Hardware and Architecture6% of their works

Research topics

Which keywords describe Thomas Arts's research?

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.

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.

All 18 words, with their numbers
  1. Model Checking512 topics
  2. Automated Testing351 topic
  3. Software Fault Localization351 topic
  4. Satisfiability Modulo Theories321 topic
  5. Symbolic Model Checker321 topic
  6. Distributed Systems252 topics
  7. Architecture-Based Approach221 topic
  8. Software Reliability Modeling221 topic
  9. Formal Verification191 topic
  10. Static Analysis191 topic
  11. Log Analysis161 topic
  12. Performance Prediction161 topic
  13. Code Clone Detection141 topic
  14. Refactoring141 topic
  15. Consistency91 topic
  16. Fault Tolerance91 topic
  17. Deadlock Prevention71 topic
  18. Petri Nets71 topic

Where does Thomas Arts work?

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

How many publications and citations does Thomas Arts have?

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.

Ranked on field-normalised 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 Arts. Posts are plain text and can be reported.