Author: Michael D. Harrison

Publications

Co-authors

David J. Duke

4

Peter C. Wright

5

José Creissac Campos

5

Productive Colleagues

Ann Blandford

85

Alan Dix

107

Fabio Paterno

126

Publications

Gilroy, Stephen W., Harrison, Michael D. (2008): SBML: a user interface mark-up language based on interaction style. In Int. J. Web Eng. Technol., 4 (2) pp. 207-234. https://dx.doi.org/10.1504/IJWET.2008.018098

Smith, Shamus P., Harrison, Michael D. (2001): Editorial: User centred design and implementation of virtual environments. In International Journal of Human-Computer Studies, 55 (2) pp. 109-114.

Willans, James S., Harrison, Michael D. (2001): A toolset supported approach for designing and testing virtual environment interaction tec. In International Journal of Human-Computer Studies, 55 (2) pp. 145-165.

Campos, J. C., Harrison, Michael D. (2001): Model checking interactor specifications. In Automated Software Engineering, 8 (3) pp. 275-310.

McCarthy, John C., Wright, Peter C., Healey, Patrick, Dearden, Andrew M., Harrison, Michael D. (1997): Locating the Scene: The Particular and the General in Contexts for Ambulance Control. In: Payne, Stephen C., Prinz, Wolfgang (eds.) Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work 1997 November 11-19, 1997, Phoenix, Arizona, USA. pp. 101-110. https://www.acm.org/pubs/articles/proceedings/cscw/266838/p101-mccarthy/p101-mccarthy.pdf

Hassell, Jonathan, Harrison, Michael D. (1994): Generalisation and the Adaptive Interface. In: Cockton, Gilbert, Draper, Steven, Weir, George R. S. (eds.) Proceedings of the Ninth Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers IX August 23-26, 1994, Glasgow, Scotland, UK. pp. 223-238.

Duke, David J., Harrison, Michael D. (1993): Abstract Interaction Objects. In Comput. Graph. Forum, 12 (3) pp. 25-36.

Johnson, C. W., Harrison, Michael D. (1992): Using Temporal Logic to Support the Specification and Prototyping of Interactive Control S. In International Journal of Man-Machine Studies, 37 (3) pp. 357-385.

Harrison, Michael D., Monk, Andrew, Wright, Peter C. (1992): The Human-Computer Interaction Group at the University of York. In: Monk, Andrew, Diaper, Dan, Harrison, Michael D. (eds.) Proceedings of the Seventh Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers VII August 15-18, 1992, University of York, UK. pp. 499-501.

Miles, Victoria C., Johnson, C. W., McCarthy, John C., Harrison, Michael D. (1991): Supporting Prediction in Complex Dynamic Systems. In: Diaper, Dan, Hammond, Nick (eds.) Proceedings of the Sixth Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers VI August 20-23, 1991, Heriot-Watt University, Edinburgh, UK. pp. 133-144.

McCarthy, John C., Miles, Victoria C., Monk, Andrew, Harrison, Michael D., Dix, Alan J., Wright, Peter C. (1991): Four Generic Communication Tasks which Must be Supported in Electronic Conferencing. In ACM SIGCHI Bulletin, 23 (1) pp. 41-43.

Dix, Alan J., Harrison, Michael D. (1987): Formalising Models of Interaction in the Design of a Display Editor. In: Bullinger, Hans-Jorg, Shackel, Brian (eds.) INTERACT 87 - 2nd IFIP International Conference on Human-Computer Interaction September 1-4, 1987, Stuttgart, Germany. pp. 409-414.

Dix, Alan J., Harrison, Michael D. (1986): Principles and Interaction Models for Window Managers. In: Harrison, Michael D., Monk, Andrew (eds.) Proceedings of the Second Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers II August 23-26, 1986, University of York, UK. pp. 352-366.

Harrison, Michael D., Thimbleby, Harold (1985): Formalising Guidelines for the Design of Interactive Systems. In: Johnson, Peter, Cook, Stephen (eds.) Proceedings of the Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers I August 17-20, 1985, University of East Anglia. pp. 161-171.

Harrison, Michael D., Monk, Andrew (eds.) Proceedings of the Second Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers II August 23-26, 1986, University of York, UK.

Monk, Andrew, Diaper, Dan, Harrison, Michael D. (eds.) Proceedings of the Seventh Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers VII August 15-18, 1992, University of York, UK.

Harrison, Michael D., Roast, C. R., Wright, P. C. (1989): Complementary Methods for the Iterative Design of Interactive Systems. In: Proceedings of the Third International Conference on Human-Computer Interaction , 1989, . pp. 651-658.

Loer, K., Harrison, Michael D. (2005): Analysing User Confusion in Context Aware Mobile Applications. In: Proceedings of IFIP INTERACT05: Human-Computer Interaction , 2005, . pp. 184-197. https://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/11555261_18

Barnard, Philip J., Harrison, Michael D. (1992): Towards a Framework for Modelling Human-Computer Interactions. In: East-West International Conference on Human-Computer Interaction: Proceedings of the EWHCI92 , 1992, . pp. 189-196.

