Author: Michael D. Harrison
Publication Overview
Publication period start: 2001
Number of co-authors: 35
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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