| 2021 | Interact | Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment. | Michael D. Harrison, Paolo Masci |
| 2021 | Interact | Control Rooms from a Human-Computer Interaction Perspective. | Tilo Mentler, Philippe A. Palanque, Michael D. Harrison, Kristof Van Laerhoven, Paolo Masci |
| 2019 | EICS | Formal Verification of Interactive Computing Systems: Opportunities, Challenges. | Jos Creissac Campos, Michael D. Harrison |
| 2019 | FM | Examples of the Application of Formal Methods to Interactive Systems. | Michael D. Harrison |
| 2016 | EICS | Modelling information resources and their salience in medical device design. | Michael D. Harrison, Jos Creissac Campos, Rimvydas Ruksenas, Paul Curzon |
| 2014 | SAC | Rapid development of first person serious games using the APEX platform: the asthma game. | Tiago Gomes, Tiago Abade, Jos Creissac Campos, Michael D. Harrison, Jos Lus Silva |
| 2013 | DSN | 2 | Mohamed Kaniche, Michael D. Harrison, Hermann Kopetz, Daniel P. Siewiorek |
| 2013 | EICS | Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. | Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby |
| 2013 | IFM | Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. | Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison |
| 2012 | EICS | Formal analysis of ubiquitous computing environments through the APEX framework. | Jos Lus Silva, Jos Creissac Campos, Michael D. Harrison |
| 2010 | EICS | Representations for an iterative resource-based design approach. | Anke Dittmar, Michael D. Harrison |
| 2010 | SAC | Scalable analysis of collective behaviour in smart service systems. | Mieke Massink, Michael D. Harrison, Diego Latella |
| 2010 | SEFM | A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. | Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison |
| 2009 | EICS | Interaction engineering using the IVY tool. | Jos Creissac Campos, Michael D. Harrison |
| 2009 | EICS | Bridging the gulf between interaction engineering and human reliability assessment. | Michael D. Harrison |
| 2009 | EICS | Engineering crowd interaction within smart environments. | Michael D. Harrison, Mieke Massink, Diego Latella |
| 2009 | EICS | An infrastructure for experience centered agile prototyping of ambient intelligence. | Jos Lus Silva, Jos Creissac Campos, Michael D. Harrison |
| 2006 | SAFECOMP | Demonstration of Safety in Healthcare Organisations. | Mark-Alexander Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon |
| 2005 | Interact | Analysing User Confusion in Context Aware Mobile Applications. | Karsten Loer, Michael D. Harrison |
| 2004 | DSN | Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. | Michael D. Harrison, Lorenzo Strigini |
| 2004 | SMC | Time design: analysing human temporal control behaviour in dynamic real-time systems. | Michael Hildebrandt, Karsten Loer, Michael D. Harrison |
| 2004 | SAFECOMP | How Explicit Are the Barriers to Failure in Safety Arguments? | Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp |
| 2003 | ICSE | From HCI to Software Engineering and Back. | Jos Creissac Campos, Michael D. Harrison |
| 2003 | SAFECOMP | Reuse in Hazard Analysis: Identification and Support. | Shamus P. Smith, Michael D. Harrison |
| 2002 | ICSR | Improving Hazard Classification through the Reuse of Descriptive Arguments. | Shamus P. Smith, Michael D. Harrison |
| 2002 | SAC | Augmenting descriptive scenario analysis for improvements in human reliability design. | Shamus P. Smith, Michael D. Harrison |
| 2001 | Interact | THEA: A Technique for Human Error Assessment Early in Design. | Steven Pocock, Michael D. Harrison, Peter C. Wright, Paul Johnson |
| 2000 | EGVE | A 'plug and play' approach to testing virtual environment interaction techniques. | James S. Willans, Michael D. Harrison |
| 1999 | ICCBR | Using Scenarios to Envisage the Impact of CBR on Decision-Making Processes. | Anthony D. Griffiths, Michael D. Harrison, Andrew M. Dearden |
| 1999 | Interact | Case-based Reasoning Systems for Knowledge Mediation. | Anthony D. Griffiths, Michael D. Harrison, Andrew M. Dearden |
| 1997 | Group | Locating the scene: the particular and the general in contexts for ambulance control. | John C. McCarthy, Peter C. Wright, Patrick G. T. Healey, Andrew M. Dearden, Michael D. Harrison |
| 1997 | Interact | Objectives, strategies and resources as design drivers. | Bob Fields, Peter C. Wright, Michael D. Harrison |
| 1997 | Interact | Techniques for the design of human error tolerant systems. | Peter C. Wright, Bob Fields, Andrew M. Dearden, Michael D. Harrison |
| 1997 | SAFECOMP | Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors. | Andrew M. Dearden, Michael D. Harrison |
| 1995 | Interact | A requirements space for group-work systems. | John C. McCarthy, Peter C. Wright, Michael D. Harrison |
| 1995 | RE | A task centered approach to analysing human error tolerance requirements. | Bob Fields, Peter C. Wright, Michael D. Harrison |
| 1994 | AVI | Unifying Views of Interactors. | David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Patern |
| 1994 | FM | A Theory of Presentations. | David J. Duke, Michael D. Harrison |
| 1994 | ICSE | From Formal Models to Formal Methods. | David J. Duke, Michael D. Harrison |
| 1994 | ICSE | Applying Formal Methods for Human Error Tolerant Design. | Bob Fields, Peter C. Wright, Michael D. Harrison |
| 1994 | ICSE | A Review of Formalisms for Describing Interactive Behaviour. | Michael D. Harrison, David J. Duke |
| 1994 | RE | Deriving human-error tolerance requirements from tasks. | Peter C. Wright, Bob Fields, Michael D. Harrison |
| 1993 | RE | On defining requirements for interaction. | Michael D. Harrison, Philip J. Barnard |
| 1991 | CHI | Modelling user, system design: results of a scenarios matrix exercise. | Nick Hammond, Philip J. Barnard, Jolle Coutaz, Michael D. Harrison, Allan MacLean, Richard M. Young |
| 1990 | CHI | Human computer interaction group, University of York, U.K. (lab review). | Michael D. Harrison, Andrew F. Monk |
| 1990 | Interact | Pattern recognition and interaction models. | Janet Finlay, Michael D. Harrison |
| 1990 | Interact | New approaches to theory in HCI: How should we judge their acceptability? | Andrew F. Monk, John M. Carroll, Michael D. Harrison, John Long, Richard M. Young |
| 1976 | MFCS | Relations between Programs with Different Storage Requirements. | Michael D. Harrison |