糖心Vlog

People

Professor Martin Henson

Emeritus Professor
School of Computer Science and Electronic Engineering (CSEE)
Professor Martin Henson

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).

Contact

martin.henson@essex.ac.uk

Location:

1NW.3.10, Colchester Campus