Andreas Rauh

2008
2	EE	Andreas Rauh, Johanna Minisini, Eberhard P. Hofer: Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering. Numerical Validation in Current Hardware Architectures 2008
1	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

Coauthor Index

1	Ekaterina Auer	[1]
2	Eberhard P. Hofer	[1] [2]
3	Wolfram Luther	[1]
4	Johanna Minisini	[2]