A Constructive Implementation of the Cartan-Kähler Theory of Exterior Differential Systems. - David Hartley; R. W. Tucker (J. Symb. Comput., 1991)

Gröbner Bases in Clifford and Grassmann Algebras. - David Hartley; Philip Tuckey (J. Symb. Comput., 1995)

Cambridge and CPL in the 1960s. - David Hartley (High. Order Symb. Comput., 2000)

Darboux Integrability in More Than Two Dimensions. - David Hartley (Appl. Algebra Eng. Commun. Comput., 2001)

EDSAC Replica Project. - Andrew Herbert; David Hartley (HC, 2013)

CPL: Failed Venture or Noble Ancestor? - David Hartley (IEEE Ann. Hist. Comput., 2013)

A Bayesian method for calibration and aggregation of expert judgement. - David Hartley; Simon French 001 (Int. J. Approx. Reason., 2021)

Development of a multimodal geomarker pipeline to assess the impact of social, economic, and environmental factors on pediatric health outcomes. - Erika Rasnick Manning; Qing Duan; Stuart Taylor; Sarah Ray; Alexandra M. S. Corley; Joseph Michael; Ryan Gillette; Ndidi Unaka; David Hartley; Andrew F. Beck; Cole Brokamp; Chidiogo Anyigbo; et al. (J. Am. Medical Informatics Assoc., 2024)