Michael D. Harrison

152 papers A* 3A 3B 19C 3Misc 12Journal 41Unranked 64

Year	Rank	Type	Title / Venue / Authors
2024	—	`ed.`	Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected Papers EICS (Workshops) Michael D. Harrison, Célia Martinie, Nicholas Micallef, Philippe A. Palanque, Albrecht Schmidt, Marco Winckler, Enes Yigitbas, Luciana A. M. Zaina
2021	J	`jnl`	Balancing the formal and the informal in user-centred design. Interact. Comput. Michael D. Harrison, Paolo Masci, José Creissac Campos
2021	—	`conf`	Control Rooms from a Human-Computer Interaction Perspective. INTERACT (Workshops) Tilo Mentler, Philippe A. Palanque, Michael D. Harrison, Kristof Van Laerhoven, Paolo Masci
2021	—	`conf`	Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment. INTERACT (Workshops) Michael D. Harrison, Paolo Masci
2020	J	`jnl`	Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Trans. Comput. Hum. Interact. José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque
2019	—	`conf`	Examples of the Application of Formal Methods to Interactive Systems. FM Workshops (1) Michael D. Harrison
2019	—	`conf`	Formal Verification of Interactive Computing Systems: Opportunities, Challenges. EICS Workshops José Creissac Campos, Michael D. Harrison
2019	J	`jnl`	Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. Michael D. Harrison, Leo Freitas, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Costanzo Di Maria, Michael Whitaker
2019	J	`jnl`	Verification Templates for the Analysis of User Interface Software Design. IEEE Trans. Software Eng. Michael D. Harrison, Paolo Masci, José Creissac Campos
2018	—	`conf`	Formal Modelling as a Component of User Centred Design. STAF Workshops Michael D. Harrison, Paolo Masci, José Creissac Campos
2017	—	`ch.`	Case Studies. Handbook of Formal Methods in Human-Computer Interaction Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan J. Dix, Philippe A. Palanque
2017	J	`jnl`	Don't go in there! using the APEX framework in the design of ambient assisted living systems. J. Ambient Intell. Humaniz. Comput. José Creissac Campos, Tiago Abade, José Luís Silva, Michael D. Harrison
2017	—	`conf`	Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. FACS Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo Di Maria, Michael Whitaker
2017	—	`ch.`	The Specification and Analysis of Use Properties of a Nuclear Control System. Handbook of Formal Methods in Human-Computer Interaction Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon
2017	J	`jnl`	Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
2016	—	`conf`	Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. F-IDE@FM Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva
2016	J	`jnl`	Formal Verification of a Space System's User Interface With the IVY Workbench. IEEE Trans. Hum. Mach. Syst. José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison
2016	Misc	`conf`	Modelling information resources and their salience in medical device design. EICS Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon
2016	J	`jnl`	Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. Michael D. Harrison, José Creissac Campos, Paolo Masci, Paul Curzon
2015	J	`jnl`	Reusing models and properties in the analysis of similar interactive devices. Innov. Syst. Softw. Eng. Michael D. Harrison, José Creissac Campos, Paolo Masci
2015	—	`conf`	Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. IWAAL José Creissac Campos, Tiago Abade, José Luís Silva, Michael D. Harrison
2014	J	`jnl`	A Virtual Environment based Serious Game to Support Health Education. EAI Endorsed Trans. Ambient Syst. Tiago Gomes, Tiago Abade, José Creissac Campos, Michael D. Harrison, José Luís Silva
2014	J	`jnl`	Analysing interactive devices based on information resource constraints. Int. J. Hum. Comput. Stud. José Creissac Campos, Gavin J. Doherty, Michael D. Harrison
2014	—	`conf`	Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
2014	—	`conf`	Formal Verification of Safety-Critical User Interfaces: a space system case study. AAAI Spring Symposia Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison
2014	J	`jnl`	Prototyping and analysing ubiquitous computing environments using multiple layers. Int. J. Hum. Comput. Stud. José Luís Silva, José Creissac Campos, Michael D. Harrison
2014	Misc	`conf`	Rapid development of first person serious games using the APEX platform: the asthma game. SAC Tiago Gomes, Tiago Abade, José Creissac Campos, Michael D. Harrison, José Luís Silva
2013	—	`conf`	2 DSN Workshops Mohamed Kaâniche, Michael D. Harrison, Hermann Kopetz, Daniel P. Siewiorek
2013	J	`jnl`	Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
2013	J	`jnl`	Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, Paul Curzon
2013	B	`conf`	Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. IFM Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison
2013	—	`conf`	Using Medical Device Logs for Improving Medical Device Design. ICHI Abigail Cauchi, Harold W. Thimbleby, Patrick Oladimeji, Michael D. Harrison
2013	Misc	`conf`	Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby
2012	Misc	`ed.`	ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012 EICS Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves
2012	—	`conf`	Formal Performance Modelling: From Protocols to People. EPEW/UKPEW Nigel Thomas, Michael D. Harrison, Yishi Zhao, Xiao Chen
2012	Misc	`conf`	Formal analysis of ubiquitous computing environments through the APEX framework. EICS José Luís Silva, José Creissac Campos, Michael D. Harrison
2012	J	`jnl`	Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston
2012	—	`conf`	Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. SERENE Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford
2012	—	`conf`	Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison
2011	J	`jnl`	Modelling and analysing the interactive behaviour of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. José Creissac Campos, Michael D. Harrison
2011	—	`conf`	Performance Evaluation of Scheduling Policies in a Smart Hospital Environment. CyberC Xiao Chen, Nigel Thomas, Michael D. Harrison
2010	B	`conf`	A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison
2010	Misc	`conf`	Representations for an iterative resource-based design approach. EICS Anke Dittmar, Michael D. Harrison
2010	Misc	`conf`	Scalable analysis of collective behaviour in smart service systems. SAC Mieke Massink, Michael D. Harrison, Diego Latella
2010	—	`conf`	The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. HCSE José Luís Silva, Óscar R. Ribeiro, João M. Fernandes, José Creissac Campos, Michael D. Harrison
2009	Misc	`conf`	An infrastructure for experience centered agile prototyping of ambient intelligence. EICS José Luís Silva, José Creissac Campos, Michael D. Harrison
2009	Misc	`conf`	Bridging the gulf between interaction engineering and human reliability assessment. EICS Michael D. Harrison
2009	Misc	`conf`	Engineering crowd interaction within smart environments. EICS Michael D. Harrison, Mieke Massink, Diego Latella
2009	Misc	`conf`	Interaction engineering using the IVY tool. EICS José Creissac Campos, Michael D. Harrison
2009	—	`conf`	Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. PASM@MASCOTS Michael D. Harrison, Mieke Massink
2009	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Michael D. Harrison, Mieke Massink
2008	—	`conf`	A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti
2008	J	`jnl`	Analysing Human Aspects of Safety-Critical Software. ERCIM News Michael D. Harrison, José Creissac Campos
2008	B	`ed.`	Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings SAFECOMP Michael D. Harrison, Mark-Alexander Sujan
2008	—	`ch.`	Connecting Rigorous System Analysis to Experience-Centered Design. Maturing Usability Michael D. Harrison, José Creissac Campos, Gavin J. Doherty, Karsten Loer
2008	—	`conf`	Resources for Situated Actions. DSV-IS Gavin J. Doherty, José Creissac Campos, Michael D. Harrison
2008	J	`jnl`	SBML: a user interface mark-up language based on interaction style. Int. J. Web Eng. Technol. Stephen W. Gilroy, Michael D. Harrison
2008	—	`conf`	Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS José Creissac Campos, Michael D. Harrison
2008	—	`conf`	Towards a location model for indoor navigation support through public displays and mobile devices. MIRW Christian Kray, Keith Cheverst, Michael D. Harrison, Fathi Hamhoum, Jürgen Wagner
2007	—	`conf`	Considering Context and Users in Interactive Systems Analysis. EHCI/DS-VIS José Creissac Campos, Michael D. Harrison
2007	—	`conf`	Exploring an Option Space to Engineer a Ubiquitous Computing System. FMIS@BCS HCI Michael D. Harrison, Christian Kray, José Creissac Campos
2007	—	`conf`	Factoring User Experience into the Design of Ambient and Mobile Systems. EHCI/DS-VIS Michael D. Harrison, Christian Kray, Zhiyu Sun, Huqiu Zhang
2007	—	`conf`	Names and reference in user interfaces. BCS HCI (2) Harold W. Thimbleby, Michael D. Harrison
2006	J	`jnl`	An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. Autom. Softw. Eng. Karsten Loer, Michael D. Harrison
2006	B	`conf`	Demonstration of Safety in Healthcare Organisations. SAFECOMP Mark-Alexander Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon
2006	—	`ed.`	Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers DSV-IS Stephen W. Gilroy, Michael D. Harrison
2005	B	`conf`	Analysing User Confusion in Context Aware Mobile Applications. INTERACT Karsten Loer, Michael D. Harrison
2005	J	`jnl`	Measuring reuse in hazard analysis. Reliab. Eng. Syst. Saf. Shamus P. Smith, Michael D. Harrison
2004	—	`conf`	Analysing Dynamic Function Scheduling Decisions. Human Error, Safety and Systems Development Karsten Loer, Michael Hildebrandt, Michael D. Harrison
2004	B	`conf`	How Explicit Are the Barriers to Failure in Safety Arguments? SAFECOMP Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp
2004	—	`conf`	Time design: analysing human temporal control behaviour in dynamic real-time systems. SMC (1) Michael Hildebrandt, Karsten Loer, Michael D. Harrison
2004	—	`conf`	Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand. EHCI/DS-VIS Stephen W. Gilroy, Michael D. Harrison
2004	—	`conf`	Verifying user interface behaviour with model checking. VVEIS José Creissac Campos, Michael D. Harrison, Karsten Loer
2004	A	`conf`	Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. DSN Michael D. Harrison, Lorenzo Strigini
2003	—	`conf`	From HCI to Software Engineering and Back. ICSE Workshop on SE-HCI José Creissac Campos, Michael D. Harrison
2003	B	`conf`	Reuse in Hazard Analysis: Identification and Support. SAFECOMP Shamus P. Smith, Michael D. Harrison
2002	Misc	`conf`	Augmenting descriptive scenario analysis for improvements in human reliability design. SAC Shamus P. Smith, Michael D. Harrison
2002	C	`conf`	Automating functions in multi-agent control systems: supporting the decision process. SSS Michael D. Harrison, P. D. Johnson, Peter C. Wright
2002	—	`conf`	Blending Descriptive and Numeric Analysis in Human Reliability Design. DSV-IS Shamus P. Smith, Michael D. Harrison
2002	B	`conf`	Improving Hazard Classification through the Reuse of Descriptive Arguments. ICSR Shamus P. Smith, Michael D. Harrison
2002	A*	`conf`	Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. ASE Karsten Loer, Michael D. Harrison
2001	J	`jnl`	A toolset supported approach for designing and testing virtual environment interaction techniques. Int. J. Hum. Comput. Stud. James S. Willans, Michael D. Harrison
2001	J	`jnl`	Editorial: User centred design and implementation of virtual environments. Int. J. Hum. Comput. Stud. Shamus P. Smith, Michael D. Harrison
2001	J	`jnl`	Model Checking Interactor Specifications. Autom. Softw. Eng. José Creissac Campos, Michael D. Harrison
2001	—	`conf`	Prototyping Pre-implementation Designs of Virtual Environment Behaviour. EHCI James S. Willans, Michael D. Harrison
2001	B	`conf`	THEA: A Technique for Human Error Assessment Early in Design. INTERACT Steven Pocock, Michael D. Harrison, Peter C. Wright, Paul Johnson
2000	C	`conf`	A 'plug and play' approach to testing virtual environment interaction techniques. EGVE James S. Willans, Michael D. Harrison
2000	J	`jnl`	Allocation of function: scenarios, context and the economics of effort. Int. J. Hum. Comput. Stud. Andy Dearden, Michael D. Harrison, Peter C. Wright
2000	J	`jnl`	Analyzing Human-Computer Interaction as Distributed Cognition: The Resources Model. Hum. Comput. Interact. Peter C. Wright, Robert E. Fields, Michael D. Harrison
2000	—	`conf`	Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? DSV-IS Karsten Loer, Michael D. Harrison
2000	J	`jnl`	Representational Reasoning and Verification. Formal Aspects Comput. Gavin J. Doherty, José Creissac Campos, Michael D. Harrison
2000	—	`conf`	Verifying the Behaviour of Virtual Environment World Objects. DSV-IS James S. Willans, Michael D. Harrison
1999	J	`jnl`	A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. Formal Aspects Comput. David J. Duke, Bob Fields, Michael D. Harrison
1999	B	`conf`	Case-based Reasoning Systems for Knowledge Mediation. INTERACT Anthony D. Griffiths, Michael D. Harrison, Andrew M. Dearden
1999	—	`conf`	Modelling and Analysing Connectivity in an Audio-Visual Communications System. DSV-IS José Creissac Campos, Michael D. Harrison
1999	—	`conf`	Using Scenarios to Envisage the Impact of CBR on Decision-Making Processes. ICCBR Workshops Anthony D. Griffiths, Michael D. Harrison, Andrew M. Dearden
1998	J	`jnl`	Desert Island Reading. Autom. Softw. Eng. Michael D. Harrison
1998	—	`conf`	Integrating Joint Behaviour and Dialogue Description. DSV-IS Gavin J. Doherty, Michael D. Harrison
1998	—	`conf`	The Role of Verification in Interactive Systems Design. DSV-IS José Creissac Campos, Michael D. Harrison
1998	—	`conf`	Working Group 1 Report. DSV-IS Michael D. Harrison
1997	J	`jnl`	A Software Engineering Model for Case Memory System. Comput. J. Andrew M. Dearden, Michael D. Harrison
1997	—	`conf`	A representational approach to the specification of presentations. DSV-IS Gavin J. Doherty, Michael D. Harrison
1997	J	`jnl`	Abstract models for HCI. Int. J. Hum. Comput. Stud. Andrew M. Dearden, Michael D. Harrison
1997	J	`jnl`	Accountability of work activity in high-consequence work systems: human error in context. Int. J. Hum. Comput. Stud. John C. McCarthy, Patrick G. T. Healey, Peter C. Wright, Michael D. Harrison
1997	—	`ed.`	Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain DSV-IS Michael D. Harrison, Juan Carlos Torres
1997	—	`conf`	Formally verifying interactive systems: A review. DSV-IS José Creissac Campos, Michael D. Harrison
1997	B	`conf`	Locating the scene: the particular and the general in contexts for ambulance control. GROUP John C. McCarthy, Peter C. Wright, Patrick G. T. Healey, Andrew M. Dearden, Michael D. Harrison
1997	B	`conf`	Objectives, strategies and resources as design drivers. INTERACT Bob Fields, Peter C. Wright, Michael D. Harrison
1997	B	`conf`	Techniques for the design of human error tolerant systems. INTERACT Peter C. Wright, Bob Fields, Andrew M. Dearden, Michael D. Harrison
1997	B	`conf`	Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors. SAFECOMP Andrew M. Dearden, Michael D. Harrison
1996	—	`conf`	Evaluating the Interfaces of Three Theorem Proving Assistants. DSV-IS Nicholas A. Merriam, Michael D. Harrison
1996	C	`conf`	Impact as a Human Factor in Interactive System Design. SSS Andrew M. Dearden, Michael D. Harrison
1996	—	`conf`	Risk Analysis, Impact and Interaction Modelling. DSV-IS Andrew M. Dearden, Michael D. Harrison
1996	J	`jnl`	Time, tasks and errors. ACM SIGCHI Bull. Bob Fields, Peter C. Wright, Michael D. Harrison
1995	B	`conf`	A requirements space for group-work systems. INTERACT John C. McCarthy, Peter C. Wright, Michael D. Harrison
1995	A	`conf`	A task centered approach to analysing human error tolerance requirements. RE Bob Fields, Peter C. Wright, Michael D. Harrison
1995	J	`jnl`	Event model of human-system interaction. Softw. Eng. J. David J. Duke, Michael D. Harrison
1995	—	`conf`	Exploring Design Options Rationally. DSV-IS Christopher John Bramwell, Bob Fields, Michael D. Harrison
1995	—	`conf`	Interaction and Task Requirements. DSV-IS David J. Duke, Michael D. Harrison
1995	J	`jnl`	Mapping user requirements to implementations. Softw. Eng. J. David J. Duke, Michael D. Harrison
1995	—	`conf`	Reports from Working Groups: Role of Verification. DSV-IS Michael D. Harrison
1995	J	`jnl`	Using Interaction Framework to guide the design of interactive systems. Int. J. Hum. Comput. Stud. Ann Blandford, Philip J. Barnard, Michael D. Harrison
1994	—	`conf`	A Review of Formalisms for Describing Interactive Behaviour. ICSE Workshop on SE-HCI Michael D. Harrison, David J. Duke
1994	—	`conf`	A Theory of Presentations. FME David J. Duke, Michael D. Harrison
1994	—	`conf`	Applying Formal Methods for Human Error Tolerant Design. ICSE Workshop on SE-HCI Bob Fields, Peter C. Wright, Michael D. Harrison
1994	—	`conf`	Deriving human-error tolerance requirements from tasks. ICRE Peter C. Wright, Bob Fields, Michael D. Harrison
1994	—	`conf`	Folding Human Factors into Rigorous Development. DSV-IS David J. Duke, Michael D. Harrison
1994	—	`conf`	From Formal Models to Formal Methods. ICSE Workshop on SE-HCI David J. Duke, Michael D. Harrison
1994	J	`jnl`	From informal requirements to agent-based specification. ACM SIGCHI Bull. Bob Fields, Michael D. Harrison, Peter C. Wright
1994	—	`conf`	Modelling Interaction Properties for Interactive Case Memories. DSV-IS Andrew M. Dearden, Michael D. Harrison
1994	—	`conf`	Modelling Interactive Systems and Providing Task Relevant Information. DSV-IS Bob Fields, Michael D. Harrison, Peter C. Wright
1994	—	`conf`	Modelling Interactive Systems and Providing Task Relevant Information. DSV-IS Michael D. Harrison, Ann Blandford, Philip J. Barnard
1994	B	`conf`	Unifying Views of Interactors. Advanced Visual Interfaces David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò
1994	—	`conf`	User Centred System Modelling using the Template Model. DSV-IS Chris R. Roast, Michael D. Harrison
1994	—	`conf`	Working Group Discussions: Role of Formalisms. DSV-IS Michael D. Harrison
1993	J	`jnl`	Abstract Interaction Objects. Comput. Graph. Forum David J. Duke, Michael D. Harrison
1993	A	`conf`	On defining requirements for interaction. RE Michael D. Harrison, Philip J. Barnard
1993	J	`jnl`	Text-Based On-Line Conferencing: A Conceptual and Empirical Analysis Using a Minimal Prototype. Hum. Comput. Interact. John C. McCarthy, Victoria C. Miles, Andrew F. Monk, Michael D. Harrison, Alan J. Dix, Peter C. Wright
1992	—	`conf`	A Model for the Option Space of Interactive System. Engineering for Human-Computer Interaction Michael D. Harrison
1992	—	`conf`	HCI: Whose Problem Is It Anyway? Engineering for Human-Computer Interaction Gilbert Cockton, Michael D. Harrison, Barbara H. Kwasnik, Robin R. Penner, Rob Procter
1992	J	`jnl`	Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems. Int. J. Man Mach. Stud. C. W. Johnson, Michael D. Harrison
1991	—	`conf`	Declarative Graphics And Dynamic Interaction. Eurographics C. W. Johnson, Michael D. Harrison
1991	J	`jnl`	Four generic communication tasks which must be supported in electronic conferencing. ACM SIGCHI Bull. John C. McCarthy, Victoria C. Miles, Andrew F. Monk, Michael D. Harrison, Alan J. Dix, Peter C. Wright
1991	A*	`conf`	Modelling user, system design: results of a scenarios matrix exercise. CHI Nick Hammond, Philip J. Barnard, Joëlle Coutaz, Michael D. Harrison, Allan MacLean, Richard M. Young
1990	A*	`conf`	Human computer interaction group, University of York, U.K. (lab review). CHI Michael D. Harrison, Andrew F. Monk
1990	B	`conf`	New approaches to theory in HCI: How should we judge their acceptability? INTERACT Andrew F. Monk, John M. Carroll, Michael D. Harrison, John Long, Richard M. Young
1990	B	`conf`	Pattern recognition and interaction models. INTERACT Janet Finlay, Michael D. Harrison
1990	—	`conf`	Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems. Eurographics C. W. Johnson, Michael D. Harrison
1988	—	`conf`	Modelling the relationship between state and display in interactive systems. Informatics and Psychology Workshop Michael D. Harrison, Alan J. Dix
1987	—	`conf`	Interaction Models and the Principled Design of Interactive Systems. ESEC Alan J. Dix, Michael D. Harrison, Colin Runciman, Harold W. Thimbleby
1978	—	`—`	Developing a calculus for relating computer programs. Michael D. Harrison
1976	B	`conf`	Relations between Programs with Different Storage Requirements. MFCS Michael D. Harrison