Ekaterina Auer
发表
Ekaterina Auer,
Wolfram Luther,
2007
.
Ekaterina Auer,
Andreas Ahrens,
Steffen Lochmann,
2017,
2017 Sensor Signal Processing for Defence Conference (SSPD).
Ekaterina Auer,
Wolfram Luther,
E. Auer,
2009
.
Philipp Limbourg,
Ekaterina Auer,
Wolfram Luther,
2010
.
Ekaterina Auer,
Wolfram Luther,
Gerhard Haßlinger,
2005,
Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Ekaterina Auer,
Wolfram Luther,
E. Auer,
2009,
Int. J. Appl. Math. Comput. Sci..
Ekaterina Auer,
Wolfram Luther,
Stefan Kiel,
2014
.
Andreas Rauh,
Harald Aschemann,
Ekaterina Auer,
2011,
Computing.
Andreas Rauh,
Ekaterina Auer,
2011,
Computing.
Andrés Kecskeméthy,
Ekaterina Auer,
Holger Traczinski,
2003,
Numerical Software with Result Verification.
Andreas Rauh,
Ekaterina Auer,
2009,
Computer-assisted proofs - tools, methods and applications.
Andreas Rauh,
Harald Aschemann,
Ekaterina Auer,
2011,
Reliab. Comput..
Ekaterina Auer,
Wolfram Luther,
Gabor Rebner,
2011,
Computing.
Andreas Rauh,
Ekaterina Auer,
Stefan Kiel,
2012
.
Andreas Rauh,
Harald Aschemann,
Ekaterina Auer,
2011,
Computing.
Ekaterina Auer,
Andreas Rauh,
Julia Kersten,
2020,
J. Comput. Appl. Math..
Andreas Rauh,
Ekaterina Auer,
Stefan Kiel,
2013,
NOLCOS.
Ekaterina Auer,
Wolfram Luther,
Roger Cuypers,
2012,
ICINCO.
Ekaterina Auer,
Wolfram Luther,
Benjamin Weyers,
2020,
Acta Cybern..
Andreas Rauh,
Ekaterina Auer,
Stefan Kiel,
2013,
Reliab. Comput..
Andreas Rauh,
Luise Senkel,
Ekaterina Auer,
2017,
Algorithms.
Philipp Limbourg,
Ekaterina Auer,
Wolfram Luther,
2011
.
Ekaterina Auer,
2012
.
Andreas Rauh,
Ekaterina Auer,
2010
.
Ekaterina Auer,
Wolfram Luther,
Benjamin Weyers,
2019,
J. Univers. Comput. Sci..
Andreas Rauh,
Ekaterina Auer,
Stefan Kiel,
2013,
Int. J. Appl. Math. Comput. Sci..
Andreas Rauh,
Ekaterina Auer,
Wolfram Luther,
2008,
Reliable Implementation of Real Number Algorithms.
Ekaterina Auer,
Wolfram Luther,
2007,
ICINCO-RA.
Andreas Rauh,
Ekaterina Auer,
2011,
Reliab. Comput..
Andreas Rauh,
Harald Aschemann,
Ekaterina Auer,
2013,
Soft Comput..
Andreas Rauh,
Luise Senkel,
Harald Aschemann,
2014,
Math. Comput. Sci..
Andreas Rauh,
Ekaterina Auer,
Eberhard P. Hofer,
2007
.
Andreas Rauh,
Luise Senkel,
Harald Aschemann,
2013
.
Andreas Rauh,
Ekaterina Auer,
2009,
PPAM.
Andreas Rauh,
Harald Aschemann,
Ekaterina Auer,
2012
.
Andreas Rauh,
Harald Aschemann,
Ekaterina Auer,
2014,
SCAN.
Ekaterina Auer,
Stefan Kiel,
E. Auer,
2013,
Reliab. Comput..
Ekaterina Auer,
Andreas Ahrens,
César Benavente-Peces,
2018
.
Ekaterina Auer,
Wolfram Luther,
E. Auer,
2009,
Numerical Validation in Current Hardware Architectures.
Ekaterina Auer,
Wolfram Luther,
Eva Dyllong,
2009,
Computer-assisted proofs - tools, methods and applications.
Ekaterina Auer,
Wolfram Luther,
2019
.
Ekaterina Auer,
2014
.
Matthias Stein,
Ekaterina Auer,
Michael Beer,
2013,
Soft Comput..
Andreas Rauh,
Luise Senkel,
Harald Aschemann,
2013,
Reliab. Comput..
Andreas Rauh,
Ekaterina Auer,
2013
.
Ekaterina Auer,
Wolfram Luther,
Andrés Kecskeméthy,
2011
.
Ekaterina Auer,
Wolfram Luther,
Roger Cuypers,
2014
.
Andreas Rauh,
Harald Aschemann,
Ekaterina Auer,
2013,
Reliab. Comput..
Ekaterina Auer,
Andreas Ahrens,
2021
.
Andreas Rauh,
Ekaterina Auer,
Eberhard P. Hofer,
2008
.
Ekaterina Auer,
2007
.
Andreas Rauh,
Harald Aschemann,
Ekaterina Auer,
2009
.