| 2008 |
|---|
| 5 | EE | Ekaterina Auer,
Wolfram Luther:
Numerical Verification Assessment in Computational Biomechanics.
Numerical Validation in Current Hardware Architectures 2008 |
| 4 | EE | Ekaterina Auer,
Andreas Rauh,
Eberhard P. Hofer,
Wolfram Luther:
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP.
Reliable Implementation of Real Number Algorithms 2008: 1-27 |
| 2007 |
|---|
| 3 | | Ekaterina Auer,
Wolfram Luther:
Smartmobile - an environment for guaranteed multibody modeling and simulation.
ICINCO-RA (1) 2007: 109-116 |
| 2005 |
|---|
| 2 | EE | Wolfram Luther,
Gerhard Haßlinger,
Ekaterina Auer,
Eva Dyllong,
Daniela Traczinski,
Holger Traczinski:
Integration of reliable algorithms into modeling software.
Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
| 2003 |
|---|
| 1 | EE | Ekaterina Auer,
Andrés Kecskeméthy,
Martin Tändl,
Holger Traczinski:
Interval Algorithms in Modeling of Multibody Systems.
Numerical Software with Result Verification 2003: 132-159 |
