Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics. - Wolfram Luther; Werner Otten (Computing, 1994)

Computergraphik und Bildverarbeitung. - Achim W. Janser; Wolfram Luther; Werner Otten (Vieweg, 1996)

Approximation Error and Error Accumulation for the Landen Transform. - Wolfram Luther; Werner Otten (Reliab. Comput., 1997)

Verified calculation of the solution of algebraic Riccati equation. - Wolfram Luther; Werner Otten (SCAN, 1998)

Reliable Computation of Elliptic Functions. - Wolfram Luther; Werner Otten (J. Univers. Comput. Sci., 1998)

Multimedia-gestützte Vorlesungen in einem interaktiven elektronischen Hörsaal - Ansätze und Erfahrungen. - Heinz Ulrich Hoppe; Wolfram Luther; Werner Otten; Frank Tewissen (INFOS, 1999)

An Accurate Distance-Calculation Algorithm for Convex Polyhedra. - Eva Dyllong; Wolfram Luther; Werner Otten (Reliab. Comput., 1999)

Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments. - Wolfram Luther; Eva Dyllong; Daniela Fausten; Werner Otten; Holger Traczinski (Perspectives on Enclosure Methods, 2001)