Michael D. Harrison

Personal Homepage
http://homepages.cs.ncl.ac.uk/michael.harrison/
Employer
()
Email
Michael.Harrison@ncl.ac.uk

Publication Statistics

Publication period start
1985
Publication period end
2008
Number of co-authors
35

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

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. http://dx.doi.org/10.1007/978-3-540-70569-7_19

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. http://dx.doi.org/10.1504/IJWET.2008.018098

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. http://mirw08.offis.de/paper/07.pdf

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. http://dx.doi.org/10.1007/978-3-540-70569-7_6

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. http://dx.doi.org/10.1007/11431879_22

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. http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/11555261_18

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. http://link.springer.de/link/service/series/0558/bibs/2545/25450223.htm

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.

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. http://link.springer.de/link/service/series/0558/bibs/2254/22540091.htm

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

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. http://link.springer.de/link/service/series/0558/bibs/1946/19460169.htm

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.

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.

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.

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.

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.

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. http://www.acm.org/pubs/articles/proceedings/cscw/266838/p101-mccarthy/p101-mccarthy.pdf

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.

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.

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.

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.

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. http://csdl.computer.org/comp/proceedings/re/1995/7017/00/70170018abs.htm

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.

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.

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.

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.

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. http://doi.acm.org/10.1145/192309.192341

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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., 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.

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.

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., 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.

Dix, Alan J., Harrison, Michael D. (1989): Interactive systems design and formal development are incompatible?. In: "The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems" Butterworth-Heinemann .

Harrison, Michael D., Thimbleby, Harold (1990): Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction), Cambridge University Press,