![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Michael D. Harrison
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [e5]Michael D. Harrison
, Célia Martinie
, Nicholas Micallef
, Philippe A. Palanque
, Albrecht Schmidt
, Marco Winckler
, Enes Yigitbas
, Luciana A. M. Zaina
:
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected Papers. Lecture Notes in Computer Science 14517, Springer 2024, ISBN 978-3-031-59234-8 [contents] - 2021
- [j40]Michael D. Harrison, Paolo Masci, José Creissac Campos
:
Balancing the formal and the informal in user-centred design. Interact. Comput. 33(1): 55-72 (2021) - [c102]Tilo Mentler, Philippe A. Palanque, Michael D. Harrison
, Kristof Van Laerhoven
, Paolo Masci
:
Control Rooms from a Human-Computer Interaction Perspective. INTERACT (Workshops) 2021: 281-289 - [c101]Michael D. Harrison
, Paolo Masci
:
Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment. INTERACT (Workshops) 2021: 316-328 - 2020
- [j39]José Creissac Campos
, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque:
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Trans. Comput. Hum. Interact. 27(5): 35:1-35:48 (2020)
2010 – 2019
- 2019
- [j38]Michael D. Harrison
, Leo Freitas, Michael J. Drinnan
, José Creissac Campos
, Paolo Masci
, Costanzo di Maria, Michael Whitaker:
Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. 175: 17-34 (2019) - [j37]Michael D. Harrison
, Paolo Masci
, José Creissac Campos
:
Verification Templates for the Analysis of User Interface Software Design. IEEE Trans. Software Eng. 45(8): 802-822 (2019) - [c100]José Creissac Campos, Michael D. Harrison:
Formal Verification of Interactive Computing Systems: Opportunities, Challenges. EICS Workshops 2019: 69-75 - [c99]Michael D. Harrison
:
Examples of the Application of Formal Methods to Interactive Systems. FM Workshops (1) 2019: 409-423 - 2018
- [c98]Michael D. Harrison
, Paolo Masci
, José Creissac Campos
:
Formal Modelling as a Component of User Centred Design. STAF Workshops 2018: 274-289 - 2017
- [j36]José Creissac Campos
, Tiago Abade, José Luís Silva
, Michael D. Harrison:
Don't go in there! using the APEX framework in the design of ambient assisted living systems. J. Ambient Intell. Humaniz. Comput. 8(4): 551-566 (2017) - [j35]Michael D. Harrison
, Paolo Masci
, José Creissac Campos
, Paul Curzon
:
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. 47(6): 834-846 (2017) - [c97]Michael D. Harrison
, Michael J. Drinnan
, José Creissac Campos
, Paolo Masci
, Leo Freitas, Costanzo di Maria, Michael Whitaker:
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. FACS 2017: 137-154 - [p3]Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan J. Dix
, Philippe A. Palanque:
Case Studies. Handbook of Formal Methods in Human-Computer Interaction 2017: 89-121 - [p2]Michael D. Harrison, Paolo M. Masci
, José Creissac Campos
, Paul Curzon:
The Specification and Analysis of Use Properties of a Nuclear Control System. Handbook of Formal Methods in Human-Computer Interaction 2017: 379-403 - 2016
- [j34]Michael D. Harrison, José Creissac Campos
, Paolo Masci
, Paul Curzon
:
Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. 3(8): e1 (2016) - [j33]José Creissac Campos
, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison:
Formal Verification of a Space System's User Interface With the IVY Workbench. IEEE Trans. Hum. Mach. Syst. 46(2): 303-316 (2016) - [c96]Michael D. Harrison, José Creissac Campos
, Rimvydas Ruksenas, Paul Curzon
:
Modelling information resources and their salience in medical device design. EICS 2016: 194-203 - [c95]Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci
, Michael D. Harrison, José Creissac Campos
, Saulo Rodrigues e Silva:
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. F-IDE@FM 2016: 1-19 - 2015
- [j32]Michael D. Harrison
, José Creissac Campos
, Paolo Masci
:
Reusing models and properties in the analysis of similar interactive devices. Innov. Syst. Softw. Eng. 11(2): 95-111 (2015) - [c94]José Creissac Campos
, Tiago Abade, José Luís Silva
, Michael D. Harrison:
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. IWAAL 2015: 49-61 - 2014
- [j31]Tiago Gomes, Tiago Abade, José Creissac Campos
, Michael D. Harrison, José Luís Silva:
A Virtual Environment based Serious Game to Support Health Education. EAI Endorsed Trans. Ambient Syst. 1(3): e5 (2014) - [j30]José Creissac Campos
, Gavin J. Doherty
, Michael D. Harrison
:
Analysing interactive devices based on information resource constraints. Int. J. Hum. Comput. Stud. 72(3): 284-297 (2014) - [j29]José Luís Silva
, José Creissac Campos
, Michael D. Harrison
:
Prototyping and analysing ubiquitous computing environments using multiple layers. Int. J. Hum. Comput. Stud. 72(5): 488-506 (2014) - [c93]Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison:
Formal Verification of Safety-Critical User Interfaces: a space system case study. AAAI Spring Symposia 2014 - [c92]Michael D. Harrison, Paolo Masci
, José Creissac Campos
, Paul Curzon
:
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC 2014: 113-128 - [c91]Tiago Gomes, Tiago Abade, José Creissac Campos
, Michael D. Harrison
, José Luís Silva
:
Rapid development of first person serious games using the APEX platform: the asthma game. SAC 2014: 169-174 - 2013
- [j28]Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - [j27]Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, Paul Curzon:
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - [c90]Mohamed Kaâniche, Michael D. Harrison
, Hermann Kopetz, Daniel P. Siewiorek
:
2nd workshop on open resilient human-aware cyber-physical systems. DSN Workshops 2013: 1-2 - [c89]Paolo Masci
, Anaheed Ayoub, Paul Curzon
, Michael D. Harrison
, Insup Lee, Harold W. Thimbleby:
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS 2013: 81-90 - [c88]Abigail Cauchi
, Harold W. Thimbleby, Patrick Oladimeji, Michael D. Harrison
:
Using Medical Device Logs for Improving Medical Device Design. ICHI 2013: 56-65 - [c87]Rimvydas Ruksenas, Paul Curzon
, Michael D. Harrison
:
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. IFM 2013: 238-252 - 2012
- [j26]Mieke Massink
, Diego Latella
, Andrea Bracciali
, Michael D. Harrison
, Jane Hillston:
Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 24(2): 267-302 (2012) - [c86]José Luís Silva
, José Creissac Campos
, Michael D. Harrison
:
Formal analysis of ubiquitous computing environments through the APEX framework. EICS 2012: 131-140 - [c85]Nigel Thomas, Michael D. Harrison
, Yishi Zhao, Xiao Chen:
Formal Performance Modelling: From Protocols to People. EPEW/UKPEW 2012: 127-139 - [c84]Paolo Masci
, Huayi Huang, Paul Curzon
, Michael D. Harrison
:
Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods 2012: 273-278 - [c83]Paolo Masci
, Dominic Furniss
, Paul Curzon
, Michael D. Harrison
, Ann Blandford
:
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. SERENE 2012: 150-164 - [e4]Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves:
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. ACM 2012, ISBN 978-1-4503-1168-7 [contents] - 2011
- [j25]José Creissac Campos, Michael D. Harrison:
Modelling and analysing the interactive behaviour of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [c82]Xiao Chen, Nigel Thomas, Michael D. Harrison
:
Performance Evaluation of Scheduling Policies in a Smart Hospital Environment. CyberC 2011: 585-592 - 2010
- [c81]Anke Dittmar, Michael D. Harrison
:
Representations for an iterative resource-based design approach. EICS 2010: 135-144 - [c80]José Luís Silva
, Óscar R. Ribeiro
, João M. Fernandes
, José Creissac Campos
, Michael D. Harrison
:
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. HCSE 2010: 6-21 - [c79]Mieke Massink
, Michael D. Harrison
, Diego Latella
:
Scalable analysis of collective behaviour in smart service systems. SAC 2010: 1173-1180 - [c78]Mieke Massink
, Diego Latella
, Andrea Bracciali
, Michael D. Harrison
:
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM 2010: 169-180
2000 – 2009
- 2009
- [j24]Michael D. Harrison, Mieke Massink:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - [c77]José Creissac Campos
, Michael D. Harrison
:
Interaction engineering using the IVY tool. EICS 2009: 35-44 - [c76]Michael D. Harrison:
Bridging the gulf between interaction engineering and human reliability assessment. EICS 2009: 67-68 - [c75]José Luís Silva
, José Creissac Campos
, Michael D. Harrison
:
An infrastructure for experience centered agile prototyping of ambient intelligence. EICS 2009: 79-84 - [c74]Michael D. Harrison
, Mieke Massink
, Diego Latella
:
Engineering crowd interaction within smart environments. EICS 2009: 117-122 - [c73]Michael D. Harrison
, Mieke Massink
:
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. PASM@MASCOTS 2009: 23-42 - 2008
- [j23]Stephen W. Gilroy, Michael D. Harrison
:
SBML: a user interface mark-up language based on interaction style. Int. J. Web Eng. Technol. 4(2): 207-234 (2008) - [c72]José Creissac Campos
, Michael D. Harrison
:
Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS 2008: 72-85 - [c71]Gavin J. Doherty
, José Creissac Campos
, Michael D. Harrison
:
Resources for Situated Actions. DSV-IS 2008: 194-207 - [c70]Christian Kray, Keith Cheverst, Michael D. Harrison, Fathi Hamhoum, Jürgen Wagner:
Towards a location model for indoor navigation support through public displays and mobile devices. MIRW 2008: 83-92 - [c69]Mieke Massink
, Diego Latella
, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti:
A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE 2008: 166-180 - [p1]Michael D. Harrison, José Creissac Campos
, Gavin J. Doherty
, Karsten Loer:
Connecting Rigorous System Analysis to Experience-Centered Design. Maturing Usability 2008: 56-74 - [e3]Michael D. Harrison, Mark-Alexander Sujan:
Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings. Lecture Notes in Computer Science 5219, Springer 2008, ISBN 978-3-540-87697-7 [contents] - [i1]Michael D. Harrison, José Creissac Campos:
Analysing Human Aspects of Safety-Critical Software. ERCIM News 2008(75) (2008) - 2007
- [c68]Harold W. Thimbleby, Michael D. Harrison:
Names and reference in user interfaces. BCS HCI (2) 2007: 107-110 - [c67]José Creissac Campos
, Michael D. Harrison
:
Considering Context and Users in Interactive Systems Analysis. EHCI/DS-VIS 2007: 193-209 - [c66]Michael D. Harrison
, Christian Kray
, Zhiyu Sun, Huqiu Zhang:
Factoring User Experience into the Design of Ambient and Mobile Systems. EHCI/DS-VIS 2007: 243-259 - [c65]Michael D. Harrison
, Christian Kray
, José Creissac Campos
:
Exploring an Option Space to Engineer a Ubiquitous Computing System. FMIS@BCS HCI 2007: 41-55 - 2006
- [j22]Karsten Loer, Michael D. Harrison
:
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. Autom. Softw. Eng. 13(4): 469-496 (2006) - [c64]Mark-Alexander Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon:
Demonstration of Safety in Healthcare Organisations. SAFECOMP 2006: 219-232 - [e2]Stephen W. Gilroy, Michael D. Harrison:
Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Lecture Notes in Computer Science 3941, Springer 2006, ISBN 3-540-34145-5 [contents] - 2005
- [j21]Shamus P. Smith
, Michael D. Harrison
:
Measuring reuse in hazard analysis. Reliab. Eng. Syst. Saf. 89(1): 93-104 (2005) - [c63]Karsten Loer, Michael D. Harrison
:
Analysing User Confusion in Context Aware Mobile Applications. INTERACT 2005: 184-197 - 2004
- [c62]Michael D. Harrison, Lorenzo Strigini:
Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. DSN 2004: 899 - [c61]Stephen W. Gilroy, Michael D. Harrison:
Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand. EHCI/DS-VIS 2004: 325-345 - [c60]Karsten Loer, Michael Hildebrandt, Michael D. Harrison:
Analysing Dynamic Function Scheduling Decisions. Human Error, Safety and Systems Development 2004: 45-60 - [c59]Shamus P. Smith
, Michael D. Harrison, Bastiaan A. Schupp:
How Explicit Are the Barriers to Failure in Safety Arguments? SAFECOMP 2004: 325-338 - [c58]Michael Hildebrandt, Karsten Loer, Michael D. Harrison
:
Time design: analysing human temporal control behaviour in dynamic real-time systems. SMC (1) 2004: 879-885 - [c57]José Creissac Campos, Michael D. Harrison, Karsten Loer:
Verifying user interface behaviour with model checking. VVEIS 2004: 87-96 - 2003
- [c56]José Creissac Campos, Michael D. Harrison:
From HCI to Software Engineering and Back. ICSE Workshop on SE-HCI 2003: 49-56 - [c55]Shamus P. Smith
, Michael D. Harrison:
Reuse in Hazard Analysis: Identification and Support. SAFECOMP 2003: 382-395 - 2002
- [c54]Shamus P. Smith
, Michael D. Harrison:
Blending Descriptive and Numeric Analysis in Human Reliability Design. DSV-IS 2002: 223-237 - [c53]Shamus P. Smith
, Michael D. Harrison:
Improving Hazard Classification through the Reuse of Descriptive Arguments. ICSR 2002: 255-268 - [c52]Karsten Loer, Michael D. Harrison:
Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. ASE 2002: 223-226 - [c51]Shamus P. Smith, Michael D. Harrison:
Augmenting descriptive scenario analysis for improvements in human reliability design. SAC 2002: 739-743 - [c50]Michael D. Harrison, P. D. Johnson, Peter C. Wright:
Automating functions in multi-agent control systems: supporting the decision process. SSS 2002: 93-106 - 2001
- [j20]José Creissac Campos
, Michael D. Harrison
:
Model Checking Interactor Specifications. Autom. Softw. Eng. 8(3-4): 275-310 (2001) - [j19]Shamus P. Smith
, Michael D. Harrison
:
Editorial: User centred design and implementation of virtual environments. Int. J. Hum. Comput. Stud. 55(2): 109-114 (2001) - [j18]James S. Willans, Michael D. Harrison
:
A toolset supported approach for designing and testing virtual environment interaction techniques. Int. J. Hum. Comput. Stud. 55(2): 145-165 (2001) - [c49]James S. Willans, Michael D. Harrison:
Prototyping Pre-implementation Designs of Virtual Environment Behaviour. EHCI 2001: 91-108 - [c48]Steven Pocock, Michael D. Harrison, Peter C. Wright, Paul Johnson:
THEA: A Technique for Human Error Assessment Early in Design. INTERACT 2001: 247-254 - 2000
- [j17]Gavin J. Doherty
, José Creissac Campos
, Michael D. Harrison:
Representational Reasoning and Verification. Formal Aspects Comput. 12(4): 260-277 (2000) - [j16]Peter C. Wright, Robert E. Fields, Michael D. Harrison:
Analyzing Human-Computer Interaction as Distributed Cognition: The Resources Model. Hum. Comput. Interact. 15(1): 1-41 (2000) - [j15]Andy Dearden, Michael D. Harrison
, Peter C. Wright:
Allocation of function: scenarios, context and the economics of effort. Int. J. Hum. Comput. Stud. 52(2): 289-318 (2000) - [c47]James S. Willans, Michael D. Harrison:
Verifying the Behaviour of Virtual Environment World Objects. DSV-IS 2000: 65-77 - [c46]Karsten Loer, Michael D. Harrison:
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? DSV-IS 2000: 169-190 - [c45]James S. Willans, Michael D. Harrison:
A 'plug and play' approach to testing virtual environment interaction techniques. EGVE 2000: 33-42
1990 – 1999
- 1999
- [j14]David J. Duke, Bob Fields, Michael D. Harrison:
A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. Formal Aspects Comput. 11(2): 107-131 (1999) - [c44]José Creissac Campos, Michael D. Harrison:
Modelling and Analysing Connectivity in an Audio-Visual Communications System. DSV-IS 1999: 167-188 - [c43]Anthony D. Griffiths, Michael D. Harrison, Andrew M. Dearden:
Using Scenarios to Envisage the Impact of CBR on Decision-Making Processes. ICCBR Workshops 1999: 15-24 - [c42]Anthony D. Griffiths, Michael D. Harrison, Andrew M. Dearden:
Case-based Reasoning Systems for Knowledge Mediation. INTERACT 1999: 425-433 - 1998
- [j13]Michael D. Harrison:
Desert Island Reading. Autom. Softw. Eng. 5(3): 373-375 (1998) - [c41]José Creissac Campos, Michael D. Harrison:
The Role of Verification in Interactive Systems Design. DSV-IS 1998: 155-170 - [c40]Gavin J. Doherty
, Michael D. Harrison:
Integrating Joint Behaviour and Dialogue Description. DSV-IS 1998: 293-308 - [c39]Michael D. Harrison:
Working Group 1 Report. DSV-IS 1998: 312-315 - 1997
- [j12]Andrew M. Dearden, Michael D. Harrison:
A Software Engineering Model for Case Memory System. Comput. J. 40(4): 167-182 (1997) - [j11]Andrew M. Dearden, Michael D. Harrison:
Abstract models for HCI. Int. J. Hum. Comput. Stud. 46(1): 151-177 (1997) - [j10]John C. McCarthy
, Patrick G. T. Healey
, Peter C. Wright, Michael D. Harrison:
Accountability of work activity in high-consequence work systems: human error in context. Int. J. Hum. Comput. Stud. 47(6): 735-766 (1997) - [c38]José Creissac Campos, Michael D. Harrison:
Formally verifying interactive systems: A review. DSV-IS 1997: 109-124 - [c37]Gavin J. Doherty
, Michael D. Harrison:
A representational approach to the specification of presentations. DSV-IS 1997: 273-290 - [c36]John C. McCarthy, Peter C. Wright, Patrick G. T. Healey, Andrew M. Dearden, Michael D. Harrison:
Locating the scene: the particular and the general in contexts for ambulance control. GROUP 1997: 101-110 - [c35]Bob Fields, Peter C. Wright, Michael D. Harrison:
Objectives, strategies and resources as design drivers. INTERACT 1997: 164-171 - [c34]Peter C. Wright, Bob Fields, Andrew M. Dearden, Michael D. Harrison:
Techniques for the design of human error tolerant systems. INTERACT 1997: 665-666 - [c33]Andrew M. Dearden, Michael D. Harrison:
Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors. SAFECOMP 1997: 138-147 - [e1]Michael D. Harrison, Juan Carlos Torres:
Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain. Eurographics, Springer 1997, ISBN 3-211-83055-3 [contents] - 1996
- [j9]Bob Fields, Peter C. Wright, Michael D. Harrison:
Time, tasks and errors. ACM SIGCHI Bull. 28(2): 53-56 (1996) - [c32]Andrew M. Dearden, Michael D. Harrison:
Risk Analysis, Impact and Interaction Modelling. DSV-IS 1996: 229-247 - [c31]Nicholas A. Merriam, Michael D. Harrison:
Evaluating the Interfaces of Three Theorem Proving Assistants. DSV-IS 1996: 330-346 - [c30]Andrew M. Dearden, Michael D. Harrison:
Impact as a Human Factor in Interactive System Design. SSS 1996: 184-199 - 1995
- [j8]David J. Duke, Michael D. Harrison:
Event model of human-system interaction. Softw. Eng. J. 10(1): 3-12 (1995) - [j7]David J. Duke, Michael D. Harrison:
Mapping user requirements to implementations. Softw. Eng. J. 10(1): 13-20 (1995) - [j6]Ann Blandford
, Philip J. Barnard
, Michael D. Harrison
:
Using Interaction Framework to guide the design of interactive systems. Int. J. Hum. Comput. Stud. 43(1): 101-130 (1995) - [c29]David J. Duke, Michael D. Harrison:
Interaction and Task Requirements. DSV-IS 1995: 54-75 - [c28]Christopher John Bramwell, Bob Fields, Michael D. Harrison:
Exploring Design Options Rationally. DSV-IS 1995: 134-148 - [c27]Michael D. Harrison:
Reports from Working Groups: Role of Verification. DSV-IS 1995: 342-344 - [c26]John C. McCarthy, Peter C. Wright, Michael D. Harrison:
A requirements space for group-work systems. INTERACT 1995: 283-288 - [c25]Bob Fields, Peter C. Wright, Michael D. Harrison:
A task centered approach to analysing human error tolerance requirements. RE 1995: 18-26 - 1994
- [j5]Bob Fields, Michael D. Harrison, Peter C. Wright:
From informal requirements to agent-based specification. ACM SIGCHI Bull. 26(2): 65-68 (1994) - [c24]David J. Duke, Giorgio P. Faconti, Michael D. Harrison
, Fabio Paternò
:
Unifying Views of Interactors. Advanced Visual Interfaces 1994: 143-152 - [c23]Michael D. Harrison:
Working Group Discussions: Role of Formalisms. DSV-IS 1994: 57-60 - [c22]Bob Fields, Michael D. Harrison, Peter C. Wright:
Modelling Interactive Systems and Providing Task Relevant Information. DSV-IS 1994: 253-266 - [c21]Michael D. Harrison, Ann Blandford, Philip J. Barnard:
Modelling Interactive Systems and Providing Task Relevant Information. DSV-IS 1994: 267-277 - [c20]Andrew M. Dearden, Michael D. Harrison:
Modelling Interaction Properties for Interactive Case Memories. DSV-IS 1994: 301-316 - [c19]David J. Duke, Michael D. Harrison:
Folding Human Factors into Rigorous Development. DSV-IS 1994: 333-347 - [c18]Chris R. Roast, Michael D. Harrison:
User Centred System Modelling using the Template Model. DSV-IS 1994: 401-412 - [c17]David J. Duke, Michael D. Harrison:
A Theory of Presentations. FME 1994: 271-290 - [c16]Michael D. Harrison, David J. Duke:
A Review of Formalisms for Describing Interactive Behaviour. ICSE Workshop on SE-HCI 1994: 49-75 - [c15]David J. Duke, Michael D. Harrison:
From Formal Models to Formal Methods. ICSE Workshop on SE-HCI 1994: 159-173 - [c14]Bob Fields, Peter C. Wright, Michael D. Harrison:
Applying Formal Methods for Human Error Tolerant Design. ICSE Workshop on SE-HCI 1994: 185-195 - [c13]Peter C. Wright, Bob Fields, Michael D. Harrison:
Deriving human-error tolerance requirements from tasks. ICRE 1994: 135-142 - 1993
- [j4]David J. Duke, Michael D. Harrison:
Abstract Interaction Objects. Comput. Graph. Forum 12(3): 25-36 (1993) - [j3]John C. McCarthy
, Victoria C. Miles, Andrew F. Monk, Michael D. Harrison, Alan J. Dix, Peter C. Wright:
Text-Based On-Line Conferencing: A Conceptual and Empirical Analysis Using a Minimal Prototype. Hum. Comput. Interact. 8(2): 147-183 (1993) - [c12]Michael D. Harrison, Philip J. Barnard:
On defining requirements for interaction. RE 1993: 50-54 - 1992
- [j2]C. W. Johnson, Michael D. Harrison
:
Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems. Int. J. Man Mach. Stud. 37(3): 357-385 (1992) - [c11]Michael D. Harrison:
A Model for the Option Space of Interactive System. Engineering for Human-Computer Interaction 1992: 155-170 - [c10]Gilbert Cockton, Michael D. Harrison, Barbara H. Kwasnik, Robin R. Penner, Rob Procter:
HCI: Whose Problem Is It Anyway? Engineering for Human-Computer Interaction 1992: 397-403 - 1991
- [j1]John C. McCarthy
, Victoria C. Miles, Andrew F. Monk, Michael D. Harrison, Alan J. Dix, Peter C. Wright:
Four generic communication tasks which must be supported in electronic conferencing. ACM SIGCHI Bull. 23(1): 41-43 (1991) - [c9]Nick Hammond, Philip J. Barnard
, Joëlle Coutaz, Michael D. Harrison
, Allan MacLean, Richard M. Young:
Modelling user, system design: results of a scenarios matrix exercise. CHI 1991: 377-380 - [c8]C. W. Johnson, Michael D. Harrison:
Declarative Graphics And Dynamic Interaction. Eurographics 1991: 195-208 - 1990
- [c7]Michael D. Harrison, Andrew F. Monk:
Human computer interaction group, University of York, U.K. (lab review). CHI 1990: 85-86 - [c6]C. W. Johnson, Michael D. Harrison:
Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems. Eurographics 1990 - [c5]Janet Finlay, Michael D. Harrison:
Pattern recognition and interaction models. INTERACT 1990: 149-154 - [c4]Andrew F. Monk, John M. Carroll, Michael D. Harrison, John Long, Richard M. Young:
New approaches to theory in HCI: How should we judge their acceptability? INTERACT 1990: 1055-1058
1980 – 1989
- 1988
- [c3]Michael D. Harrison, Alan J. Dix:
Modelling the relationship between state and display in interactive systems. Informatics and Psychology Workshop 1988: 241-249 - 1987
- [c2]Alan J. Dix, Michael D. Harrison, Colin Runciman, Harold W. Thimbleby:
Interaction Models and the Principled Design of Interactive Systems. ESEC 1987: 118-126
1970 – 1979
- 1978
- [b1]Michael D. Harrison:
Developing a calculus for relating computer programs. University of Oxford, UK, 1978 - 1976
- [c1]Michael D. Harrison:
Relations between Programs with Different Storage Requirements. MFCS 1976: 323-329
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-21 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint