Browse by Person
 | Up a level |
Article
Whittington, L and Dooley, J and Henson, M and Al-Ghamdi, A (2013) Towards Realising FollowMe User Profiles for Macro-Intelligent Environments. Computers, 2 (3). pp. 132-151. DOI https://doi.org/10.3390/computers2030132
Book Section
Dooley, James and Hagras, Hani and Callaghan, Vic and Henson, Martin (2013) The Tailored Fabric of Intelligent Environments. In: Internet of Things and Inter-cooperative Computational Technologies for Collective Intelligence. Studies in Computational Intelligence, 460 . Springer, pp. 321-344. ISBN 978-3-642-34951-5. Official URL: https://doi.org/10.1007/978-3-642-34952-2
Henson, M and Dooley, J and Whittington, L and Al Malaise Al Ghamdi, A (2012) FollowMe: A Bigraphical Approach. In: Workshop Proceedings of the 8th International Conference on Intelligent Environments. Ambient Intelligence and Smart Environments . IOS Press, pp. 434-445. ISBN 9781614990796.
Whittington, L and Dooley, J and Henson, M and Al Malaise Al Ghamdi, A (2012) Towards FollowMe User Profiles for Macro Intelligent Environments. In: Workshop Proceedings of the 8th International Conference on Intelligent Environments. Ambient Intelligence and Smart Environments . IOS Press, pp. 179-190. ISBN 9781614990796.
Henson, M and Dooley, J and Al Malaise Al Ghamdi, A and Whittington, L (2012) Towards Simple and Effective Formal Methods for Intelligent Environments. In: Proceedings of the Eighth International Conference on Intelligent Environments. Institute of Electrical and Electronics Engineers (IEEE), pp. 251-258. ISBN 9781467320931.
Henson, M (2009) Applications and Methodology of ?Z. In: Formal Methods: State of the Art and New Directions. Springer, pp. 117-145. ISBN 9781848827356.
Henson, M and Deutsch, M and Reeves, S (2008) Z Logic and Its Applications. In: Logics of Specification Languages. Monographs in Theoretical Computer Science . Springer, pp. 489-596. ISBN 9783540741060.
Monograph
Deutsch, M and Henson, M and Reeves, S (2003) CSM-379a Results on Formal Stepwise Design in Z. UNSPECIFIED. CSM-379a, University of Essex, Colchester.
Henson, M and Reeves, S (2002) CSM-362a - An Analysis of total correctness refinement models for partial relation semantics I. UNSPECIFIED. CSM-362a, University of Essex, Colchester.
Henson, M and Deutsch, M and Reeves, S (2002) CSM-363 - Six theories of operation refinement for partial relation semantics. UNSPECIFIED. CSM-363, University of Essex, Colchester.
Henson, M and Deutsch, M and Reeves, S (2002) CSM-364 - An analysis of operation refinement in Z. UNSPECIFIED. CSM-364, University of Essex, Colchester.
Henson, M and Reeves, S (2001) CSM-361 - A Logic for Schema-based Program Development. UNSPECIFIED. CSM-361, University of Essex, Colchester.
Henson, M (1993) CSM-195 Transformations as proofs. UNSPECIFIED. CSM-195, University of Essex, Colchester.
Henson, M (1993) CSM-196 On the proof theory of program transformations. UNSPECIFIED. CSM-195, University of Essex, Colchester.
Henson, M (1992) CSM-179 - Transformational Derivation in the Programming Logic TK. UNSPECIFIED. CSM-179, University of Essex, Colchester.
Deutsch, M and Henson, M and Reeves, S CSM-379 An analysis of total correctness refinement models for partial relation semantics I. UNSPECIFIED. CSM-379, University of Essex, Colchester.
Henson, M and Deutsch, M and Kajtazi, B CSM-421 The Specification Logic vZ. UNSPECIFIED. CSM-421, University of Essex, Colchester.
Conference or Workshop Item
Henson, M (2014) From specification languages to wide-spectrum logics. In: Seventh International Conference on Contemporary Computing (IC3), 2014, ? - ?, Noida.
Bilgin, Aysenur and Dooley, James and Whittington, Luke and Hagras, Hani and Henson, Martin and Wagner, Christian and Malibari, Areej and Al-Ghamdi, Abdullah and Alhaddad, Mohammed J and Alghazzawi, Daniyal (2012) Dynamic Profile-Selection for zSlices based type-2 fuzzy agents controlling multi-user Ambient Intelligent Environments. In: 2012 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2012-06-10 - 2012-06-15.
Dooley, James and Henson, Martin and Callaghan, Vic and Hagras, Hani and Al-Ghazzawi, Daniyal and Malibari, Areej and Al-Haddad, Mohammed and Al-Ghamdi, Abdullah Al-Malaise (2011) A Formal Model for Space Based Ubiquitous Computing. In: 2011 7th International Conference on Intelligent Environments (IE), 2011-07-25 - 2011-07-28.
Dooley, James and Henson, Martin and Callaghan, Victor and Hagras, Hani and Al-Ghazzawi, Daniyal and Malibari, Areej and Al-Haddad, Mohammed and Al-Malaise Al-Ghamdi, Abdullah (2011) Formal Model For Space Based Ubiquitous Computing. In: Proceedings of the 2011 International Conference on Intelligent Environments.
Book
Henson, M (1987) Elements of functional languages. Blackwell Scientific Publications . Blackwell Scientific Publications, Ltd., Oxford, UK, UK. ISBN 0-632-01506-3.