| |
| 2001 | ||
|---|---|---|
| 5 | EE | 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 | EE | Adam Brooks Webber: The Pascal Trainer. SIGCSE 1996: 261-265 |
| 1995 | ||
| 2 | EE | 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) | |