A New Technique for Strictness Analysis. - David A. Wright 001 (TAPSOFT, Vol.2, 1991)

Usage Analysis with Natural Reduction Types. - David A. Wright 001; Clement A. Baker-Finch (WSA, 1993)

Predictive Parser Combinators Need four Values to Report Errors. - Andrew S. Partridge; David Wright 006 (J. Funct. Program., 1996)

Trust in the Pi-Calculus. - Mark Hepburn; David Wright 006 (PPDP, 2001)

Linearity and Passivity. - David A. Wright 001 (CATS, 2003)

Adaptive Cooperative Fuzzy Logic Controller. - Justin Ammerlaan; David Wright 006 (ACSC, 2004)