The Deductive Theory Manager: A Knowledge Based System for Formal Verification. - Ben L. Di Vito; Cristi Garvey; D. Kwong; A. Murray; Jane Solomon; Amy Wu (S&P, 1990)

Extracting useful higher order features for condition monitoring using artificial neural networks. - A. Murray; J. Penman (IEEE Trans. Signal Process., 1997)

Extension of the Sethi Model to the Advertising of Digital Products. - A. Murray; A. B. MacIsaac (SIAM Conf. on Control and its Applications, 2015)

An Industry-focused Advertising Model. - A. Murray (ICORES, 2016)