Andreas Rauh

	2008
3		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: 175-188
2		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		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]
3	Wolfram Luther	[1]
4	Johanna Minisini	[2] [3]