David Hamilton

According to our database, David Hamilton authored at least 11 papers between 1988 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

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

Proceedings of the 23rd International World Wide Web Conference, 2014

2011

Increasing SEC Effectiveness through Mobile and Web Applications.

Craig Offutt, David Hamilton

Proceedings of the 9th International Conference on Software Engineering Research, 2011

2002

Designing an interface for supporting information visualisation in eLearning discussion forums.

David Hamilton, David Hunt, Chris Knowles

Proceedings of the SIGCHI-NZ Symposium on Computer-Human Interaction, 2002

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

Blood glucose prediction for diabetes therapy using a recurrent artificial neural network.

William Sandham, Dimitra Nikoletou, David Hamilton, Ken Paterson, Alan Japp, Catriona MacGregor

Proceedings of the 9th European Signal Processing Conference, 1998

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

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

An experience report on requirements reliability engineering using formal methods.

David Hamilton, Richard Covington, Alice T. Lee

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1994

A comprehensive framework for knowledge-base verification and validation.

Scott W. French, David Hamilton

Int. J. Intell. Syst., 1994

1990

Designing verifiable expert systems.

John Yen, Jonathan Lee, David Hamilton

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

1989

A case study of software testers.

Robin Lampert, David Hamilton, Elliot Soloway

Artif. Intell. Eng. Des. Anal. Manuf., 1989

1988

Herbicide Advisory Systems: Weeds in Wheat and other Crops.

Maree Hegarty, John D. Smith, David Hamilton

Proceedings of the AI '88: 2nd Australian Joint Artificial Intelligence Conference, 1988