David Hamilton

11 papers A 1C 1Journal 3Unranked 6

Year	Rank	Type	Title / Venue / Authors
2014	—	`conf`	Contextual insights. WWW (Companion Volume) Ariel Fuxman, Patrick Pantel, Yuanhua Lv, Ashok K. Chandra, Pradeep Chilakamarri, Michael Gamon, David Hamilton, Bernhard Kohlmeier, Dhyanesh Narayanan, Evangelos E. Papalexakis, Bo Zhao
2011	C	`conf`	Increasing SEC Effectiveness through Mobile and Web Applications. SERA Craig Offutt, David Hamilton
2002	—	`conf`	Designing an interface for supporting information visualisation in eLearning discussion forums. CHINZ David Hamilton, David Hunt, Chris Knowles
1998	—	`conf`	Blood glucose prediction for diabetes therapy using a recurrent artificial neural network. EUSIPCO William Sandham, Dimitra Nikoletou, David Hamilton, Ken Paterson, Alan Japp, Catriona MacGregor
1998	J	`jnl`	Experiences Using Lightweight Formal Methods for Requirements Modeling. IEEE Trans. Software Eng. Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton
1995	A	`conf`	An experience report on requirements reliability engineering using formal methods. ISSRE David Hamilton, Richard Covington, Alice T. Lee
1995	—	`conf`	Experiences in applying formal methods to the analysis of software and system requirements. WIFT 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
1994	J	`jnl`	A comprehensive framework for knowledge-base verification and validation. Int. J. Intell. Syst. Scott W. French, David Hamilton
1990	—	`conf`	Designing verifiable expert systems. TAI John Yen, Jonathan Lee, David Hamilton
1989	J	`jnl`	A case study of software testers. Artif. Intell. Eng. Des. Anal. Manuf. Robin Lampert, David Hamilton, Elliot Soloway
1988	—	`conf`	Herbicide Advisory Systems: Weeds in Wheat and other Crops. Australian Joint Conference on Artificial Intelligence Maree Hegarty, John D. Smith, David Hamilton