Andreas Bauer
发表
Jan Romberg,
Andreas Bauer,
2004,
EMSOFT '04.
Manfred Broy,
Bernhard Schätz,
Ulrich Freund,
2005
.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2007,
RV.
Jan Romberg,
Andreas Bauer,
2004
.
Yijun Yu,
Jan Jürjens,
Andreas Bauer,
2010,
Comput. J..
Andreas Bauer,
A. Bauer,
2010,
ArXiv.
Manfred Broy,
Ulrich Freund,
Robert Sandner,
2007
.
Bernhard Schätz,
Jan Romberg,
Andreas Bauer,
2005,
Informatik - Forschung und Entwicklung.
Markus Pizka,
Andreas Bauer,
2004
.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2011,
TSEM.
Richard F. Hartl,
Christine Strauss,
Andreas Bauer,
2014
.
Franz Baader,
Andreas Bauer,
Alwen Tiu,
2009,
LATA.
Jan-Christoph Küster,
Andreas Bauer,
Gil Vegliach,
2013,
RV.
Franz Baader,
Andreas Bauer,
Marcel Lippmann,
2009,
FroCoS.
Jan Romberg,
Andreas Bauer,
2004
.
Richard F. Hartl,
Christine Strauss,
Andreas Bauer,
1999,
Proceedings of the 1999 Congress on Evolutionary Computation-CEC99 (Cat. No. 99TH8406).
Wolfgang Domschke,
Erwin Pesch,
Andreas Bauer,
1993
.
Yijun Yu,
Jan Jürjens,
Andreas Bauer,
2008,
BCS Int. Acad. Conf..
Patrik Haslum,
Adi Botea,
Jussi Rintanen,
2011,
AIIP '11.
Rajeev Goré,
Andreas Bauer,
Alwen Tiu,
2009,
ArXiv.
Jan-Christoph Küster,
Andreas Bauer,
2015,
RV.
Andreas Bauer,
2004,
USENIX Annual Technical Conference, FREENIX Track.
Jan-Christoph Küster,
Andreas Bauer,
2014,
ArXiv.
Manfred Broy,
Bernhard Schätz,
Ulrich Freund,
2007
.
Andreas Bauer,
2008
.
Jan-Christoph Küster,
Andreas Bauer,
Gil Vegliach,
2015,
Formal Methods Syst. Des..
Martin Leucker,
Andreas Bauer,
A. Bauer,
2011,
NASA Formal Methods.
Jan-Christoph Küster,
Andreas Bauer,
Gil Vegliach,
2012,
NASA Formal Methods.
Rajeev Goré,
Andreas Bauer,
Alwen Tiu,
2009,
ICTAC.
Mark Brown,
John K. Slaney,
Andreas Bauer,
2010,
CP.
Peter Baumgartner,
Alfredo Gabaldon,
Kevin Lee,
2009,
TABLEAUX.
Yliès Falcone,
Andreas Bauer,
A. Bauer,
2011,
Formal Methods in System Design.
Jonathan Streit,
Martin Leucker,
Andreas Bauer,
2006,
ICFEM.
Yliès Falcone,
Andreas Bauer,
2016,
Formal Methods Syst. Des..
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2006,
FSTTCS.
Bernhard Schätz,
Jan Romberg,
Andreas Bauer,
2005
.
Richard F. Hartl,
Andreas Bauer,
Bernd Bullnheimer,
1999
.
Felix Breitenecker,
Andreas Bauer,
C. Urach,
2016,
Simul. Notes Eur..
Bernhard Schätz,
Peter Braun,
Ulrich Freund,
2005,
Design, Automation and Test in Europe.
Andreas Bauer,
Michael Tautschnig,
Christian Kühnel,
2007,
33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007).
Martin Diller,
Peter Baumgartner,
Michael Norrish,
2013,
TABLEAUX.
Andreas Bauer,
Jens Kohl,
2010
.
Andreas Bauer,
2015
.
Jan Jürjens,
Andreas Bauer,
J. Jürjens,
2008,
SESS '08.
Andreas Bauer,
Günther Zauner,
C. Urach,
2015,
Simul. Notes Eur..
Andreas Bauer,
Michael Tautschnig,
Markus Pister,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2010,
J. Log. Comput..
Andreas Bauer,
2005,
CPAIOR.
Patrik Haslum,
Andreas Bauer,
2010,
ECAI.
Andreas Bauer,
Volker Springel,
Ruediger Pakmor,
2011,
1108.1792.
Dirk Riehle,
Andreas Bauer,
Nikolay Harutyunyan,
2019,
J. Syst. Softw..
Yliès Falcone,
Andreas Bauer,
2016
.
Markus Pizka,
Andreas Bauer,
2003,
Sixth International Workshop on Principles of Software Evolution, 2003. Proceedings..
Markus Pizka,
Andreas Bauer,
2004,
Proceedings. 7th International Workshop on Principles of Software Evolution, 2004..
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2009,
International Journal on Software Tools for Technology Transfer.
Felix Breitenecker,
Niki Popper,
Martin Bicher,
2013
.
Jan Jürjens,
Andreas Bauer,
2010,
Comput. Secur..
Manfred Broy,
Bernhard Schätz,
Peter Braun,
2007,
Informatik - Forschung und Entwicklung.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2005
.