T. Arts
发表
T. Arts,
2001
.
Ulf Norell,
Benjamin C. Pierce,
John Hughes,
2016,
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
T. Arts,
C. Holmqvist,
2004
.
Wojciech Mostowski,
T. Arts,
M. Mousavi,
2021,
ICTSS.
Jürgen Giesl,
Thomas Arts,
J. Giesl,
1996,
RTA.
Magnus Jonsson,
Thomas Arts,
Jonny Vinter,
2013,
ES4CPS@DATE.
Thomas Arts,
Lars Pareto,
Anna Börjesson Sandberg,
2011,
IEEE Software.
Agneta Nilsson,
Thomas Arts,
Laura M. Castro,
2013,
International Journal on Software Tools for Technology Transfer.
Thomas Arts,
T. Arts,
2008
.
Thomas Arts,
Stefano Tonetta,
T. Arts,
2015,
SAFECOMP.
Jürgen Giesl,
Thomas Arts,
J. Giesl,
2000,
Theor. Comput. Sci..
Enno Ohlebusch,
Jürgen Giesl,
Thomas Arts,
2002,
J. Symb. Comput..
Jürgen Giesl,
Thomas Arts,
J. Giesl,
1998,
RTA.
John Hughes,
Thomas Arts,
Joakim Johansson,
2006,
ERLANG '06.
Thomas Arts,
Clara Benac Earle,
Juan José Sánchez Penas,
2004,
Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004..
Nicolae Paladi,
Thomas Arts,
T. Arts,
2009,
Erlang Workshop.
Lars-Åke Fredlund,
Dilian Gurov,
Thomas Arts,
2003,
International Journal on Software Tools for Technology Transfer.
Jürgen Giesl,
Thomas Arts,
J. Giesl,
1997,
TAPSOFT.
Jürgen Giesl,
Thomas Arts,
J. Giesl,
2001,
Applicable Algebra in Engineering, Communication and Computing.
Jürgen Giesl,
Thomas Arts,
J. Giesl,
1999,
CSL.
Laura M. Castro,
A. Nilsson,
T. Arts,
2013,
International Journal on Software Tools for Technology Transfer.
Thomas Arts,
Alex Gerdes,
Magnus Kronqvist,
2013,
2013 Federated Conference on Computer Science and Information Systems.
Mohammad Reza Mousavi,
Thomas Arts,
T. Arts,
2015,
2015 First International Workshop on Automotive Software Architecture (WASA).
Thomas Arts,
Thomas Noll,
T. Arts,
2000,
IFL.
Jürgen Giesl,
Thomas Arts,
J. Giesl,
1997,
RTA.
Thomas Arts,
T. Arts,
1996,
CAAP.
T. Arts,
T. Arts,
1995
.
Thomas Arts,
T. Arts,
1992
.
B. Meyer,
Wolfram Schulte,
Mario Ornaghi,
2008
.
John Derrick,
Thomas Arts,
Clara Benac Earle,
2004,
International Journal on Software Tools for Technology Transfer.
Thomas Arts,
Juan José Sánchez Penas,
T. Arts,
2002,
ERLANG '02.
John Derrick,
Thomas Arts,
Clara Benac Earle,
2002,
FME.
Thomas Arts,
Javier Paris,
T. Arts,
2009,
Erlang Workshop.
Koen Claessen,
John Hughes,
Michal H. Palka,
2009,
ICFP.
J. Giesl,
T. Arts,
2022
.
Lars-Åke Fredlund,
Thomas Arts,
T. Arts,
2002,
Erlang Workshop.
Thomas Arts,
Mads Dam,
T. Arts,
1999,
World Congress on Formal Methods.