Herbicide Advisory Systems: Weeds in Wheat and other Crops. - Maree Hegarty; John D. Smith; David Hamilton (Australian Joint Conference on Artificial Intelligence, 1988)

A case study of software testers. - Robin Lampert; David Hamilton; Elliot Soloway (Artif. Intell. Eng. Des. Anal. Manuf., 1989)

Designing verifiable expert systems. - John Yen; Jonathan Lee 001; David Hamilton (TAI, 1990)

A comprehensive framework for knowledge-base verification and validation. - Scott W. French; David Hamilton (Int. J. Intell. Syst., 1994)

An experience report on requirements reliability engineering using formal methods. - David Hamilton; Richard Covington; Alice T. Lee (ISSRE, 1995)

Experiences in applying formal methods to the analysis of software and system requirements. - David Hamilton; Richard Covington; John Kelly; Carron Kirkwood; Muffy Thomas; Alan R. Flora-Holmquist; Mark G. Staskauskas; Steven P. Miller; Mandayam K. Srivas; George Cleland; Donald MacKenzie (WIFT, 1995)

Blood glucose prediction for diabetes therapy using a recurrent artificial neural network. - William Sandham; Dimitra Nikoletou; David Hamilton; Ken Paterson; Alan Japp; Catriona MacGregor (EUSIPCO, 1998)

Experiences Using Lightweight Formal Methods for Requirements Modeling. - Steve M. Easterbrook; Robyn R. Lutz; Richard Covington; John Kelly; Yoko Ampo; David Hamilton (IEEE Trans. Software Eng., 1998)

Designing an interface for supporting information visualisation in eLearning discussion forums. - David Hamilton; David Hunt; Chris Knowles (CHINZ, 2002)

Increasing SEC Effectiveness through Mobile and Web Applications. - Craig Offutt; David Hamilton (SERA, 2011)

Contextual insights. - Ariel Fuxman; Patrick Pantel; Yuanhua Lv; Ashok K. Chandra; Pradeep Chilakamarri; Michael Gamon; David Hamilton; Bernhard Kohlmeier; Dhyanesh Narayanan; Evangelos E. Papalexakis; Bo Zhao 001 (WWW (Companion Volume), 2014)