Author: Robert J. Hall
Publications
Co-authors
Productive Colleagues
Publications
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. https://doi.acm.org/10.1145/238355.238456
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. https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250289abs.htm
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. https://doi.ieeecomputersociety.org/10.1109/RE.2004.33
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. https://doi.ieeecomputersociety.org/10.1109/RE.2009.24