A formalization of Myers cause-effect graphs for unit testing. - Mike Adler; Michael A. Gray (ACM SIGSOFT Softw. Eng. Notes, 1983)

Problems with software complexity measurement. - Robert L. Sedlmeyer; Joseph K. Kearney; William B. Thompson; Michael A. Adler; Michael A. Gray (ACM Conference on Computer Science, 1985)

Software Complexity Measurement. - Joseph K. Kearney; Robert L. Sedlmeyer; William B. Thompson; Michael A. Gray; Michael A. Adler (Commun. ACM, 1986)

An intelligent design machine: architecture and search strategies. - Michael A. Gray (Artif. Intell. Eng. Des. Anal. Manuf., 1988)

Backtalk: A Generalized Dynamic Communication System for DAI. - Kirk Sayre; Michael A. Gray (Softw. Pract. Exp., 1993)

Multiagent reason maintenance and group adaptability. - John Doulamis; Michael A. Gray (IEEE Trans. Syst. Man Cybern. Part A, 1996)

Justification-based belief maintenance using neural networks. - Michael A. Gray (SMC, 2000)

Discrete Event Simulation: A Review of SimEvents. - Michael A. Gray (Comput. Sci. Eng., 2007)

Multiphysics Technologies. - Michael A. Gray (Comput. Sci. Eng., 2008)

Sage: A New Mathematics Software System. - Michael A. Gray (Comput. Sci. Eng., 2008)

Getting Started with GPU Programming. - Michael A. Gray (Comput. Sci. Eng., 2009)