Some tests of generalized bisection. - R. Baker Kearfott (ACM Trans. Math. Softw., 1987)

Corrigenda: "Some Tests of Generalized Bisection". - R. Baker Kearfott (ACM Trans. Math. Softw., 1988)

Algorithm 681: INTBIS, a portable interval Newton/bisection package. - R. Baker Kearfott; Manuel Novoa (ACM Trans. Math. Softw., 1990)

A Parallelized Algorithm for the All-Row Preconditioned Interval Newton/Generalized Bisection Method. - Chenyi Hu; Magdy A. Bayoumi; R. Baker Kearfott; Qing Yang 001 (PP, 1991)

Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems. - R. Baker Kearfott (Computing, 1991)

Numerical tests of a method for simulating electrical potentials on the cortical surface. - R. Baker Kearfott; Robert D. Sidman; Diana Joan Major; C. Denson Hill (IEEE Trans. Biomed. Eng., 1991)

An interval branch and bound algorithm for bound constrained optimization problems. - R. Baker Kearfott (J. Glob. Optim., 1992)

The cluster problem in multivariate global optimization. - Kaisheng Du; R. Baker Kearfott (J. Glob. Optim., 1994)

Algorithm 737; INTLIB: a portable Fortran 77 interval standard-function library. - Ralph Baker Kearfott; Milind Dawande; Kaisheng Du; Chenyi Hu (ACM Trans. Math. Softw., 1994)

A general iterative sparse linear solver and its parallelization for interval Newton methods. - Chenyi Hu; Anna Frolov; R. Baker Kearfott; Qing Yang 001 (Reliab. Comput., 1995)

Optimizing INTBIS on the CRAY Y-MP. - Chenyi Hu; Joe Sheldon; R. Baker Kearfott; Qing Yang 001 (Reliab. Comput., 1995)

Preface. - R. Baker Kearfott; Eldar A. Musaev; Vyacheslav M. Nesterov; Alexander G. Yakovlev (Reliab. Comput., 1995)

Предисловне. - R. Baker Kearfott; Eldar A. Musaev; Vyacheslav M. Nesterov; Alexander G. Yakovlev (Reliab. Comput., 1995)

A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization. - R. Baker Kearfott (ACM Trans. Math. Softw., 1995)

Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers. - R. Baker Kearfott (Computing, 1996)

Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type. - R. Baker Kearfott (ACM Trans. Math. Softw., 1996)

Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems. - R. Baker Kearfott (SIAM J. Sci. Comput., 1997)

Rigorous Global Search: Industrial Applications. - George F. Corliss; R. Baker Kearfott (SCAN, 1998)

On proving existence of feasible points in equality constrained optimization problems. - R. Baker Kearfott (Math. Program., 1998)

Kreinovich, V., Lakeyev, A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations. - R. Baker Kearfott (Reliab. Comput., 1998)

Existence Verification for Singular Zeros of Complex Nonlinear Systems. - R. Baker Kearfott; Jianwei Dian; Arnold Neumaier (SIAM J. Numer. Anal., 2000)

On stopping criteria in verified nonlinear systems or optimization algorithms. - R. Baker Kearfott; G. William Walster (ACM Trans. Math. Softw., 2000)

An Example of Singularity in Nonlinear Systems. - R. Baker Kearfott (Reliab. Comput., 2001)

GlobSol: History, Composition, and Advice on Use. - R. Baker Kearfott (COCOS, 2002)

Verifying Topological Indices for Higher-Order Rank Deficiencies. - R. Baker Kearfott; Jianwei Dian (J. Complex., 2002)

On Existence and Uniqueness Verification for Non-Smooth Functions. - R. Baker Kearfott (Reliab. Comput., 2002)

SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization. - R. Baker Kearfott; G. William Walster (Reliab. Comput., 2002)

Symbolic Preconditioning with Taylor Models: Some Examples. - R. Baker Kearfott; G. William Walster (Reliab. Comput., 2002)

Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. - R. Baker Kearfott; Markus Neher 001; Shin'ichi Oishi; Fabien Rico (Numerical Software with Result Verification, 2003)

Existence verification for singular and nonsmooth zeros of real nonlinear systems. - Jianwei Dian; R. Baker Kearfott (Math. Comput., 2003)

COCOS'02 - A Workshop on Global Constrained Optimization and Constraint Satisfaction October 2-4, 2002, Sophia-Antipolis, France. - R. Baker Kearfott (Reliab. Comput., 2003)

Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems. - R. Baker Kearfott; Jianwei Dian (SIAM J. Numer. Anal., 2003)

Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives, and Csets. - Humberto Muñoz; R. Baker Kearfott (Reliab. Comput., 2004)

Beyond Convex? Global Optimization is Feasible Only for Convex Objective Functions: A Theorem. - Vladik Kreinovich; R. Baker Kearfott (J. Glob. Optim., 2005)

