| Numerical toolbox for verified computing I: Basic numerical problems theory, algorithms, and pascal-XSC programs R Hammer, M Hocks, U Kulisch, D Ratz Springer Science & Business Media, 2012 | 385 | 2012 |
| C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs R Hammer, M Hocks, U Kulisch, D Ratz Springer Science & Business Media, 2012 | 353 | 2012 |
| PASCAL-XSC: Language reference with examples R Klatte, U Kulisch, M Neaga, D Ratz, C Ullrich Springer Science & Business Media, 2012 | 269 | 2012 |
| Subdivision direction selection in interval methods for global optimization T Csendes, D Ratz SIAM Journal on Numerical Analysis 34 (3), 922-938, 1997 | 217 | 1997 |
| On the selection of subdivision directions in interval branch-and-bound methods for global optimization D Ratz, T Csendes Journal of Global Optimization 7 (2), 183-207, 1995 | 157 | 1995 |
| Pascal-XSC: Sprachbeschreibung Mit Beispielen R Klatte, U Kulisch, M Neaga, D Ratz, C Ullrich Springer-Verlag, 2013 | 101 | 2013 |
| Automatische ergebnisverifikation bei globalen optimierungsproblemen D Ratz Karlsruhe, Univ., Diss., 1992, 1992 | 96 | 1992 |
| Towards self-organizing knowledge intensive processes C Richter-von Hagen, D Ratz, R Povalej Journal of Universal Knowledge Management 2, 148-169, 2005 | 84 | 2005 |
| Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method D Ratz Computing 53 (3-4), 337-353, 1994 | 64 | 1994 |
| Automatic slope computation and its application in nonsmooth global optimization D Ratz Verlag nicht ermittelbar, 1998 | 59 | 1998 |
| A nonsmooth global optimization technique using slopes: the one-dimensional case D Ratz Journal of Global Optimization 14, 365-393, 1999 | 56 | 1999 |
| Improving the efficiency of a nonlinear-system-solver using a componentwise newton method S Herbort, D Ratz Inst. für Angewandte Mathematik, 1997 | 40 | 1997 |
| Pascal-XSC new concepts for scientific computation and numerical data processing R Hammer, M Neaga, D Ratz Mathematics in science and engineering 189, 15-44, 1993 | 34 | 1993 |
| Grundkurs Programmieren in Java D Ratz, D Schulmeister-Zimolong, D Seese, J Wiesenberger Carl Hanser Verlag GmbH Co KG, 2018 | 30 | 2018 |
| A combined method for enclosing all solutions of nonlinear systems of polynomial equations C Jäger, D Ratz Reliable Computing 1 (1), 41-64, 1995 | 28 | 1995 |
| Inclusion isotone extended interval arithmetic D Ratz Bericht 5, 96, 1996 | 27 | 1996 |
| The effects of the arithmetic of vector computers on basic numerical methods D Ratz Contributions to Computer Arithmetic and Self-Validating Numerical Methods 7 …, 1990 | 25 | 1990 |
| An optimized interval slope arithmetic and its application D Ratz Inst. für Angewandte Mathematik, 1996 | 22 | 1996 |
| On extended interval arithmetic and inclusion isotonicity D Ratz Institut für Angewandte Mathematik, Universität Karlsruhe, 1996 | 21 | 1996 |
| An inclusion algorithm for global optimization in a portable PASCAL-XSC implementation D Ratz Computer arithmetic and enclosure methods, 329-338, 1992 | 21 | 1992 |
