| Analyzing human-computer interaction as distributed cognition: the resources model PC Wright, RE Fields, MD Harrison Human-Computer Interaction 15 (1), 1-41, 2000 | 339 | 2000 |
| Abstract interaction objects DJ Duke, MD Harrison Computer Graphics Forum 12 (3), 25-36, 1993 | 310 | 1993 |
| Formal methods in human-computer interaction M Harrison, H Thimbleby CUP Archive, 1990 | 198 | 1990 |
| 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 | 147 | 2000 |
| Model checking interactor specifications JC Campos, MD Harrison Automated Software Engineering 8, 275-310, 2001 | 115 | 2001 |
| Systematic analysis of control panel interfaces using formal tools JC Campos, MD Harrison Interactive Systems. Design, Specification, and Verification: 15th …, 2008 | 104 | 2008 |
| Interaction engineering using the IVY tool JC Campos, MD Harrison Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009 | 100 | 2009 |
| Formally verifying interactive systems: A review JC Campos, MD Harrison Design, Specification and Verification of Interactive Systems’ 97 …, 1997 | 98 | 1997 |
| THEA-a technique for human error assessment early in design S Pocock, P Wright, M Harrison YORK UNIV (UNITED KINGDOM) DEPT OF COMPUTER SCIENCE, 2001 | 84 | 2001 |
| A review of formalisms for describing interactive behaviour MD Harrison, DJ Duke Software Engineering and Human-Computer Interaction: ICSE'94 Workshop on SE …, 1995 | 79 | 1995 |
| 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 | 74 | 2001 |
| 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 | 73 | 1993 |
| Mapping user requirements to implementations DJ Duke, MD Harrison Software Engineering Journal 10 (1), 13-20, 1995 | 72 | 1995 |
| 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 | 67 | 2013 |
| A state model of direct manipulation in interactive systems M Harrison, A Dix Formal methods in human-computer interaction, 129-151, 1990 | 67 | 1990 |
| Unifying views of interactors D Duke, G Faconti, M Harrison, F Paternò Proceedings of the workshop on Advanced visual interfaces, 143-152, 1994 | 63 | 1994 |
| Event model of human-system interaction DJ Duke, MD Harrison Software Engineering Journal 10 (1), 3-12, 1995 | 62 | 1995 |
| 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 | 58 | 1996 |
| 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 | 58 | 1995 |
| Modelling and analysing the interactive behaviour of an infusion pump JC Campos, M Harrison Electronic Communications of the EASST 45, 2011 | 54 | 2011 |
