 | 2009 |
| 21 |  | Louis B. Rall,
George F. Corliss:
Automatic Differentiation: Point and Interval.
Encyclopedia of Optimization 2009: 165-170 |
| 20 |  | James B. Walters,
George F. Corliss:
Automatic Differentiation: Point and Interval Taylor Operators.
Encyclopedia of Optimization 2009: 170-176 |
| 19 |  | George F. Corliss,
Louis B. Rall:
Bounding Derivative Ranges.
Encyclopedia of Optimization 2009: 318-325 |
| 2008 |
| 18 |  | John D. Pryce,
George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
Spencer Smith:
Second Note on Basic Interval Arithmetic for IEEE754R.
Numerical Validation in Current Hardware Architectures 2008 |
| 17 |  | George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
John D. Pryce,
Spencer Smith:
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms 2008: 28-43 |
| 2007 |
| 16 |  | Nancy L. Sobczak,
George F. Corliss,
Martin A. Seitz,
Peter J. Tonellato:
Cluster Methodology Defines Archetype Sentinel Consomic Rats.
CIBCB 2007: 54-57 |
| 15 |  | George F. Corliss,
Christopher Foley,
R. Baker Kearfott:
Formulation for Reliable Analysis of Structural Frames.
Reliable Computing 13(2): 125-147 (2007) |
| 2006 |
| 14 |  | George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
John D. Pryce,
Spencer Smith:
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms 2006 |
| 13 |  | John D. Pryce,
George F. Corliss:
Interval Arithmetic with Containment Sets.
Computing 78(3): 251-276 (2006) |
| 12 |  | George F. Corliss,
Kaj Madsen:
Second Scandinavian Workshop on Interval Methods and Their Applications.
Reliable Computing 12(2): 167-169 (2006) |
| 2003 |
| 11 |  | George F. Corliss,
Jun Yu:
Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic.
Numerical Software with Result Verification 2003: 91-106 |
| 1999 |
| 10 |  | Nedialko S. Nedialkov,
Kenneth R. Jackson,
George F. Corliss:
Validated solutions of initial value problems for ordinary differential equations.
Applied Mathematics and Computation 105(1): 21-68 (1999) |
| 9 |  | George F. Corliss:
Reminiscences "Back in the Good Old Days...".
Reliable Computing 5(2): 209-209 (1999) |
| 1998 |
| 8 |  | Paulina Chin,
Robert M. Corless,
George F. Corliss:
Optimization Strategies for the Approximate GCD Problem.
ISSAC 1998: 228-235 |
| 7 |  | George F. Corliss,
Ramon E. Moore:
1998 SIAM Annual Meeting: Interval Highlights - Toronto, July 13-17, 1998.
Reliable Computing 4(4): 411-412 (1998) |
| 1996 |
| 6 |  | George F. Corliss,
Andreas Griewank,
Petra Henneberger,
Gabriella Kirlinger,
Florian A. Potra,
Hans J. Stetter:
High-Order Stiff ODE Solvers via Automatic Differentiation and Rational Prediction.
WNAA 1996: 114-125 |
| 1992 |
| 5 |  | Christian H. Bischof,
Alan Carle,
George F. Corliss,
Andreas Griewank:
ADIFOR: Automatic Differentiation in a Source Translator Environment.
ISSAC 1992: 294-302 |
| 4 |  | Christian H. Bischof,
Alan Carle,
George F. Corliss,
Andreas Griewank,
Paul D. Hovland:
ADIFOR - Generating Derivative Codes form Fortran Programs.
Scientific Programming 1(1): 11-29 (1992) |
| 1989 |
| 3 |  | George F. Corliss,
Gary Krenz:
Indefinite integration with validation.
ACM Trans. Math. Softw. 15(4): 375-393 (1989) |
| 1982 |
| 2 |  | George F. Corliss,
Y. F. Chang:
Solving Ordinary Differential Equations Using Taylor Series.
ACM Trans. Math. Softw. 8(2): 114-144 (1982) |
| 1976 |
| 1 |  | George F. Corliss:
Computer graphics assisted numerical analysis instruction.
Computers & Graphics 2(1): 11-13 (1976) |