Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(73)
Jürgen Giesl
6
John Hughes
6
Clara Benac Earle
5
Hans Eric Svensson
5
Koen Lindstrom Claessen
4
Conferences
(17)
ERLANG
7
RTA
4
IFL
3
ACSD
3
FM
2
Journals
(11)
STTT
4
SIGPLAN
2
JSC
1
AAECC
1
TCS
1
Keywords
(149)
Embed
Subscribe
Academic
Authors
Thomas Arts
Edit
Thomas Arts
Chalmers University of Technology
Publications: 66
|
Citations: 930
|
G-Index: 29
|
H-Index: 16
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Programming Languages
,
Software Engineering
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
73 co-authors
from 1992 to 2011
; Cited by
530 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(66)
BibTeX
|
RIS
|
RefWorks
Download
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
(
Citations: 1
)
Laura M. Castro
,
Thomas Arts
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 271, pp. 41-62, 2011
Agile Collaborative Research: Action Principles for Industry-Academia Collaboration
Anna B. Sandberg
,
Lars Pareto
,
Thomas Arts
Journal:
IEEE Software - MS
, vol. 28, no. 4, pp. 74-83, 2011
Extracting Properties from Test Cases by Refactoring
Huiqing Li
,
Simon Thompson
,
Thomas Arts
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2011
A Classification of Value for Software Architecture Decisions
Ulrik Eklund
,
Thomas Arts
Conference:
European Conference on Software Architecture - ECSA
, pp. 368-375, 2010
From test cases to FSMs: augmented test-driven development and property inference
Thomas Arts
,
Simon Thompson
Published in 2010.
Order by:
Citations
(930 times by 562 publications)
Automated termination proofs for haskell by term rewriting
(
Citations: 4
)
Jürgen Giesl
,
Matthias Raffelsieper
,
Peter Schneider-Kamp
,
Stephan Swiderski
,
René Thiemann
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 33, no. 2, pp. 1-39, 2011
Formally based tool support for model checking Erlang applications
(
Citations: 1
)
Qiang Guo
,
John Derrick
Published in 2011.
Levels of undecidability in rewriting
Jörg Endrullis
,
Herman Geuvers
,
Jakob Grue Simonsen
,
Hans Zantema
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 2, pp. 227-245, 2011
Agile Collaborative Research: Action Principles for Industry-Academia Collaboration
Anna B. Sandberg
,
Lars Pareto
,
Thomas Arts
Journal:
IEEE Software - MS
, vol. 28, no. 4, pp. 74-83, 2011
Proving Termination by Dependency Pairs and Inductive Theorem Proving
Carsten Fuhs
,
Jürgen Giesl
,
Michael Parting
,
Peter Schneider-Kamp
,
Stephan Swiderski
Published in 2011.
Comments