Thomas Arts
发表
Nicolae Paladi,
Thomas Arts,
T. Arts,
2009,
Erlang Workshop.
Jürgen Giesl,
Thomas Arts,
J. Giesl,
1998,
RTA.
Jürgen Giesl,
Thomas Arts,
J. Giesl,
2000,
Theor. Comput. Sci..
Jürgen Giesl,
Thomas Arts,
J. Giesl,
1996,
RTA.
Simon J. Thompson,
Thomas Arts,
Pablo Lamela Seijas,
2011,
Erlang '11.
Thomas Arts,
Izak van Langevelde,
2001,
Proceedings Second International Conference on Application of Concurrency to System Design.
Thomas Arts,
Laura M. Castro,
2011,
Erlang '11.
Thomas Arts,
Stefano Tonetta,
T. Arts,
2015,
SAFECOMP.
Lars-Åke Fredlund,
Thomas Arts,
T. Arts,
2002,
Erlang Workshop.
Hans Zantema,
Thomas Arts,
1995,
LOPSTR.
John Hughes,
Thomas Arts,
2016,
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Ulf Norell,
John Hughes,
Hans Svensson,
2015,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Koen Claessen,
Hans Svensson,
Thomas Arts,
2004,
FATES.
Lars-Åke Fredlund,
Dilian Gurov,
Thomas Arts,
1998,
CADE.
Enno Ohlebusch,
Jürgen Giesl,
Thomas Arts,
2002,
J. Symb. Comput..
Ulf Norell,
John Hughes,
Nicholas Smallbone,
2014,
FASE.
Huiqing Li,
Simon J. Thompson,
Thomas Arts,
2011,
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.
Thomas Arts,
2010
.
Thomas Arts,
Clara Benac Earle,
Juan José Sánchez Penas,
2004
.
Thomas Arts,
Michele Dorigatti,
Stefano Tonetta,
2014,
SAFECOMP.
Thomas Arts,
Juan José Sánchez Penas,
2003,
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..
John Hughes,
Thomas Arts,
Wojciech Mostowski,
2017,
MARS@ETAPS.
Agneta Nilsson,
Thomas Arts,
Laura M. Castro,
2013,
International Journal on Software Tools for Technology Transfer.
Thomas Arts,
Laura M. Castro,
2011,
Electron. Notes Theor. Comput. Sci..
John Hughes,
Thomas Arts,
Joakim Johansson,
2006,
ERLANG '06.
Thomas Arts,
2007
.
Simon J. Thompson,
Thomas Arts,
2010,
Erlang '10.
Hans Svensson,
Thomas Arts,
2005,
ERLANG '05.
Thomas Arts,
T. Arts,
1996,
CAAP.
Thomas Arts,
T. Arts,
2008
.
Thomas Arts,
2014,
Erlang Workshop.
Thomas Arts,
Lars Pareto,
Anna Börjesson Sandberg,
2011,
IEEE Software.
Rolf Johansson,
Martin A. Skoglund,
Hans Svensson,
2013,
CARS@SAFECOMP.
Jürgen Giesl,
Thomas Arts,
J. Giesl,
1997,
TAPSOFT.
Ulf Norell,
John Hughes,
Nicholas Smallbone,
2011,
Erlang '11.
Thomas Arts,
Bjarne O. Dacker,
2003,
Erlang Workshop.
Ulf Norell,
Benjamin C. Pierce,
John Hughes,
2016,
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Thomas Arts,
Ricardo Peña,
2003
.
Thomas Arts,
Mads Dam,
T. Arts,
1999,
World Congress on Formal Methods.
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..
Ulf Norell,
Hans Svensson,
Thomas Arts,
2013,
Erlang '13.
Lars-Åke Fredlund,
Hans Svensson,
Thomas Arts,
2019,
Erlang Workshop.
Ulf Norell,
John Hughes,
Nicholas Smallbone,
2016,
AST@ICSE.
Thomas Arts,
Markus Mohnen,
2002
.
Lars-Åke Fredlund,
Simon J. Thompson,
John Derrick,
2009,
FMCO.
Thomas Arts,
Thomas Noll,
T. Arts,
2000,
IFL.
Thomas Arts,
Ulrik Eklund,
2010,
ECSA.
Thomas Arts,
Alex Gerdes,
Magnus Kronqvist,
2013,
2013 Federated Conference on Computer Science and Information Systems.
Koen Claessen,
John Hughes,
Michal H. Palka,
2009,
ICFP.
Jürgen Giesl,
Thomas Arts,
J. Giesl,
2001,
Applicable Algebra in Engineering, Communication and Computing.
John Hughes,
Thomas Arts,
Alex Gerdes,
2015,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Thomas Arts,
Javier Paris,
T. Arts,
2009,
Erlang Workshop.
John Derrick,
Thomas Arts,
Clara Benac Earle,
2002,
FME.
Thomas Arts,
Wan Fokkink,
2003,
Electron. Notes Theor. Comput. Sci..
Jürgen Giesl,
Thomas Arts,
J. Giesl,
1997,
RTA.
John Hughes,
Thomas Arts,
Laura M. Castro,
2008,
ERLANG '08.
John Derrick,
Thomas Arts,
Clara Benac Earle,
2004,
International Journal on Software Tools for Technology Transfer.
Magnus Jonsson,
Thomas Arts,
Jonny Vinter,
2014,
ES4CPS@DATE.
Magnus Jonsson,
Thomas Arts,
Jonny Vinter,
2013,
ES4CPS@DATE.
Thomas Arts,
2000,
RTA.
Rolf Johansson,
Martin A. Skoglund,
Henrik Eriksson,
2014,
SAFECOMP Workshops.
Thomas Arts,
Juan José Sánchez Penas,
T. Arts,
2002,
ERLANG '02.
Lars-Åke Fredlund,
Thomas Arts,
2002,
ERLANG '02.
Jürgen Giesl,
Thomas Arts,
J. Giesl,
1999,
CSL.
Jaco van de Pol,
Thomas Arts,
2005,
International Journal on Software Tools for Technology Transfer.
Lars-Åke Fredlund,
Dilian Gurov,
Thomas Arts,
2003,
International Journal on Software Tools for Technology Transfer.
Thomas Arts,
T. Arts,
1992
.