Martin Henson

According to our database, Martin Henson authored at least 8 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

From specification languages to wide-spectrum logics.

Martin Henson

Proceedings of the Seventh International Conference on Contemporary Computing, 2014

2013

The Tailored Fabric of Intelligent Environments.

James Dooley, Hani Hagras, Vic Callaghan, Martin Henson

Proceedings of the Internet of Things and Inter-cooperative Computational Technologies for Collective Intelligence, 2013

Towards Realising FollowMe User Profiles for Macro-Intelligent Environments.

Luke Whittington, James Dooley, Martin Henson, Abdullah Al-Malaise Al-Ghamdi

Comput., 2013

2012

Towards FollowMe User Profiles for Macro Intelligent Environments.

Luke Whittington, James Dooley, Martin Henson, Abdullah Al-Malaise Al-Ghamdi

Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

FollowMe: A Bigraphical Approach.

Martin Henson, James Dooley, Luke Whittington, Abdullah Al-Malaise Al-Ghamdi

Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

Towards Simple and Effective Formal Methods for Intelligent Environments.

Martin Henson, James Dooley, Abdullah Al-Malaise Al-Ghamdi, Luke Whittington

Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

Dynamic Profile-Selection for zSlices based type-2 fuzzy agents controlling multi-user Ambient Intelligent Environments.

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

Proceedings of the FUZZ-IEEE 2012, 2012

2011

A Formal Model for Space Based Ubiquitous Computing.

James Dooley, Martin Henson, Vic Callaghan, Hani Hagras, Daniyal M. Al-Ghazzawi, Areej Malibari, Mohammed Al-Haddad, Abdullah Al-Malaise Al-Ghamdi

Proceedings of the 7th International Conference on Intelligent Environments, 2011