Thomas Santen
发表
Ethan K. Jackson,
Eunsuk Kang,
Markus Dahlweid,
2010,
EMSOFT '10.
Joost-Pieter Katoen,
Hao Wu,
Thomas Noll,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Thomas Santen,
1998,
ZUM.
Thomas Santen,
T. Santen,
2005,
Sicherheit.
Maritta Heisel,
Denis Hatebur,
Dirk Seifert,
2008,
Softwaretechnik-Trends.
Burkhart Wolff,
Thomas Santen,
Kolyang,
1996,
TPHOLs.
Matthias Anlauff,
Thomas Santen,
Martin Beyer,
1993,
GI Jahrestagung.
Bill Stoddart,
Wolfgang Grieskamp,
Thomas Santen,
2000
.
Dirk Seifert,
Thomas Santen,
2006,
Software Engineering.
Joost-Pieter Katoen,
Hao Wu,
Thomas Noll,
2014,
MMB/DFT.
Maritta Heisel,
Andreas Pfitzmann,
Thomas Santen,
2001,
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Bill Stoddart,
Wolfgang Grieskamp,
Thomas Santen,
2000
.
Thomas Santen,
2006,
ESORICS.
Mark A. Hillebrand,
Wolfgang J. Paul,
Alexandra Tsyban,
2009,
Ershov Memorial Conference.
Maritta Heisel,
Kirsten Winter,
Thomas Santen,
1998,
SAFECOMP.
Mark A. Hillebrand,
Wolfram Schulte,
Michal Moskal,
2009,
TPHOLs.
Maritta Heisel,
Denis Hatebur,
Thomas Santen,
2008,
Software Engineering.
Maritta Heisel,
Jeanine Souquières,
Thomas Santen,
2002
.
Thomas Santen,
Steffen Helke,
Thomas Neustupny,
1997,
ZUM.
Maritta Heisel,
Jeanine Souquières,
Thomas Santen,
2002,
ICFEM.
Thomas Santen,
T. Santen,
2008,
Inf. Comput..
Thomas Santen,
2012,
Software Engineering.
Thomas Santen,
Sabine Dick,
1995,
Proceedings 1995 10th Knowledge-Based Software Engineering Conference.
Nikolaj Bjørner,
Wolfram Schulte,
Ethan K. Jackson,
2009,
SC@TOOLS.
Thomas Santen,
Sabine Dick,
1995
.
Maritta Heisel,
Thomas Santen,
Dominik Zimmermann,
1995,
ESEC.
Thomas Santen,
1997,
TPHOLs.
Thomas Santen,
Sabine Dick,
2004,
Automated Software Engineering.
Felix C. Freiling,
Thomas Santen,
2004,
Architecting Systems with Trustworthy Components.
Thomas Santen,
Jens H. Weber,
Morgan Price,
2005,
CASCON.
Thomas Santen,
2000
.
Maritta Heisel,
Holger Schmidt,
Benjamin Fabian,
2010,
Requirements Engineering.
Florian Kammüller,
Graeme Smith,
Thomas Santen,
2002,
ZB.
Thomas Santen,
Seda F. Gürses,
2006,
Sicherheit.
Thomas Santen,
Steffen Helke,
2001,
FME.
Burkhart Wolff,
Thomas Santen,
Kolyang,
1996,
FME.
Thomas Santen,
Eric Meyer,
2000,
IFM.
Florian Kammüller,
Stefan Jähnichen,
Thomas Santen,
1995,
KORSO Book.
Maritta Heisel,
Andreas Pfitzmann,
Thomas Santen,
2002,
ESORICS.
Thomas Santen,
Dirk Leinenbach,
T. Santen,
2009,
FM.
Wolfram Schulte,
Michal Moskal,
Stephan Tobies,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
Thomas Santen,
1999,
TPHOLs.
Thomas Santen,
T. Santen,
2006,
SAFECOMP.
Dirk Seifert,
Thomas Santen,
Steffen Helke,
2003,
Ershov Memorial Conference.
Simon Foster,
Jim Woodcock,
Thomas Santen,
2021,
Theories of Programming.
Thomas Santen,
T. Santen,
1993
.
Joost-Pieter Katoen,
Thomas Noll,
Thomas Santen,
2013
.
Thomas Santen,
Dirk Seifert,
Bericht-Nr,
2006
.