| Publication | Date of Publication | Type |
|---|
| Verified Computations Using Taylor Models and Their Applications | 2022-07-01 | Paper |
| Rigorous Reachability Analysis and Domain Decomposition of Taylor Models | 2022-07-01 | Paper |
| Validation of transfer map calculation for electrostatic deflectors in the code COSY INFINITY | 2021-06-08 | Paper |
| Bounded motion design in the Earth zonal problem using differential algebra based normal form methods | 2020-10-07 | Paper |
| Verified High-Order Integration of DAEs and Higher-Order ODEs | 2018-07-16 | Paper |
| Global Optimization of Interplanetary Transfers with Deep Space Maneuvers Using Differential Algebra | 2017-06-29 | Paper |
| Rigorous global search using taylor models | 2017-02-03 | Paper |
| Rigorous integration of flows and ODEs using taylor models | 2017-02-03 | Paper |
| An introduction to beam physics | 2016-10-28 | Paper |
| Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting | 2015-10-20 | Paper |
| Affine Invariant Measures in Levi-Civita Vector Spaces and the Erdös Obtuse Angle Theorem | 2015-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844217 | 2013-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844240 | 2013-08-28 | Paper |
| Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization | 2011-10-26 | Paper |
| Asteroid close encounters characterization using differential algebra: the case of apophis | 2011-10-26 | Paper |
| Rigorous and accurate enclosure of invariant manifolds on surfaces | 2011-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3582334 | 2010-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3184912 | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3184909 | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3184910 | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3545308 | 2008-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3517716 | 2008-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5444070 | 2008-02-22 | Paper |
| Intermediate value theorem for analytic functions on a Levi-Civita field | 2008-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5437369 | 2008-01-18 | Paper |
| Generalized power series on a non-Archimedean field | 2006-12-07 | Paper |
| Analytical properties of power series on Levi-Civita fields | 2006-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718523 | 2006-01-16 | Paper |
| Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY | 2005-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818250 | 2004-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818251 | 2004-09-28 | Paper |
| Higher order verified inclusions of multidimensional systems by Taylor models. | 2004-08-26 | Paper |
| Verified integration of dynamics in the solar system. | 2004-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4463457 | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4463043 | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4462089 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4462069 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808034 | 2003-10-19 | Paper |
| Verified high-order inversion of functional dependencies and interval Newton methods | 2003-08-13 | Paper |
| Computing validated solutions of implicit differential equations | 2003-05-04 | Paper |
| Controlling the wrapping effect in the solution of ODEs for asteroids | 2003-04-28 | Paper |
| Analytical and computational methods for the Levi-Civita field | 2002-12-16 | Paper |
| Intermediate values and inverse functions on non-Archimedean fields | 2002-08-12 | Paper |
| Verification of invertibility of complicated functions over large domains | 2002-07-08 | Paper |
| Convergence on the Levi-Civita field and study of power series | 2002-05-16 | Paper |
| Canonical integration and analysis of periodic maps using non-standard analysis and Lie methods | 2002-02-27 | Paper |
| New methods for high-dimensional verified quadrature | 2000-11-02 | Paper |
| Efficient control of the dependency problem based on Taylor model methods | 1999-11-23 | Paper |
| Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models | 1999-01-17 | Paper |
| Computation and application of Taylor polynomials with interval remainder bounds | 1998-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3125532 | 1998-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3125533 | 1998-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3125536 | 1997-05-11 | Paper |
| Computational differentiation: techniques, applications, and tools | 1997-01-13 | Paper |
| Higher-order sensitivity analysis of finite element method by automatic differentiation | 1996-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4868555 | 1996-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851650 | 1996-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028393 | 1993-03-28 | Paper |
