Ekaterina Auer

发表

Ekaterina Auer, Andreas Ahrens, Steffen Lochmann, 2017, 2017 Sensor Signal Processing for Defence Conference (SSPD).
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..
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.
Ekaterina Auer, Andreas Rauh, Julia Kersten, 2020, J. Comput. Appl. Math..
Ekaterina Auer, Wolfram Luther, Roger Cuypers, 2012, ICINCO.
Ekaterina Auer, Wolfram Luther, Benjamin Weyers, 2020, Acta Cybern..
Philipp Limbourg, Ekaterina Auer, Wolfram Luther, 2011 .
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.
Andreas Rauh, Ekaterina Auer, 2011, Reliab. Comput..
Andreas Rauh, Luise Senkel, Harald Aschemann, 2014, Math. Comput. Sci..
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.
Matthias Stein, Ekaterina Auer, Michael Beer, 2013, Soft Comput..
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..