71
TITLE: Analyzing human-computer interaction as distributed cognition: The resources model
AUTHORS: Wright, PC; Fields, RE; Harrison, MD ;
SOURCE: Human-Computer Interaction, VOLUME: 15, ISSUE: 1, PUBLISHED: 2000
INDEXED IN: Scopus
IN MY: ORCID
72
TITLE: Representational Reasoning and Verification  Full Text
AUTHORS: Gavin J. Doherty; José Creissac Campos ; Michael D. Harrison ;
SOURCE: Formal Asp. Comput., VOLUME: 12, ISSUE: 4, PUBLISHED: 2000
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
73
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 ;
SOURCE: Formal Aspects of Computing, VOLUME: 11, ISSUE: 2, PUBLISHED: 1999
INDEXED IN: Scopus
IN MY: ORCID
74
TITLE: Using automated reasoning in the design of an audio-visual communication system
AUTHORS: Campos, JC ; Harrison, MD ;
SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, PUBLISHED: 1999
INDEXED IN: WOS DBLP
75
TITLE: The role of verification in interactive systems design
AUTHORS: Campos, JC ; Harrison, MD ;
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, PUBLISHED: 1998
INDEXED IN: WOS DBLP
76
TITLE: A software engineering model for case memory systems
AUTHORS: Dearden, AM; Harrison, MD ;
SOURCE: Computer Journal, VOLUME: 40, ISSUE: 4, PUBLISHED: 1997
INDEXED IN: Scopus
IN MY: ORCID
77
TITLE: Abstract models for HCI  Full Text
AUTHORS: Dearden, AM; Harrison, MD ;
SOURCE: International Journal of Human Computer Studies, VOLUME: 46, ISSUE: 1, PUBLISHED: 1997
INDEXED IN: Scopus
IN MY: ORCID
78
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 ;
SOURCE: International Journal of Human Computer Studies, VOLUME: 47, ISSUE: 6, PUBLISHED: 1997
INDEXED IN: Scopus
IN MY: ORCID
80
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, PUBLISHED: 1997
INDEXED IN: DBLP
Page 8 of 10. Total results: 95.