| Publication | Date of Publication | Type |
|---|
| Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue | 2022-12-21 | Paper |
| Mathematically Rigorous Global Optimization and Fuzzy Optimization | 2021-09-30 | Paper |
| A review of computation of mathematically rigorous bounds on optima of linear programs | 2017-08-24 | Paper |
| Some observations on exclusion regions in branch and bound algorithms | 2015-06-22 | Paper |
| On rigorous upper bounds to a global optimum | 2014-07-04 | Paper |
| Assessment of a non-adaptive deterministic global optimization algorithm for problems with low-dimensional non-convex subspaces | 2014-02-07 | Paper |
| On smooth reformulations and direct non-smooth computations for minimax problems | 2013-12-09 | Paper |
| A general framework for convexity analysis in deterministic global optimization | 2013-08-01 | Paper |
| Interval computations, rigour and non-rigour in deterministic continuous global optimization | 2011-10-12 | Paper |
| Erratum: Validated Linear Relaxations and Preprocessing: Some Experiments | 2011-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3583363 | 2010-08-27 | Paper |
| Global Optimization and Constraint Satisfaction | 2010-02-02 | Paper |
| GlobSol user guide | 2009-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5322355 | 2009-07-20 | Paper |
| Introduction to Interval Analysis | 2009-02-20 | Paper |
| A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems | 2008-11-25 | Paper |
| Numerical Software with Result Verification | 2007-09-28 | Paper |
| Formulation for reliable analysis of structural frames | 2007-03-06 | Paper |
| Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization | 2007-02-14 | Paper |
| Validated Linear Relaxations and Preprocessing: Some Experiments | 2006-05-30 | Paper |
| Beyond convex? global optimization is feasible only for convex objective functions: a theorem | 2006-02-20 | Paper |
| Validated constraints solving --- practicalities, pitfalls, and new developments | 2005-10-18 | Paper |
| Errata and opinion to: An interval entropy penalty method for nonlinear gobal optimization | 2005-08-02 | Paper |
| Slope intervals, generalized gradients, semigradients, slant derivatives, and csets | 2004-08-06 | Paper |
| Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems | 2004-01-18 | Paper |
| On stopping criteria in verified nonlinear systems or optimization algorithms | 2003-06-25 | Paper |
| An example of singularity in nonlinear systems | 2003-06-17 | Paper |
| Symbolic preconditioning with Taylor models: Some examples | 2003-04-28 | Paper |
| Existence verification for singular and nonsmooth zeros of real nonlinear systems | 2003-02-19 | Paper |
| Verifying topological indices for higher-order rank deficiencies | 2002-09-30 | Paper |
| On existence and uniqueness verification for non-smooth functions | 2002-08-21 | Paper |
| Existence Verification for Singular Zeros of Complex Nonlinear Systems | 2000-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4949341 | 2000-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936881 | 2000-02-01 | Paper |
| On proving existence of feasible points in equality constrained optimization problems | 1999-06-28 | Paper |
| Algorithm 681: INTBIS, a portable interval Newton/bisection package | 1998-03-23 | Paper |
| Algorithm 763: INTERVAL_ARITHMETIC | 1998-01-28 | Paper |
| A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization | 1998-01-26 | Paper |
| Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library | 1998-01-25 | Paper |
| Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems | 1997-10-01 | Paper |
| Rigorous global search: continuous problems | 1997-04-29 | Paper |
| Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers | 1997-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3125537 | 1997-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688498 | 1997-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885366 | 1996-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885367 | 1996-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4874524 | 1996-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4874513 | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4874512 | 1996-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4865664 | 1996-04-15 | Paper |
| A general iterative sparse linear solver and its parallelization for interval Newton methods | 1996-02-01 | Paper |
| Optimizing INTBIS on the CRAY Y-MP | 1996-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4849579 | 1996-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4849586 | 1996-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4849616 | 1996-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851406 | 1996-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851646 | 1995-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851651 | 1995-11-21 | Paper |
| The cluster problem in multivariate global optimization | 1995-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4849608 | 1995-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851614 | 1995-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851402 | 1995-10-10 | Paper |
| An Interval Step Control for Continuation Methods | 1995-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284590 | 1994-03-24 | Paper |
| An interval branch and bound algorithm for bound constrained optimization problems | 1993-01-16 | Paper |
| Decompostition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems | 1992-06-27 | Paper |
| Interval Newton/generalized bisection when there are singularities near roots | 1992-06-25 | Paper |
| Preconditioners for the Interval Gauss–Seidel Method | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3471638 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4206325 | 1989-01-01 | Paper |
| Corrigenda: “Some Tests of Generalized Bisection” | 1988-01-01 | Paper |
| Abstract Generalized Bisection and a Cost Bound | 1987-01-01 | Paper |
| Some tests of generalized bisection | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3326745 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668750 | 1983-01-01 | Paper |
| A Sinc Approximation for the Indefinite Integral | 1983-01-01 | Paper |
| Some General Bifurcation Techniques | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3911287 | 1981-01-01 | Paper |
| An efficient degree-computation method for a generalized method of bisection | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3902407 | 1979-01-01 | Paper |
| A Proof of Convergence and an Error Bound for the Method of Bisection in R n | 1978-01-01 | Paper |
