| Publication | Date of Publication | Type |
|---|
| On the Application of Accurate Distance Algorithms to Multibody Simulations | 2018-07-26 | Paper |
| Verified Solutions of Systems of Nonlinear Polynomial Equations | 2018-07-16 | Paper |
| An Accurate Distance Algorithm for Octree-Encoded Objects | 2017-01-24 | Paper |
| Special issue on ``Uncertainty modeling and analysis with intervals: foundations, tools, applications | 2015-11-09 | Paper |
| Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems | 2014-11-19 | Paper |
| Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems | 2014-11-19 | Paper |
| A verified realization of a Dempster-Shafer based fault tree analysis | 2012-04-04 | Paper |
| SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems | 2010-06-02 | Paper |
| Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP | 2009-01-13 | Paper |
| Verified Methods in Stochastic Traffic Modelling | 2009-01-13 | Paper |
| Numerical Software with Result Verification | 2007-09-28 | Paper |
| The convergence rate of continued fractions representing solutions of a Riccati equation | 2007-02-02 | Paper |
| Verified convex hull and distance computation for octree-encoded objects | 2007-02-02 | Paper |
| Modelling geometric objects and tolerances with intervals: Data exchange with ISO standard STEP | 2006-09-14 | Paper |
| Enclosure of the zero set of multivariate exponential interval polynomials | 2005-09-05 | Paper |
| The GJK distance algorithm: an interval version for incremental motions | 2005-09-05 | Paper |
| Accurate computation of traffic workload distributions | 2005-09-05 | Paper |
| Polynomial Factorization for Servers with Semi-Markovian Workload: Performance and Numerical Aspects of a Verified Solution Technique | 2005-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471668 | 2004-07-30 | Paper |
| Accurate enclosure of the zero set of multivariate polynomials | 2003-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409182 | 2003-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2765423 | 2003-06-09 | Paper |
| Flatness criteria for subdivision of rational Bézier curves and surfaces | 2002-07-22 | Paper |
| Enclosure of the zero set of polynomials in several complex variables | 2002-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520729 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4498857 | 2001-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2777624 | 2001-01-01 | Paper |
| An accurate distance-calculation algorithm for convex polyhedra | 2000-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4949348 | 2000-08-28 | Paper |
| Accurate Computation of Elliptic Functions | 1999-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4949363 | 1999-01-01 | Paper |
| Approximation error and error accumulation for the Landen transform | 1998-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2785775 | 1997-02-26 | Paper |
| Highly accurate tables for elementary functions | 1997-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885352 | 1996-10-27 | Paper |
| Numerical treatment of the first-order pll equation with sinusoidal phase detector characteristic | 1996-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851663 | 1996-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851641 | 1995-11-21 | Paper |
| Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics | 1994-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4040379 | 1993-06-05 | Paper |
| Abelsche und Taubersche Sätze für Laguerre-Reihen | 1992-06-27 | Paper |
| A note on a classical bound for the moduli of all zeros of a polynomial | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3779014 | 1987-01-01 | Paper |
| The differentiability of Fourier gap series and ``Riemann's example of a continuous, nondifferentiable function | 1986-01-01 | Paper |
| Abelian and Tauberian theorems for a class of integral transforms | 1983-01-01 | Paper |
| Stetige, nirgends differenzierbare Funktionen und nicht rektifizierbare Kurven | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3965027 | 1980-01-01 | Paper |
| The Summation of Series | 1978-01-01 | Paper |
| Über das asymptotische Verhalten der trigonometrischen und Hankelschen Integraltransformation | 1977-01-01 | Paper |
| The remainder in a gap Tauberian theorem for Abel summability | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4171098 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4067504 | 1975-01-01 | Paper |
