Ekaterina Auer

	2012
12		Ekaterina Auer, Andreas Rauh: VERICOMP: a system to compare and assess verified IVP solvers. Computing 94(2-4): 163-172 (2012)
11		Gabor Rebner, Ekaterina Auer, Wolfram Luther: A verified realization of a Dempster-Shafer based fault tree analysis. Computing 94(2-4): 313-324 (2012)
10		Andreas Rauh, Ekaterina Auer, Thomas Dötschel, Harald Aschemann: Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances. Computing 94(2-4): 345-356 (2012)
9		Andreas Rauh, Julia Kersten, Ekaterina Auer, Harald Aschemann: Sensitivity-based feedforward and feedback control for uncertain systems. Computing 94(2-4): 357-367 (2012)
	2009
8		Ekaterina Auer, Andreas Rauh: Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems. PPAM (2) 2009: 408-417
7		Ekaterina Auer, Wolfram Luther: Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems. Applied Mathematics and Computer Science 19(3): 455-467 (2009)
	2008
6		Ekaterina Auer, Wolfram Luther: Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008
5		Ekaterina Auer, Wolfram Luther: Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008: 145-160
4		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		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		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

Coauthor Index

1	Harald Aschemann	[9] [10]
2	Thomas Dötschel	[10]
3	Eva Dyllong	[2]
4	Gerhard Haßlinger	[2]
5	Eberhard P. Hofer	[4]
6	Andrés Kecskeméthy	[1]
7	Julia Kersten	[9]
8	Wolfram Luther	[2] [3] [4] [5] [6] [7] [11]
9	Andreas Rauh	[4] [8] [9] [10] [12]
10	Gabor Rebner	[11]
11	Martin Tändl	[1]
12	Daniela Traczinski	[2]
13	Holger Traczinski	[1] [2]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page