Detection of Mutual Inconsitency in Distributed Systems. - Douglas Stott Parker Jr.; Gerald J. Popek; Gerard Rudisin; Allen Stoughton; Bruce J. Walker; Evelyn Walton; Johanna M. Chow; David A. Edwards; Stephen Kiser; Charles S. Kline (Berkeley Workshop, 1981)

LOCUS - A Network Transparent, High Reliability Distributed System. - Gerald J. Popek; Bruce J. Walker; Johanna M. Chow; David A. Edwards; Charles S. Kline; Gerard Rudisin; Greg Thiel (SOSP, 1981)

Detection of Mutual Inconsistency in Distributed Systems. - Douglas Stott Parker Jr.; Gerald J. Popek; Gerard Rudisin; Allen Stoughton; Bruce J. Walker; Evelyn Walton; Johanna M. Chow; David A. Edwards; Stephen Kiser; Charles S. Kline (IEEE Trans. Software Eng., 1983)

Centrenet - A High Performance Local Area Network. - Roland N. Ibbett; David A. Edwards; T. P. Hopkins; C. K. Cadogan; D. A. Train (Comput. J., 1985)

Formal Specification and Verification of Hardware: A Comparative Case Study. - Victoria Stavridou; Howard Barringer; David A. Edwards (DAC, 1988)

Exploiting Read-Mostly Workloads in The FileNet File System. - David A. Edwards; Martin S. McKendry (SOSP, 1989)

Tools for validating asynchronous digital circuits. - Aaron Ashkinazy; David A. Edwards; Craig Farnsworth; Gary Gendel; Shiv S. Sikand (ASYNC, 1994)

Utilising dynamic logic for low power consumption in asynchronous circuits. - Craig Farnsworth; David A. Edwards; Shiv S. Sikand (ASYNC, 1994)

A hybrid asynchronous system design environment. - Craig Farnsworth; David A. Edwards; Jianwei Liu; Shiv S. Sikand (ASYNC, 1995)

Constant Front Speed in Weakly Diffusive Non-Fickian Systems. - David A. Edwards (SIAM J. Appl. Math., 1995)

An Unusual Moving Boundary Condition Arising in Anomalous Diffusion Problems. - David A. Edwards; D. S. Cohen (SIAM J. Appl. Math., 1995)

Skinning During Desorption of Polymers: An Asymptotic Analysis. - David A. Edwards (SIAM J. Appl. Math., 1998)

Asymptotic and Computational Analysis of Large Shear Deformations of a Thermoplastic Material. - David A. Edwards; Donald A. French (SIAM J. Appl. Math., 1998)

AMULET3i - An Asynchronous System-on-Chip. - Jim D. Garside; W. J. Bainbridge; Andrew Bardsley; David M. Clark; David A. Edwards; Stephen B. Furber; David W. Lloyd; Siamak Mohammadi; J. S. Pepper; Steve Temple; John V. Woods; Jianwei Liu; et al. (ASYNC, 2000)

AMULET3: A 100 MIPS Asynchronous Embedded Processor. - Stephen B. Furber; David A. Edwards; Jim D. Garside (ICCD, 2000)

Biochemical Reactions on Helical Structures. - David A. Edwards (SIAM J. Appl. Math., 2000)

An Alternative Example of the Method of Multiple Scales. - David A. Edwards (SIAM Rev., 2000)

Testing the validity of the effective rate constant approximation for surface reaction with transport. - David A. Edwards; Seth A. Jackson (Appl. Math. Lett., 2002)

Desorption Overshoot in Polymer-Penetrant Systems: Asymptotic and Computational Results. - David A. Edwards; Richard A. Cairncross (SIAM J. Appl. Math., 2002)

Delay-Insensitive, Point-to-Point Interconnect Using M-of-N Codes. - W. J. Bainbridge; William B. Toms; David A. Edwards; Stephen B. Furber (ASYNC, 2003)

Traveling waves for anomalous diffusion in polymers. - S. Swaminathan; David A. Edwards (Appl. Math. Lett., 2004)

Efficient synthesis of speed-independent combinational logic circuits. - William B. Toms; David A. Edwards (ASP-DAC, 2005)

The effect of receptor site nonuniformity on the measurement of rate constants. - David A. Edwards; Sumanth Swaminathan (Appl. Math. Lett., 2005)

Synthesising Heterogeneously Encoded Systems. - William B. Toms; David A. Edwards; Andrew Bardsley (ASYNC, 2006)

Convection Effects in Thin Reaction Zones: Applications to Biacore. - David A. Edwards (SIAM J. Appl. Math., 2006)

A New Design Technique for Weakly Indicating Function Blocks. - P. Balasubramanian 001; David A. Edwards (DDECS, 2008)

Efficient Realization of Strongly Indicating Function Blocks. - P. Balasubramanian 001; David A. Edwards (ISVLSI, 2008)

Self-timed full adder designs based on hybrid input encoding. - P. Balasubramanian 001; David A. Edwards; Charlie Brej (DDECS, 2009)

A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths. - William B. Toms; David A. Edwards (ACSD, 2010)

M-of-N Code Decomposition for Indicating Combinational Logic. - William B. Toms; David A. Edwards (ASYNC, 2010)

Indicating combinational logic decomposition. - William B. Toms; David A. Edwards (IET Comput. Digit. Tech., 2011)

Redundant Logic Insertion and Latency Reduction in Self-Timed Adders. - P. Balasubramanian 001; David A. Edwards; William B. Toms (VLSI Design, 2012)

Self-Timed Section-Carry Based Carry Lookahead Adders and the Concept of Alias Logic. - P. Balasubramanian 001; David A. Edwards; William B. Toms (J. Circuits Syst. Comput., 2013)

An Application of Matrix Theory to the Evolution of Coupled Modes. - David A. Edwards; Joseph D. Fehribach; Richard O. Moore; Colin J. McKinstrie (SIAM Rev., 2013)

Applications of fractional calculus in solving Abel-type integral equations: Surface-volume reaction problem. - Ryan M. Evans; Udita N. Katugampola; David A. Edwards (Comput. Math. Appl., 2017)

Effect of a Clinical Decision Support Alert Encouraging Prescribing of Naloxone for Patients at High Risk of Opioid Overdose. - Adam Wright; Hayley Rector; Andrew J. Teare; Allison B. McCoy; Tyler Barrett; David A. Edwards; David E. Marcovitz; Scott D. Nelson (AMIA, 2020)