1997 |
10 | | William J. Older:
Involution Narrowing Algebra.
Constraints 2(2): 113-130 (1997) |
9 | | Frédéric Benhamou,
William J. Older:
Applying Interval Arithmetic to Real, Integer, and Boolean Constraints.
J. Log. Program. 32(1): 1-24 (1997) |
8 | EE | Pierre Girodias,
Eduard Cerny,
William J. Older:
Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic.
Theor. Comput. Sci. 173(1): 253-281 (1997) |
1996 |
7 | | William J. Older:
CLP (intervals).
ACM Comput. Surv. 28(4es): 71 (1996) |
1995 |
6 | | Pierre Girodias,
Eduard Cerny,
William J. Older:
Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic.
CP 1995: 186-203 |
1993 |
5 | | William J. Older,
Frédéric Benhamou:
Programming in CLP(BNR).
PPCP 1993: 228-238 |
1992 |
4 | | William J. Older,
John A. Rummell:
An Incremental Garbage Collector for WAM-Based Prolog.
JICSLP 1992: 369-383 |
1991 |
3 | | William J. Older,
André Vellino:
Constraint Arithmetic on Real Intervals.
WCLP 1991: 175-195 |
1984 |
2 | | M. Fridrich,
William J. Older:
HELIX: The Architecture of a Distributed File System.
ICDCS 1984: 422-431 |
1981 |
1 | | M. Fridrich,
William J. Older:
The Felix File System.
SOSP 1981: 37-44 |