Concepedia

Thomas Arts

TA

Statistics

Publications

23

Citations

1.4K

H-Index

16

Active since

2000

Affiliations

Chalmers University of Technology(Current)

Ericsson (Sweden)

Universidade da Coruña

University of Gothenburg

Thomas Arts is an author at Chalmers University of Technology specializing in computing, computer science, and formal methods.

Publications per year

2000–2016

23

Publications

23

Termination of term rewriting using dependency pairs

Thomas Arts, Jürgen Giesl · Theoretical Computer Science · 2000 · 498 citations

Language Studies, Linguistics, Formal Methods +4

Testing telecoms software with quviq QuickCheck

Thomas Arts, John Hughes, Joakim Johansson et al. · 2006 · 184 citations

Computing, Computer Science, Computer Systems +10

Agile Collaborative Research: Action Principles for Industry-Academia Collaboration

Anna Sandberg, Lars Pareto, Thomas Arts · IEEE Software · 2011 · 111 citations

Management, Innovation Management, Organization Studies +17

Modular Termination Proofs for Rewriting Using Dependency Pairs

Jürgen Giesl, Thomas Arts, Enno Ohlebusch · Journal of Symbolic Computation · 2002 · 75 citations

Computing, Computer Science, Formal Methods +8

Finding race conditions in Erlang with QuickCheck and PULSE

Koen Claessen, Nicholas Smallbone, John Hughes et al. · 2009 · 66 citations

Computing, Computer Science, Computer Systems +12

1–5 of 23