A Computer Oriented Approach to Get Sharp Reliable Error Bounds. - Werner Hofschuster; Walter Krämer (Reliab. Comput., 1997)

Mathematical Function Software on the Web–Are Such Codes Useful for Verification Algorithms? - Werner Hofschuster; Walter Krämer (Reliab. Comput., 2000)

C-XSC 2.0: A C++ Library for Extended Scientific Computing. - Werner Hofschuster; Walter Krämer (Numerical Software with Result Verification, 2003)

FILIB++, a fast interval library supporting containment computations. - Michael Lerch; German Tischler; Jürgen Wolff von Gudenberg; Werner Hofschuster; Walter Krämer (ACM Trans. Math. Softw., 2006)

A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. - Frithjof Blomquist; Werner Hofschuster; Walter Krämer (Numerical Validation in Current Hardware Architectures, 2008)

C-XSC and Closely Related Software Packages. - Werner Hofschuster; Walter Krämer; Markus Neher 001 (Numerical Validation in Current Hardware Architectures, 2008)

Using C-XSC for High Performance Verified Computing. - Walter Krämer; Michael Zimmer 002; Werner Hofschuster (PARA (2), 2010)

Sparse Matrices and Vectors in C-XSC. - Michael Zimmer 002; Walter Krämer; Werner Hofschuster (Reliab. Comput., 2010)