Verification of Hybrid Systems: Monotonicity in the AHS Control System. - John A. Haddon; Datta N. Godbole; Akash Deshpande; John Lygeros (Hybrid Systems, 1995)

Shape Representations from Shading Primitives. - John A. Haddon; David A. Forsyth (ECCV (2), 1998)

Shading Primitives: Finding Folds and Shallow Grooves. - John A. Haddon; David A. Forsyth (ICCV, 1998)

Bayesian Structure from Motion. - David A. Forsyth; Sergey Ioffe; John A. Haddon (ICCV, 1999)

Finding Objects by Grouping Primitives. - David A. Forsyth; John A. Haddon; Sergey Ioffe (Shape, Contour and Grouping in Computer Vision, 1999)

Adaptive Automatic Target Recognition with SVM Boosting for Outlier Detection. - Kieron Messer; Josef Kittler; John A. Haddon; Graham Watson; Sharon Watson (SSPR/SPR, 2000)

Noise in Bilinear Problems. - John A. Haddon; David A. Forsyth (ICCV, 2001)

The Joy of Sampling. - David A. Forsyth; John A. Haddon; Sergey Ioffe (Int. J. Comput. Vis., 2001)