| Publication | Date of Publication | Type |
|---|
| High speed exception-free interval arithmetic, from closed and bounded real intervals to connected sets of real numbers | 2020-12-15 | Paper |
| Mathematics and Speed for Interval Arithmetic | 2019-10-18 | Paper |
| Computer arithmetic and validity. Theory, implementation, and applications | 2013-04-22 | Paper |
| The exact dot product as basic tool for long interval arithmetic | 2011-11-07 | Paper |
| Very fast and exact accumulation of products | 2011-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3002923 | 2011-05-24 | Paper |
| Computer arithmetic and validity. Theory, implementation, and applications | 2008-06-06 | Paper |
| Hardware support for interval arithmetic | 2006-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438137 | 2003-01-01 | Paper |
| Advanced Arithmetic for the Digital Computer | 2002-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2765414 | 2002-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499166 | 2001-03-06 | Paper |
| SCAN 2000: GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics. \newline Interval 2000: International Conference on Interval Methods in Science and Engineering | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4717950 | 1997-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835644 | 1995-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4291214 | 1994-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4277813 | 1994-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5286655 | 1993-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036720 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003189 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3999735 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732102 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3796635 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3813269 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3821557 | 1988-01-01 | Paper |
| FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH | 1987-01-01 | Paper |
| The Arithmetic of the Digital Computer: A New Approach | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3750039 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709791 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3730947 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765237 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3660786 | 1982-01-01 | Paper |
| FORTRAN for contemporary numerical computation | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3948528 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962419 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962420 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3878663 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4131540 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4134824 | 1977-01-01 | Paper |
| Mathematical Foundation of Computer Arithmetic | 1977-01-01 | Paper |
| Formalization and implementation of floating-point matrix operations | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4122689 | 1976-01-01 | Paper |
| Formalization and implementation of floating-point arithmetics | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4085179 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133153 | 1974-01-01 | Paper |
| On the Concept of a Screen | 1973-01-01 | Paper |
| An axiomatic approach to rounded computations | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5571269 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5591944 | 1969-01-01 | Paper |
| Über reguläre Zerlegungen von Matrizen und einige Anwendungen | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5538013 | 1968-01-01 | Paper |
| Grundlagen einer Maschinenintervallarithmetik | 1967-01-01 | Paper |
| Approximation der erweiterten Intervallarithmetik durch die einfache Maschinenintervallarithmetik | 1967-01-01 | Paper |
| Ein Einschließungsverfahren für Nullstellen | 1967-01-01 | Paper |
| Über die Konvergenz des Relaxationsverfahrens bei nicht-negativen und diagonal-dominanten Matrizen | 1967-01-01 | Paper |
| Integrabilität und Integration überbestimmter Systeme partieller Differentialgleichungen | 1967-01-01 | Paper |
| Über die Nullstellen der ersten Ableitung von Besselfunktionen | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5523336 | 1966-01-01 | Paper |
| Über die Rückführung überbestimmter Systeme von partiellen Differentialgleichungen auf gewöhnliche Differentialgleichungen und deren Behandlung mit einem elektronischen Analogrechner | 1964-01-01 | Paper |
| Ein Iterationsverfahren zur konformen Abbildung des Einheitskreises auf einen Stern | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3284962 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3276005 | 1960-01-01 | Paper |