Errata and Opinion to: "An Interval Entropy Penalty Method for Nonlinear Global Optimization". - R. Baker Kearfott (Reliab. Comput., 2005)

Validated Constraint Solving-Practicalities, Pitfalls, and New Developments. - R. Baker Kearfott (Reliab. Comput., 2005)

Validated Linear Relaxations and Preprocessing: Some Experiments. - R. Baker Kearfott; Siriporn Hongthong (SIAM J. Optim., 2005)

Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization. - R. Baker Kearfott (Optim. Methods Softw., 2006)

János D. Pintér, ed. (2006), Global Optimization: Scientific and Engineering Case Studies, Springer Verlag Nonconvex Optimization and its Applications series, 546 pp., ISBN 0-387-30408-8. - Ralph Baker Kearfott (J. Glob. Optim., 2007)

Formulation for Reliable Analysis of Structural Frames. - George F. Corliss; Christopher Foley; R. Baker Kearfott (Reliab. Comput., 2007)

Interval Subroutine Library Mission. - George F. Corliss; R. Baker Kearfott; Nedialko S. Nedialkov; John D. Pryce; Spencer Smith 001 (Reliable Implementation of Real Number Algorithms, 2008)

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021. - R. Baker Kearfott; John D. Pryce; Nathalie Revol (Numerical Validation in Current Hardware Architectures, 2008)

Second Note on Basic Interval Arithmetic for IEEE754R. - John D. Pryce; George F. Corliss; R. Baker Kearfott; Nedialko S. Nedialkov; Spencer Smith 001 (Numerical Validation in Current Hardware Architectures, 2008)

A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems. - R. Baker Kearfott (Computing, 2008)

Introduction to Interval Analysis. - Ramon E. Moore; R. Baker Kearfott; Michael J. Cloud (SIAM, 2009)

Guest editors' preface: Issue dedicated to Professor Frank Stenger. - Bernard Bialecki; R. Baker Kearfott; Krzysztof A. Sikorski; Masaki Sugihara (J. Complex., 2009)

GlobSol user guide. - R. Baker Kearfott (Optim. Methods Softw., 2009)

Interval Analysis: Intermediate Terms. - R. Baker Kearfott (Encyclopedia of Optimization, 2009)

Interval Analysis: Nondifferentiable Problems. - R. Baker Kearfott (Encyclopedia of Optimization, 2009)

Interval Analysis: Unconstrained and Constrained Optimization. - R. Baker Kearfott (Encyclopedia of Optimization, 2009)

Interval Analysis: Verifying Feasibility. - R. Baker Kearfott (Encyclopedia of Optimization, 2009)

Interval Fixed Point Theory. - R. Baker Kearfott (Encyclopedia of Optimization, 2009)

Interval Newton Methods. - R. Baker Kearfott (Encyclopedia of Optimization, 2009)

Interval computations, rigour and non-rigour in deterministic continuous global optimization. - Ralph Baker Kearfott (Optim. Methods Softw., 2011)

Global Optimization and Singular Nonlinear Programs: New Techniques. - Julie Roy; R. Baker Kearfott (Reliab. Comput., 2011)

Erratum: Validated Linear Relaxations and Preprocessing: Some Experiments. - R. Baker Kearfott (SIAM J. Optim., 2011)

An overview of the upcoming IEEE P-1788 working group document: Standard for interval arithmetic. - Ralph Baker Kearfott (IFSA/NAFIPS, 2013)

A general framework for convexity analysis in deterministic global optimization. - Ralph Baker Kearfott; Jessie Castille; Gaurav Tyagi (J. Glob. Optim., 2013)

On smooth reformulations and direct non-smooth computations for minimax problems. - Ralph Baker Kearfott; Sowmya Muniswamy; Yi Wang; Xinyu Li; Qian Wang (J. Glob. Optim., 2013)

On rigorous upper bounds to a global optimum. - Ralph Baker Kearfott (J. Glob. Optim., 2014)

Assessment of a non-adaptive deterministic global optimization algorithm for problems with low-dimensional non-convex subspaces. - Ralph Baker Kearfott; Jessie Castille; Gaurav Tyagi (Optim. Methods Softw., 2014)

Some observations on exclusion regions in branch and bound algorithms. - Ralph Baker Kearfott (J. Glob. Optim., 2015)

A review of computation of mathematically rigorous bounds on optima of linear programs. - Jared T. Guilbeau; Md. Istiaq Hossain; Sam D. Karhbet; Ralph Baker Kearfott; Temitope S. Sanusi; Lihong Zhao (J. Glob. Optim., 2017)

A Brief Review of a Method for Bounds on Polynomial Ranges over Simplexes. - Ralph Baker Kearfott; Dun Liu (NAFIPS, 2018)