- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| 5 |      | Adam Brooks Webber: What is a class invariant? PASTE 2001: 86-89 |
| 1997 | ||
| 4 |  | Adam Brooks Webber: Program Analysis Using Binary Relations. PLDI 1997: 249-260 |
| 1996 | ||
| 3 | | Adam Brooks Webber: The Pascal Trainer. SIGCSE 1996: 261-265 |
| 1995 | ||
| 2 | | Adam Brooks Webber: Optimization of Functional Programs by Grammar Thinning. ACM Trans. Program. Lang. Syst. 17(2): 293-330 (1995) |
| 1 | | Adam Brooks Webber: Proof of the Interval Satisfiability Conjecture. Ann. Math. Artif. Intell. 15(2): 231-238 (1995) |