Thomas Arts

Cited by

	All	Since 2015
Citations	2918	797
h-index	25	12
i10-index	49	17

220

110

165

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920209 6 27 33 60 70 94 77 122 112 127 130 212 150 164 142 147 116 151 134 140 116 134 146 145 116

Co-authors

Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Hans SvenssonQuviq ABVerified email at quviq.com
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Lars-Åke FredlundUniversidad Politécnica de MadridVerified email at fi.upm.es
Simon ThompsonSenior Research Lead, IOHK; Professor of Logic and Computation, University of Kent, UKVerified email at kent.ac.uk
Ulf WigerWiger Pilotti Unlimited ABVerified email at wiger.net
Clara Benac EarleUniversidad Politécnica de MadridVerified email at babel.ls.fi.upm.es
Mads DamProfessor of Teleinformatics, KTH - Royal Institute of TechnologyVerified email at kth.se
Huiqing LiSchool of ComputingVerified email at kent.ac.uk
Nick SmallboneChalmers University of TechnologyVerified email at chalmers.se
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Laura M. CastroAssociate Professor of Computer Science, Universidade da CoruñaVerified email at udc.es
Dilian GurovAssociate Professor of Computer Science, KTH Royal Institute of TechnologyVerified email at kth.se
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
hans zantemaEindhoven university of technologyVerified email at tue.nl
Rolf JohanssonResearcher, SPVerified email at sp.se
Enno OhlebuschProfessor for Theoretical Bioinformatics, University of UlmVerified email at uni-ulm.de
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of GothenburgVerified email at chalmers.se
Anna Börjesson SandbergGothenburg UniversityVerified email at ericsson.com

Thomas Arts

Professor of Software Engineering, Chalmers

Verified email at quviq.com


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Termination of term rewriting using dependency pairs T Arts, J Giesl Theoretical computer science 236 (1-2), 133-178, 2000	708	2000
Tool support for refactoring functional programs H Li, C Reinke, S Thompson Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 27-38, 2003	225*	2003
Testing telecoms software with Quviq QuickCheck T Arts, J Hughes, J Johansson, U Wiger Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, 2-10, 2006	211	2006
Half-metallic to insulating behavior of rare-earth nitrides CM Aerts, P Strange, M Horne, WM Temmerman, Z Szotek, A Svane Physical Review B 69 (4), 045115, 2004	159	2004
Modular termination proofs for rewriting using dependency pairs J Giesl, T Arts, E Ohlebusch Journal of symbolic computation 34 (1), 21-58, 2002	94	2002
Automatically proving termination where simplification orderings fail T Arts, J Giesl Colloquium on Trees in Algebra and Programming, 261-272, 1997	91	1997
Finding race conditions in Erlang with QuickCheck and PULSE K Claessen, M Palka, N Smallbone, J Hughes, H Svensson, T Arts, ... ACM Sigplan Notices 44 (9), 149-160, 2009	82	2009
Verification of Erlang processes by dependency pairs J Giesl, T Arts Applicable Algebra in Engineering, Communication and Computing 12 (1-2), 39-72, 2001	77	2001
Proving innermost normalisation automatically T Arts, J Giesl International Conference on Rewriting Techniques and Applications, 157-171, 1997	77	1997
Agile collaborative research: Action principles for industry-academia collaboration A Sandberg, L Pareto, T Arts IEEE software 28 (4), 74-83, 2011	70	2011
A collection of examples for termination of term rewriting using dependency pairs T Arts, J Giesl	57	2001
Automatically proving termination and innermost normalisation of term rewriting systems THJJ Arts Universiteit Utrecht, 1997	57	1997
A verification tool for Erlang LÅ Fredlund, D Gurov, T Noll, M Dam, T Arts, G Chugunov International Journal on Software Tools for Technology Transfer 4 (4), 405-420, 2003	53*	2003
Testing AUTOSAR software with QuickCheck T Arts, J Hughes, U Norell, H Svensson 2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015	51	2015
Testing erlang data types with quviq quickcheck T Arts, LM Castro, J Hughes Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 1-8, 2008	51	2008
Termination of logic programs using semantic unification T Arts, H Zantema International Workshop on Logic Programming Synthesis and Transformation …, 1995	49	1995
A classification framework for component models I Crnkovic, M Chaudron, S Sentilles, A Vulgarakis Software Engineering Research and Practice in Sweden, 3, 2007	48	2007
Verifying a distributed database lookup manager written in Erlang T Arts, M Dam International Symposium on Formal Methods, 682-700, 1999	43	1999
Development of a verified Erlang program for resource locking T Arts, CB Earle, J Derrick International Journal on Software Tools for Technology Transfer 5 (2-3), 205-220, 2004	42	2004
Modularity of termination using dependency pairs T Arts, J Giesl International Conference on Rewriting Techniques and Applications, 226-240, 1998	37	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors