| 2006 |
| 9 | EE | Eldon R. Hansen,
G. William Walster:
Solving Overdetermined Systems of Interval Linear Equations.
Reliable Computing 12(3): 239-243 (2006) |
| 2004 |
| 8 | EE | G. William Walster,
Vladik Kreinovich:
Corrigendum to "Computational complexity of optimization and crude range testing: a new approach motivated by fuzzy optimization": [Fuzzy Sets and Systems 135 (2003) 179-208].
Fuzzy Sets and Systems 141(1): 163 (2004) |
| 2003 |
| 7 | EE | G. William Walster,
Vladik Kreinovich:
Computational complexity of optimization and crude range testing: a new approach motivated by fuzzy optimization.
Fuzzy Sets and Systems 135(1): 179-208 (2003) |
| 2002 |
| 6 | EE | G. William Walster,
Eldon R. Hansen:
Computing Interval Parameter Bounds from Fallible Measurements Using Overdetermined (Tall) Systems of Nonlinear Equations.
COCOS 2002: 171-177 |
| 5 | EE | Eldon R. Hansen,
G. William Walster:
Sharp Bounds on Interval Polynomial Roots.
Reliable Computing 8(2): 115-122 (2002) |
| 4 | EE | Eugene Loh,
G. William Walster:
Rump's Example Revisited.
Reliable Computing 8(3): 245-248 (2002) |
| 3 | EE | R. Baker Kearfott,
G. William Walster:
SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization.
Reliable Computing 8(5): 419-424 (2002) |
| 2 | EE | R. Baker Kearfott,
G. William Walster:
Symbolic Preconditioning with Taylor Models: Some Examples.
Reliable Computing 8(6): 453-468 (2002) |
| 2000 |
| 1 | EE | R. Baker Kearfott,
G. William Walster:
On stopping criteria in verified nonlinear systems or optimization algorithms.
ACM Trans. Math. Softw. 26(3): 373-389 (2000) |