Author: Michael D. Harrison

Publication Overview

Publication period start: 2001
Number of co-authors: 35

Co-Authors

Number of publications with favourite co-authors

David J. Duke
4
Peter C. Wright
5
José Creissac Campos
5

Productive Colleagues

Most productive colleagues in number of publications

Ann Blandford
85
Alan J. 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
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Get one powerful email each week, like 326,062 others.

Learn to design a life you love.

Next email in
6
days
12
hrs
52
mins
26
secs