Kray, Christian, Cheverst, Keith, Harrison, Michael D., Hamhoum, Fathi, Wagner, Jürgen (2008): Towards a location model for indoor navigation support through public displays and mobile . In: Henze, Niels, Broll, Gregor, Rukzio, Enrico, Rohs, Michael, Zimmermann, Andreas, Boll, Susanne (eds.) Mobile Interaction with the Real World 2008 - MIRW 2008 - Mobile HCI Workshop September 2, 2008, Amsterdam, The Netherland. pp. 83-92. https://mirw08.offis.de/paper/07.pdf

Fields, Bob, Wright, Peter C., Harrison, Michael D. (1995): A task centered approach to analysing human error tolerance requirements. In: Second IEEE International Symposium on Requirements Engineering 1995 March 27 - 29, 1995, York, England. pp. 18-26. https://csdl.computer.org/comp/proceedings/re/1995/7017/00/70170018abs.htm

Willans, James S., Harrison, Michael D. (2001): Prototyping Pre-implementation Designs of Virtual Environment Behaviour. In: Little, Murray Reed, Nigay, Laurence (eds.) EHCI 2001 - Engineering for Human-Computer Interaction, 8th IFIP International Conference May 11-13, 2001, Toronto, Canada. pp. 91-108. https://link.springer.de/link/service/series/0558/bibs/2254/22540091.htm

Gilroy, Stephen W., Harrison, Michael D. (2005): Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand. In: Bastide, Remi, Palanque, Philippe A., Roth, Jorg (eds.) Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004 July 11-13, 2005, Hamburg, Germany. pp. 325-345. https://dx.doi.org/10.1007/11431879_22

Duke, David J., Faconti, Giorgio P., Harrison, Michael D., Paterno, Fabio (1994): Unifying Views of Interactors. In: Advanced Visual Interfaces 1994 , 1994, . pp. 143-152. https://doi.acm.org/10.1145/192309.192341

Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK.

Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain.

Duke, David J., Harrison, Michael D. (1994): Folding Human Factors into Rigorous Development. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 333-347.

Duke, David J., Harrison, Michael D. (1995): Interaction and Task Requirements. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 54-75.

Fields, Bob, Harrison, Michael D., Wright, Peter C. (1994): Modelling Interactive Systems and Providing Task Relevant Information. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 253-266.

Bramwell, Chris, Fields, Bob, Harrison, Michael D. (1995): Exploring Design Options Rationally. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 134-148.

Doherty, Gavin, Harrison, Michael D. (1997): A representational approach to the specification of presentations. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 273-290.

Loer, Karsten, Harrison, Michael D. (2000): Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Wor. In: DSV-IS 2000 , 2000, . pp. 169-190. https://link.springer.de/link/service/series/0558/bibs/1946/19460169.htm

Dearden, Andrew M., Harrison, Michael D. (1994): Modelling Interaction Properties for Interactive Case Memories. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 301-316.

Doherty, Gavin, Harrison, Michael D. (1998): Integrating Joint Behaviour and Dialogue Description. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 293-308.

Campos, José Creissac, Harrison, Michael D. (1997): Formally verifying interactive systems: A review. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 109-124.

Campos, José Creissac, Harrison, Michael D. (1998): The Role of Verification in Interactive Systems Design. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 155-170.

Harrison, Michael D. (1994): Working Group Discussions: Role of Formalisms. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 57-60.

Campos, José Creissac, Harrison, Michael D. (1999): Modelling and Analysing Connectivity in an Audio-Visual Communications System. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 167-188.

Harrison, Michael D. (1995): Reports from Working Groups: Role of Verification. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 342-344.

Harrison, Michael D. (1998): Working Group 1 Report. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 312-315.

Harrison, Michael D., Blandford, Ann, Barnard, Philip J. (1994): Modelling Interactive Systems and Providing Task Relevant Information. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 267-277.

Dearden, Andrew M., Harrison, Michael D. (1996): Risk Analysis, Impact and Interaction Modelling. In: Bodart, Francois, Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 229-247.

Merriam, Nicholas A., Harrison, Michael D. (1996): Evaluating the Interfaces of Three Theorem Proving Assistants. In: Bodart, Francois, Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 330-346.

Willans, James S., Harrison, Michael D. (2000): Verifying the Behaviour of Virtual Environment World Objects. In: DSV-IS 2000 , 2000, . pp. 65-77. https://link.springer.de/link/service/series/0558/bibs/1946/19460065.htm

Roast, Chris R., Harrison, Michael D. (1994): User Centred System Modelling using the Template Model. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 401-412.

Campos, José Creissac, Harrison, Michael D. (2008): Systematic Analysis of Control Panel Interfaces Using Formal Tools. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 72-85. https://dx.doi.org/10.1007/978-3-540-70569-7_6

Doherty, Gavin, Campos, José Creissac, Harrison, Michael D. (2008): Resources for Situated Actions. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 194-207. https://dx.doi.org/10.1007/978-3-540-70569-7_19

Smith, Shamus P., Harrison, Michael D. (2002): Blending Descriptive and Numeric Analysis in Human Reliability Design. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 223-237. https://link.springer.de/link/service/series/0558/bibs/2545/25450223.htm