AUTOMAST: automatic mathematical analysis and symbolic translation. - William E. Ball; Robert I. Berns (Commun. ACM, 1966)

A macromodular meta machine. - William E. Ball (AFIPS Spring Joint Computing Conference, 1967)

A Total System Design Framework. - Gruia-Catalin Roman; Mishell J. Stucki; William E. Ball; Will D. Gillett (Computer, 1984)

Rapid search for spherical objects in aerial photographs. - Kenneth C. Cox; Gruia-Catalin Roman; William E. Ball; Andrew F. Laine (CVPR, 1988)

Toward a fully parallel reason maintenance system. - Rosanne M. Fulcomer; William E. Ball (IEA/AIE (2), 1989)

Correct Parallel Status Assignment for the Reason Maintenance System. - Rosanne M. Fulcomer; William E. Ball (IJCAI, 1989)

Formal Verification of Pure Production System Programs. - Rose F. Gamble; Gruia-Catalin Roman; William E. Ball (AAAI, 1991)

A multiscale approach for recognizing complex annotations in engineering documents. - Andrew Laine; William E. Ball; Arun Kumar (CVPR, 1991)

Seeking Concurrency in Rule-Based Programming. - Gruia-Catalin Roman; Rose F. Gamble; William E. Ball (ICSE, 1992)

Formal Derivation of Rule-Based Programs. - Gruia-Catalin Roman; Rose F. Gamble; William E. Ball (IEEE Trans. Software Eng., 1993)