SOCRATES: a system for automatically synthesizing and optimizing combinational logic. - David Gregory; Karen A. Bartlett; Aart J. de Geus; Gary D. Hachtel (DAC, 1986)

Testability-Driven Random Test-Pattern Generation. - Robert Lisanke; Franc Brglez; Aart J. de Geus; David Gregory (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)

An ECL Logic Synthesis System. - Van Morgan; David Gregory (DAC, 1991)

Infinite failure models for a finite world: A simulation study of the fault discovery process. - Wendell D. Jones; David Gregory (ISSRE, 1993)

Integrated Modular Safety System Design for Intelligent Autonomous Vehicles. - Thomas Drage; Kai Li Lim; Joey En Hai Koh; David Gregory; Craig Brogle; Thomas Bräunl (IV, 2021)

A Survey of Oscillation Localization Techniques in Power Systems. - Yunfei Chen 001; Ziyu Fan; David Gregory; Xiaoyao Zhou; Ronak Rabbani (IEEE Access, 2025)