Analysis and Design in MSG.84: Formalizing Functional Specifications. - Valdis Berzins; Michael Gray (IEEE Trans. Software Eng., 1985)

Abstraction-Based Software Development. - Valdis Berzins; Michael Gray; J. David Naumann (Commun. ACM, 1986)

Scaling Down Off-the-Shelf Data Compression: Backwards-Compatible Fine-Grain Mixing. - Michael Gray; Peter Peterson; Peter L. Reiher (ICDCS, 2012)

IBM z14: Enabling physical design in 14-nm technology for high-performance, high-reliability microprocessors. - David Wolpert 001; Erwin Behnen; Leon J. Sigal; Yuen H. Chan; Gustavo Enrique Téllez; Douglas Bradley; Richard E. Serton; Rajesh Veerabhadraiah; William Ansley; Andrew Bianchi; Nagu Dhanwada; Sungjae Lee; et al. (IBM J. Res. Dev., 2018)

Making Existing Software Quantum Safe: Lessons Learned. - Lei Zhang 078; Andriy V. Miranskyy; Walid Rjaibi; Greg Stager; Michael Gray; John Peck (CoRR, 2021)

OceanNet: A principled neural operator-based digital twin for regional oceans. - Ashesh Chattopadhyay; Michael Gray; Tianning Wu; Anna B. Lowe; Ruoying He (CoRR, 2023)

Making existing software quantum safe: A case study on IBM Db2. - Lei Zhang 078; Andriy V. Miranskyy; Walid Rjaibi; Greg Stager; Michael Gray; John Peck (Inf. Softw. Technol., 2023)

Simultaneous emulation and downscaling with physically-consistent deep learning-based regional ocean emulators. - Leonard Lupin-Jimenez; Moein Darman; Subhashis Hazarika; Tianning Wu; Michael Gray; Ruyoing He; Anthony Wong; Ashesh Chattopadhyay (CoRR, 2025)