Martin Henson

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Personalized Search

Personal Interests

Intelligent Environments

Top Venues

Intelligent Environments (Workshops)

Intelligent Environments

Publications

Martin Henson
From specification languages to wide-spectrum logics. IC3 (2014)
Luke Whittington, James Dooley, Martin Henson, Abdullah Al-Malaise Al-Ghamdi
Towards Realising FollowMe User Profiles for Macro-Intelligent Environments. Comput. 2 (3) (2013)
Aysenur Bilgin, James Dooley, Luke Whittington, Hani Hagras, Martin Henson, Christian Wagner, Areej Malibari, Abdullah Al-Malaise Al-Ghamdi, Mohammed J. Alhaddad, Daniyal M. Al-Ghazzawi
Dynamic Profile-Selection for zSlices based type-2 fuzzy agents controlling multi-user Ambient Intelligent Environments. FUZZ-IEEE (2012)
Martin Henson, James Dooley, Luke Whittington, Abdullah Al-Malaise Al-Ghamdi
FollowMe: A Bigraphical Approach. Intelligent Environments (Workshops) (2012)
Luke Whittington, James Dooley, Martin Henson, Abdullah Al-Malaise Al-Ghamdi
Towards FollowMe User Profiles for Macro Intelligent Environments. Intelligent Environments (Workshops) (2012)
Martin Henson, James Dooley, Abdullah Al-Malaise Al-Ghamdi, Luke Whittington
Towards Simple and Effective Formal Methods for Intelligent Environments. Intelligent Environments (2012)
James Dooley, Martin Henson, Vic Callaghan, Hani Hagras, Daniyal M. Al-Ghazzawi, Areej Malibari, Mohammed Al-Haddad, Abdullah Al-Malaise Al-Ghamdi
A Formal Model for Space Based Ubiquitous Computing. Intelligent Environments (2011)