Eva Dyllong

17 papers Misc 1Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2013 J jnl
Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures.
Soft Comput.
Stefan Kiel, Wolfram Luther, Eva Dyllong
2012 J jnl
A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure.
Computing
Eva Dyllong, Stefan Kiel
2009 — conf
Verification and Validation for Femur Prosthesis Surgery.
Computer-assisted proofs - tools, methods and applications
Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel, Wolfram Luther
2008 — conf
A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling.
Numerical Validation in Current Hardware Architectures
Eva Dyllong
2008 — conf
Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations.
Reliable Implementation of Real Number Algorithms
Eva Dyllong
2008 — conf
Some Applications of Interval Arithmetic in Hierarchical Solid Modeling.
Numerical Validation in Current Hardware Architectures
Eva Dyllong
2007 Misc conf
A Reliable Extended Octree Representation of CSG Objects with an Adaptive Subdivision Depth.
PPAM
Eva Dyllong, Cornelius Grimm
2007 — conf
Verified Adaptive Octree Representations of Constructive Solid Geometry Objects.
SimVis
Eva Dyllong, Cornelius Grimm
2006 — conf
A Multifunctional Historical Document Research System.
Digital Historical Corpora
Eva Dyllong
2006 J jnl
Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP.
Reliab. Comput.
Eva Dyllong, Wolfram Luther, Holger Traczinski
2005 — conf
Integration of reliable algorithms into modeling software.
Algebraic and Numerical Algorithms and Computer-assisted Proofs
Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, Holger Traczinski
2004 J jnl
The GJK Distance Algorithm: An Interval Version for Incremental Motions.
Numer. Algorithms
Eva Dyllong, Wolfram Luther
2003 J jnl
Planning and real-time modifications of a trajectory using spline techniques.
Robotica
Eva Dyllong, Antonio Visioli
2003 — conf
Reliable Distance and Intersection Computation Using Finite Precision Geometry.
Numerical Software with Result Verification
Katja Bühler, Eva Dyllong, Wolfram Luther
2001 — ch.
Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments.
Perspectives on Enclosure Methods
Wolfram Luther, Eva Dyllong, Daniela Fausten, Werner Otten, Holger Traczinski
1999 J jnl
An Accurate Distance-Calculation Algorithm for Convex Polyhedra.
Reliab. Comput.
Eva Dyllong, Wolfram Luther, Werner Otten
1998 — conf
An Accurate Distance-Calculation Algorithm for Convex Polyhedra.
SCAN
Eva Dyllong, Wolfram Luther, Werner Otten