| |
| 1993 | ||
|---|---|---|
| 6 | EE | Gruia-Catalin Roman, Rose F. Gamble, William E. Ball: Formal Derivation of Rule-Based Programs. IEEE Trans. Software Eng. 19(3): 277-296 (1993) |
| 1992 | ||
| 5 | EE | Gruia-Catalin Roman, Rose F. Gamble, William E. Ball: Seeking Concurrency in Rule-Based Programming. ICSE 1992: 225-234 |
| 1991 | ||
| 4 | Rose F. Gamble, Gruia-Catalin Roman, William E. Ball: Formal Verification of Pure Production System Programs. AAAI 1991: 329-334 | |
| 1989 | ||
| 3 | EE | Rosanne M. Fulcomer, William E. Ball: Toward a fully parallel reason maintenance system. IEA/AIE (2) 1989: 742-748 |
| 2 | Rosanne M. Fulcomer, William E. Ball: Correct Parallel Status Assignment for the Reason Maintenance System. IJCAI 1989: 30-35 | |
| 1966 | ||
| 1 | EE | William E. Ball, Robert I. Berns: AUTOMAST: automatic mathematical analysis and symbolic translation. Commun. ACM 9(8): 626-633 (1966) |
| 1 | Robert I. Berns | [1] |
| 2 | Rosanne M. Fulcomer | [2] [3] |
| 3 | Rose F. Gamble | [4] [5] [6] |
| 4 | Gruia-Catalin Roman | [4] [5] [6] |