Browsing publications by Emeritus Professor Michael Harrison

Newcastle AuthorsTitleYear
Emeritus Professor Michael Harrison
Reusing models and properties in the analysis of similar interactive devices2013
Emeritus Professor Michael Harrison
Formal analysis of ubiquitous computing environments through the APEX framework2012
Dr Nigel Thomas
Emeritus Professor Michael Harrison
Yishi Zhao
Xiao Chen
From Protocols to People: Large Scale Analysis in Markovian Process Algebra2012
Emeritus Professor Michael Harrison
Scalable context-dependent analysis of emergency egress models2012
Emeritus Professor Michael Harrison
Using PVS to Investigate Incidents through the Lens of Distributed Cognition2012
Dr Nigel Thomas
Emeritus Professor Michael Harrison
Performance Evaluation of Scheduling Policies in a Smart Hospital Environment2011
Emeritus Professor Michael Harrison
A Process Algebraic Fluid Flow Model of Emergency Egress2010
Emeritus Professor Michael Harrison
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis2010
Emeritus Professor Michael Harrison
Modelling interactive experience, function and performance in ubiquitous systems2010
Emeritus Professor Michael Harrison
Prototipagem rápida de ambientes ubíquos2010
12345678910