Professor Martin Henson

-
Email
martin.henson@essex.ac.uk -
Location
1NW.3.10, Colchester Campus
Research and professional activities
Research interests
Formal methods including Logics for Specification, Refinement and Program Development.
Publications
Journal articles (2)
Whittington, L., Dooley, J., Henson, M. and Al-Ghamdi, A., (2013). . Computers. 2 (3), 132-151
Dooley, J., Hagras, H., Callaghan, V. and Henson, M., (2013). The Tailored Fabric of Intelligent Environments. Studies in Computational Intelligence. 460, 321-344
Books (1)
Henson, M., (1987). . Blackwell Scientific Publications, Ltd.. 0-632-01506-3
Book chapters (7)
Dooley, J., Hagras, H., Callaghan, V. and Henson, M., (2013). . In: Internet of Things and Inter-cooperative Computational Technologies for Collective Intelligence. Editors: Bessis, N., Xhafa, F., Varvarigou, D., Hill, R. and Li, M., . Springer. 321- 344. 978-3-642-34951-5
Henson, M., Dooley, J., Whittington, L. and Al Malaise Al Ghamdi, A., (2012). . In: Workshop Proceedings of the 8th International Conference on Intelligent Environments. IOS Press. 434- 445. 9781614990796
Whittington, L., Dooley, J., Henson, M. and Al Malaise Al Ghamdi, A., (2012). . In: Workshop Proceedings of the 8th International Conference on Intelligent Environments. IOS Press. 179- 190. 9781614990796
Henson, M., Dooley, J., Al Malaise Al Ghamdi, A. and Whittington, L., (2012). . In: Proceedings of the Eighth International Conference on Intelligent Environments. Institute of Electrical and Electronics Engineers (IEEE). 251- 258. 9781467320931
Henson, M., (2009). . In: Formal Methods: State of the Art and New Directions. Editors: Boca, P., Bowen, JP. and Siddiqi, J., . Springer. 117- 145. 9781848827356
Henson, M., Deutsch, M. and Reeves, S., (2008). . In: Logics of Specification Languages. Editors: Henson, M. and Bjorner, D., . Springer. 489- 596. 9783540741060
Turner, R. and Henson, M., (1982). Completion Semantics and Interpreter Generation. In: POPL2 Proceedings of the 9th ACM SIGPLAN-SIGACT SYMPOSIUM. ACM. 0-89791-065-6
Conferences (5)
Henson, M., (2014).
Bilgin, A., Dooley, J., Whittington, L., Hagras, H., Henson, M., Wagner, C., Malibari, A., Al-Ghamdi, A., Alhaddad, MJ. and Alghazzawi, D., (2012).
Dooley, J., Henson, M., Callaghan, V., Hagras, H., Al-Ghazzawi, D., Malibari, A., Al-Haddad, M. and Al-Ghamdi, AA-M., (2011).
Dooley, J., Henson, M., Callaghan, V., Hagras, H., Al-Ghazzawi, D., Malibari, A., Al-Haddad, M. and Al-Ghamdi, AA., (2011). A Formal Model for Space Based Ubiquitous Computing
Henson, M. and Turner, R., (1982). Completion semantics and Interpreter Generation
Reports and Papers (10)
Deutsch, M., Henson, M. and Reeves, S.,
Henson, M., Deutsch, M. and Kajtazi, B.,
Deutsch, M., Henson, M. and Reeves, S., (2003).
Henson, M. and Reeves, S., (2002).
Henson, M., Deutsch, M. and Reeves, S., (2002).
Henson, M., Deutsch, M. and Reeves, S., (2002).
Henson, M. and Reeves, S., (2001).
Henson, M., (1993).
Henson, M., (1993).
Henson, M., (1992).