Michael Harrison
Michael Harrison
Professor of Informatics, Newcastle University
Verified email at ncl.ac.uk
Title
Cited by
Cited by
Year
Analyzing human-computer interaction as distributed cognition: the resources model
PC Wright, RE Fields, MD Harrison
Human-Computer Interaction 15 (1), 1-41, 2000
2972000
Abstract interaction objects
DJ Duke, MD Harrison
Computer Graphics Forum 12 (3), 25-36, 1993
2931993
Formal methods in human-computer interaction
MD Harrison, H Thimbleby
CUP Archive, 1990
1991990
Allocation of function: scenarios, context and the economics of effort
A Dearden, M Harrison, P Wright
International Journal of Human-Computer Studies 52 (2), 289-318, 2000
1162000
Model checking interactor specifications
JC Campos, MD Harrison
Automated Software Engineering 8 (3-4), 275-310, 2001
1102001
Systematic analysis of control panel interfaces using formal tools
JC Campos, MD Harrison
International Workshop on Design, Specification, and Verification of†…, 2008
922008
Formally verifying interactive systems: A review
JC Campos, MD Harrison
Design, Specification and Verification of Interactive Systems’ 97, 109-124, 1997
881997
Interaction engineering using the IVY tool
JC Campos, MD Harrison
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive†…, 2009
852009
THEA: A Technique for Human Error Assessment Early in Design.
S Pocock, MD Harrison, PC Wright, P Johnson
Interact, 247-254, 2001
772001
A review of formalisms for describing interactive behaviour
MD Harrison, DJ Duke
Workshop on Software Engineering and Human-Computer Interaction, 49-75, 1994
771994
Mapping user requirements to implementations
DJ Duke, MD Harrison
Software Engineering Journal 10 (1), 13-20, 1995
681995
Reviewing designs for a synchronous-asynchronous group editing environment
VC Miles, JC McCarthy, AJ Dix, MD Harrison, AF Monk
Computer supported collaborative writing, 137-160, 1993
661993
A toolset supported approach for designing and testing virtual environment interaction techniques
JS Willans, MD Harrison
International Journal of Human-Computer Studies 55 (2), 145-165, 2001
652001
A state model of direct manipulation in interactive systems
M Harrison, A Dix
Formal methods in human-computer interaction, 129-151, 1990
651990
Unifying views of interactors
D Duke, G Faconti, M Harrison, F Paternů
Proceedings of the workshop on Advanced visual interfaces, 143-152, 1994
641994
Event model of human-system interaction
DJ Duke, MD Harrison
Software Engineering Journal 10 (1), 3-12, 1995
581995
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example
P Masci, A Ayoub, P Curzon, MD Harrison, I Lee, H Thimbleby
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive†…, 2013
552013
Distributed information resources: A new approach to interaction modelling
PC Wright, B Fields, MD Harrison
Proceedings of ECCE8: Eighth European Conference on Cognitive Ergonomics, 10-13, 1996
541996
Using Interaction Framework to guide the design of interactive systems
AE Blandford, PJ Barnard, MD Harrison
International journal of human-computer studies 43 (1), 101-130, 1995
541995
Integrating cognitive and system models in human-computer interaction
MD Harrison, P Barnard
People and computers V, 87-104, 1989
541989
The system can't perform the operation now. Try again later.
Articles 1–20