Robert J. Hall

Personal Homepage

Publication Statistics

Publication period start
Publication period end
Number of co-authors

Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications


Hall, Robert J. (2009): Forensic System Verification. In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009 , 2009, . pp. 111-120.

Hall, Robert J., Zisman, Andrea (2004): OMML: A Behavioural Model Interchange Format. In: 12th IEEE International Conference on Requirements Engineering RE 2004 6-10 September, 2004, Kyoto, Japan. pp. 272-282.

Hall, Robert J. (2001): Specification Modeling and Validation Applied to Network Security Gateways. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 289-291.

Hall, Robert J. (1998): How to Avoid Unwanted Email. In Communications of the ACM, 41 (3) pp. 88-95.

Hall, Robert J. (1996): Infomod: A Knowledge-Based Moderator for Electronic Mail Help Lists. In: CIKM 96 - Proceedings of the Fifth International Conference on Information and Knowledge Management November 12 - 16, 1996, Rockville, Maryland, USA. pp. 107-114.