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)

Stationary Workload Analysis for Single Service Systems with Slowly Decreasing Service Time Distributions. - Gerhard Haßlinger; Daniela Fausten (ESM, 2002)

Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication. - Daniela Fausten; Gerhard Haßlinger (Numerical Software with Result Verification, 2003)

Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification. - Daniela Traczinski; Wolfram Luther; Gerhard Haßlinger (MMB, 2004)

Accurate Computation of Traffic Workload Distributions. - Daniela Fausten; Wolfram Luther; Gerhard Haßlinger (Numer. Algorithms, 2004)

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)

Faktorisierungslösungen für die workload in Bediensystemen mit Ergebnisverifikation. - Daniela Traczinski (2006)