| No. |
Title |
Author |
Year |
| 1 |
Numerical Software with Result Verification (Dagstuhl Seminar 03041) |
Alt, René et al. |
2021 |
| 2 |
Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371) |
Elishakoff, Isaac E. et al. |
2011 |
| 3 |
Verification and Validation for Femur Prosthesis Surgery |
Auer, Ekaterina et al. |
2010 |
| 4 |
08021 Abstracts Collection -- Numerical Validation in Current Hardware Architectures |
Luther, Wolfram et al. |
2008 |
| 5 |
08021 Summary -- Numerical Validation in Current Hardware Architectures |
Cuyt, Annie et al. |
2008 |
| 6 |
Numerical Verification Assessment in Computational Biomechanics |
Auer, Ekaterina et al. |
2008 |
| 7 |
Rule-based search in historical text databases - Visualization techniques |
Luther, Wolfram |
2007 |
| 8 |
06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice |
Hertling, Peter et al. |
2006 |
| 9 |
06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice |
Hertling, Peter et al. |
2006 |
| 10 |
Integration of reliable algorithms into modeling software |
Luther, Wolfram et al. |
2006 |
