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)

Reliable Distance and Intersection Computation Using Finite Precision Geometry. - Katja Bühler; Eva Dyllong; Wolfram Luther (Numerical Software with Result Verification, 2003)

Planning and real-time modifications of a trajectory using spline techniques. - Eva Dyllong; Antonio Visioli (Robotica, 2003)

The GJK Distance Algorithm: An Interval Version for Incremental Motions. - Eva Dyllong; Wolfram Luther (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)

A Multifunctional Historical Document Research System. - Eva Dyllong (Digital Historical Corpora, 2006)

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

A Reliable Extended Octree Representation of CSG Objects with an Adaptive Subdivision Depth. - Eva Dyllong; Cornelius Grimm (PPAM, 2007)

Verified Adaptive Octree Representations of Constructive Solid Geometry Objects. - Eva Dyllong; Cornelius Grimm (SimVis, 2007)

A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling. - Eva Dyllong (Numerical Validation in Current Hardware Architectures, 2008)

Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations. - Eva Dyllong (Reliable Implementation of Real Number Algorithms, 2008)

Some Applications of Interval Arithmetic in Hierarchical Solid Modeling. - Eva Dyllong (Numerical Validation in Current Hardware Architectures, 2008)

Verification and Validation for Femur Prosthesis Surgery. - Ekaterina Auer; Roger Cuypers; Eva Dyllong; Stefan Kiel; Wolfram Luther (Computer-assisted proofs - tools, methods and applications, 2009)

A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure. - Eva Dyllong; Stefan Kiel (Computing, 2012)

Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures. - Stefan Kiel; Wolfram Luther; Eva Dyllong (Soft Comput., 2013)