An automatic and guaranteed determination of the number of roots of an analytic function interior to a simple closed curve in the complex plane. - Jonathan L. Herlocker; Jeffrey S. Ely (Reliab. Comput., 1995)

Reliable Collision Detection for Time-Dependent Parametric Surfaces. - Anthony P. Leclerc; Jeffrey S. Ely (Reliab. Comput., 1998)

Correct Delaunay Triangulation in the Presence of Inexact Inputs and Arithmetic. - Jeffrey S. Ely; Anthony P. Leclerc (Reliab. Comput., 2000)