Michael Douglas Harrison


AuthID: R-00F-KRW

Confirmed Publications: 96



71
TITLE: Allocation of function: Scenarios, context and the economics of effort  Full Text
AUTHORS: Dearden, A; Harrison, M ; Wright, P;
PUBLISHED: 2000, SOURCE: International Journal of Human Computer Studies, VOLUME: 52, ISSUE: 2
INDEXED IN: Scopus CrossRef: 51
IN MY: ORCID
72
TITLE: Analyzing human-computer interaction as distributed cognition: The resources model
AUTHORS: Wright, PC; Fields, RE; Harrison, MD ;
PUBLISHED: 2000, SOURCE: Human-Computer Interaction, VOLUME: 15, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
73
TITLE: Representational Reasoning and Verification  Full Text
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 9
IN MY: ORCID
74
TITLE: A case study in the specification and analysis of design alternatives for a user interface  Full Text
AUTHORS: Duke, D; Fields, B; Harrison, MD ;
PUBLISHED: 1999, SOURCE: Formal Aspects of Computing, VOLUME: 11, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
75
TITLE: Using automated reasoning in the design of an audio-visual communication system
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1999, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
INDEXED IN: WOS DBLP
76
TITLE: The role of verification in interactive systems design
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1998, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1
INDEXED IN: WOS DBLP
77
TITLE: A software engineering model for case memory systems
AUTHORS: Dearden, AM; Harrison, MD ;
PUBLISHED: 1997, SOURCE: Computer Journal, VOLUME: 40, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID
78
TITLE: Abstract models for HCI  Full Text
AUTHORS: Dearden, AM; Harrison, MD ;
PUBLISHED: 1997, SOURCE: International Journal of Human Computer Studies, VOLUME: 46, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
79
TITLE: Accountability of work activity in high-consequence work systems: Human error in context  Full Text
AUTHORS: McCarthy, JC; Healey, PGT; Wright, PC; Harrison, MD ;
PUBLISHED: 1997, SOURCE: International Journal of Human Computer Studies, VOLUME: 47, ISSUE: 6
INDEXED IN: Scopus
IN MY: ORCID
80
Page 8 of 10. Total results: 96.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service