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)

Interval Algorithms in Modeling of Multibody Systems. - Ekaterina Auer; Andrés Kecskeméthy; Martin Tändl; Holger Traczinski (Numerical Software with Result Verification, 2003)

Integration of reliable algorithms into modeling software. - Wolfram Luther; Gerhard Haßlinger; Ekaterina Auer; Eva Dyllong; Daniela Traczinski; Holger Traczinski (Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005)

Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP. - Eva Dyllong; Wolfram Luther; Holger Traczinski (Reliab. Comput., 2006)