Thomas Arts
Impact in
- Software top 1%
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
-
- Formal Methods in Verification
Papers in
- Software 32
- Software Testing and Debugging Techniques 27
- Software Reliability and Analysis Research 17
-
- Logic, programming, and type systems 20
- Co-authors
- Jürgen Giesl (7 shared papers)John Hughes (12 shared papers)Joakim Johansson (1 shared paper)H. Svensson (10 shared papers)Lars Pareto (1 shared paper)Anna Sandberg (1 shared paper)Clara Benac Earle (6 shared papers)Lars‐Åke Fredlund (6 shared papers)
In The Last Decade
Thomas Arts
64 papers receiving 1.3k citations
Peers
Comparison fields: 5 of 47
- Software 474
- Computational Theory and Mathematics 681
- Artificial Intelligence 905
- Hardware and Architecture 148
- Computer Networks and Communications 321
Countries citing papers authored by Thomas Arts
This map shows the geographic impact of Thomas Arts's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Thomas Arts with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Thomas Arts more than expected).
Fields of papers citing papers by Thomas Arts
This network shows the impact of papers produced by Thomas Arts. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Thomas Arts. The network helps show where Thomas Arts may publish in the future.
Co-authors
The 25 scholars most cited alongside Thomas Arts, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 67 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2000 | 379 | |
| 2 | 2006 | 134 | |
| 3 | 2011 | 84 | |
| 4 | 2002 | 57 | |
| 5 | 2009 | 48 | |
| 6 | 2001 | 40 | |
| 7 | 2015 | 39 | |
| 8 | 1997 | 37 | |
| 9 | 1997 | 37 | |
| 10 | 2008 | 32 | |
| 11 | 2003 | 28 | |
| 12 | 2004 | 26 | |
| 13 | 1996 | 25 | |
| 14 | 2010 | 21 | |
| 15 | Automatically proving termination and innermost normalisation of term rewriting systems | 2001 | 21 |
| 16 | 2016 | 21 | |
| 17 | 2002 | 20 | |
| 18 | 1999 | 20 | |
| 19 | 2005 | 19 | |
| 20 | 2002 | 18 |
About Thomas Arts
Thomas Arts is a scholar working on Software, Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications and Information Systems, having authored 67 papers that have together received 1.4k indexed citations. Recurring topics across this work include Software Testing and Debugging Techniques (27 papers), Formal Methods in Verification (27 papers), Logic, programming, and type systems (20 papers), Software Reliability and Analysis Research (17 papers), Software System Performance and Reliability (13 papers), Software Engineering Research (11 papers), Distributed systems and fault tolerance (9 papers) and Petri Nets in System Modeling (6 papers). The work is most often cited by research in Software (474 citations), Computational Theory and Mathematics (681 citations), Artificial Intelligence (905 citations), Hardware and Architecture (148 citations) and Computer Networks and Communications (321 citations). Thomas Arts has collaborated with scholars based in Sweden, Spain and Germany. Frequent co-authors include Jürgen Giesl, John Hughes, Joakim Johansson, H. Svensson, Lars Pareto, Anna Sandberg, Clara Benac Earle, Lars‐Åke Fredlund, Ulf Norell and Enno Ohlebusch. Their work appears in journals such as International Journal on Software Tools for Technology Transfer, Lecture notes in computer science, ACM SIGPLAN Notices, Journal of Logical and Algebraic Methods in Programming and IEEE Software.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.