- Formulation for Reliable Analysis of Structural Frames, (with Chris Foley and R. Baker Kearfott), Reliable Computing. 13/2, 125-147.
- Interval Arithmetic with Containment Sets, (with John D. Pryce), to appear in Computing.
- Interval Subroutine Library Mission, (with R. Baker Kearfott, Ned Nedialkov, John D. Pryce and Spencer Smith), to appear in Realiable Implementation of Real Number Algorithms: Theory and Practice, in the LNCS series of Springer Verlag, P. Hertling, C. Hoffmann, W. Luther and N. Revol, eds.
|