| 2008 |
|---|
| 74 | | 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
Springer 2008 |
| 73 | EE | Gavin J. Doherty,
José Creissac Campos,
Michael D. Harrison:
Resources for Situated Actions.
DSV-IS 2008: 194-207 |
| 72 | EE | José Creissac Campos,
Michael D. Harrison:
Systematic Analysis of Control Panel Interfaces Using Formal Tools.
DSV-IS 2008: 72-85 |
| 71 | EE | 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 |
| 70 | EE | 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 |
| 69 | EE | Michael D. Harrison,
Christian Kray,
José Creissac Campos:
Exploring an Option Space to Engineer a Ubiquitous Computing System.
Electr. Notes Theor. Comput. Sci. 208: 41-55 (2008) |
| 68 | EE | 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) |
| 2006 |
|---|
| 67 | | 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
Springer 2006 |
| 66 | EE | Mark A. Sujan,
Michael D. Harrison,
Alison Steven,
Pauline H. Pearson,
Susan J. Vernon:
Demonstration of Safety in Healthcare Organisations.
SAFECOMP 2006: 219-232 |
| 65 | EE | 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) |
| 2005 |
|---|
| 64 | EE | Karsten Loer,
Michael D. Harrison:
Analysing User Confusion in Context Aware Mobile Applications.
INTERACT 2005: 184-197 |
| 2004 |
|---|
| 63 | | Michael D. Harrison,
Lorenzo Strigini:
Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability.
DSN 2004: 899 |
| 62 | EE | 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 |
| 61 | | Karsten Loer,
Michael Hildebrandt,
Michael D. Harrison:
Analysing Dynamic Function Scheduling Decisions.
Human Error, Safety and Systems Development 2004: 45-60 |
| 60 | EE | Shamus P. Smith,
Michael D. Harrison,
Bastiaan A. Schupp:
How Explicit Are the Barriers to Failure in Safety Arguments?
SAFECOMP 2004: 325-338 |
| 59 | EE | Michael Hildebrandt,
Karsten Loer,
Michael D. Harrison:
Time design: analysing human temporal control behaviour in dynamic real-time systems.
SMC (1) 2004: 879-885 |
| 58 | | José Creissac Campos,
Michael D. Harrison,
Karsten Loer:
Verifying user interface behaviour with model checking.
VVEIS 2004: 87-96 |
| 2003 |
|---|
| 57 | EE | José Creissac Campos,
Michael D. Harrison:
From HCI to Software Engineering and Back.
ICSE Workshop on SE-HCI 2003: 49-56 |
| 56 | EE | Shamus P. Smith,
Michael D. Harrison:
Reuse in Hazard Analysis: Identification and Support.
SAFECOMP 2003: 382-395 |
| 2002 |
|---|
| 55 | EE | Karsten Loer,
Michael D. Harrison:
Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems.
ASE 2002: 223-226 |
| 54 | EE | Shamus P. Smith,
Michael D. Harrison:
Blending Descriptive and Numeric Analysis in Human Reliability Design.
DSV-IS 2002: 223-237 |
| 53 | EE | Shamus P. Smith,
Michael D. Harrison:
Improving Hazard Classification through the Reuse of Descriptive Arguments.
ICSR 2002: 255-268 |
| 52 | EE | Shamus P. Smith,
Michael D. Harrison:
Augmenting descriptive scenario analysis for improvements in human reliability design.
SAC 2002: 739-743 |
| 2001 |
|---|
| 51 | EE | James S. Willans,
Michael D. Harrison:
Prototyping Pre-implementation Designs of Virtual Environment Behaviour.
EHCI 2001: 91-108 |
| 50 | | José Creissac Campos,
Michael D. Harrison:
Model Checking Interactor Specifications.
Autom. Softw. Eng. 8(3-4): 275-310 (2001) |
| 49 | EE | 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) |
| 48 | EE | 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) |
| 2000 |
|---|
| 47 | EE | Karsten Loer,
Michael D. Harrison:
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?
DSV-IS 2000: 169-190 |
| 46 | EE | James S. Willans,
Michael D. Harrison:
Verifying the Behaviour of Virtual Environment World Objects.
DSV-IS 2000: 65-77 |
| 45 | EE | Gavin J. Doherty,
José Creissac Campos,
Michael D. Harrison:
Representational Reasoning and Verification.
Formal Asp. Comput. 12(4): 260-277 (2000) |
| 44 | EE | 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) |
| 1999 |
|---|
| 43 | | José Creissac Campos,
Michael D. Harrison:
Modelling and Analysing Connectivity in an Audio-Visual Communications System.
DSV-IS 1999: 167-188 |
| 42 | | 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 |
| 41 | EE | David J. Duke,
Bob Fields,
Michael D. Harrison:
A Case Study in the Specification and Analysis of Design Alternatives for a User Interface.
Formal Asp. Comput. 11(2): 107-131 (1999) |
| 1998 |
|---|
| 40 | | José Creissac Campos,
Michael D. Harrison:
The Role of Verification in Interactive Systems Design.
DSV-IS 1998: 155-170 |
| 39 | | Gavin J. Doherty,
Michael D. Harrison:
Integrating Joint Behaviour and Dialogue Description.
DSV-IS 1998: 293-308 |
| 38 | | Michael D. Harrison:
Working Group 1 Report.
DSV-IS 1998: 312-315 |
| 37 | | Michael D. Harrison:
Desert Island Reading.
Autom. Softw. Eng. 5(3): 373-375 (1998) |
| 1997 |
|---|
| 36 | | 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
Springer 1997 |
| 35 | | José Creissac Campos,
Michael D. Harrison:
Formally verifying interactive systems: A review.
DSV-IS 1997: 109-124 |
| 34 | | Gavin J. Doherty,
Michael D. Harrison:
A representational approach to the specification of presentations.
DSV-IS 1997: 273-290 |
| 33 | EE | 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 |
| 32 | | Bob Fields,
Peter C. Wright,
Michael D. Harrison:
Objectives, strategies and resources as design drivers.
INTERACT 1997: 164-171 |
| 31 | | Peter C. Wright,
Bob Fields,
Andrew M. Dearden,
Michael D. Harrison:
Techniques for the design of human error tolerant systems.
INTERACT 1997: 665-666 |
| 30 | | Andrew M. Dearden,
Michael D. Harrison:
A Software Engineering Model for Case Memory System.
Comput. J. 40(4): 167-182 (1997) |
| 29 | EE | Andrew M. Dearden,
Michael D. Harrison:
Abstract models for HCI.
Int. J. Hum.-Comput. Stud. 46(1): 151-177 (1997) |
| 28 | EE | 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) |
| 1996 |
|---|
| 27 | | Andrew M. Dearden,
Michael D. Harrison:
Risk Analysis, Impact and Interaction Modelling.
DSV-IS 1996: 229-247 |
| 26 | | Nicholas A. Merriam,
Michael D. Harrison:
Evaluating the Interfaces of Three Theorem Proving Assistants.
DSV-IS 1996: 330-346 |
| 1995 |
|---|
| 25 | | Chris Bramwell,
Bob Fields,
Michael D. Harrison:
Exploring Design Options Rationally.
DSV-IS 1995: 134-148 |
| 24 | | Michael D. Harrison:
Reports from Working Groups: Role of Verification.
DSV-IS 1995: 342-344 |
| 23 | | David J. Duke,
Michael D. Harrison:
Interaction and Task Requirements.
DSV-IS 1995: 54-75 |
| 22 | | John C. McCarthy,
Peter C. Wright,
Michael D. Harrison:
A requirements space for group-work systems.
INTERACT 1995: 283-288 |
| 21 | EE | Bob Fields,
Peter C. Wright,
Michael D. Harrison:
A task centered approach to analysing human error tolerance requirements.
RE 1995: 18-26 |
| 20 | EE | 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) |
| 1994 |
|---|
| 19 | EE | David J. Duke,
Giorgio P. Faconti,
Michael D. Harrison,
Fabio Paternò:
Unifying Views of Interactors.
Advanced Visual Interfaces 1994: 143-152 |
| 18 | | Bob Fields,
Michael D. Harrison,
Peter C. Wright:
Modelling Interactive Systems and Providing Task Relevant Information.
DSV-IS 1994: 253-266 |
| 17 | | Michael D. Harrison,
Ann Blandford,
Philip J. Barnard:
Modelling Interactive Systems and Providing Task Relevant Information.
DSV-IS 1994: 267-277 |
| 16 | | Andrew M. Dearden,
Michael D. Harrison:
Modelling Interaction Properties for Interactive Case Memories.
DSV-IS 1994: 301-316 |
| 15 | | David J. Duke,
Michael D. Harrison:
Folding Human Factors into Rigorous Development.
DSV-IS 1994: 333-347 |
| 14 | | Chris R. Roast,
Michael D. Harrison:
User Centred System Modelling using the Template Model.
DSV-IS 1994: 401-412 |
| 13 | | Michael D. Harrison:
Working Group Discussions: Role of Formalisms.
DSV-IS 1994: 57-60 |
| 12 | | David J. Duke,
Michael D. Harrison:
A Theory of Presentations.
FME 1994: 271-290 |
| 11 | | David J. Duke,
Michael D. Harrison:
From Formal Models to Formal Methods.
ICSE Workshop on SE-HCI 1994: 159-173 |
| 10 | | Bob Fields,
Peter C. Wright,
Michael D. Harrison:
Applying Formal Methods for Human Error Tolerant Design.
ICSE Workshop on SE-HCI 1994: 185-195 |
| 9 | | Michael D. Harrison,
David J. Duke:
A Review of Formalisms for Describing Interactive Behaviour.
ICSE Workshop on SE-HCI 1994: 49-75 |
| 1993 |
|---|
| 8 | | David J. Duke,
Michael D. Harrison:
Abstract Interaction Objects.
Comput. Graph. Forum 12(3): 25-36 (1993) |
| 1992 |
|---|
| 7 | | Michael D. Harrison:
A Model for the Option Space of Interactive System.
Engineering for Human-Computer Interaction 1992: 155-170 |
| 6 | | 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 |
| 5 | | C. W. Johnson,
Michael D. Harrison:
Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems.
International Journal of Man-Machine Studies 37(3): 357-385 (1992) |
| 1990 |
|---|
| 4 | | Andrew F. Monk,
John 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 |
| 3 | | Janet Finlay,
Michael D. Harrison:
Pattern recognition and interaction models.
INTERACT 1990: 149-154 |
| 1988 |
|---|
| 2 | | Michael D. Harrison,
Alan J. Dix:
Modelling the relationship between state and display in interactive systems.
Informatics and Psychology Workshop 1988: 241-249 |
| 1987 |
|---|
| 1 | | Alan J. Dix,
Michael D. Harrison,
Colin Runciman,
Harold W. Thimbleby:
Interaction Models and the Principled Design of Interactive Systems.
ESEC 1987: 118-126 |
