Michael Douglas Harrison


AuthID: R-00F-KRW

Confirmed Publications: 96



61
TITLE: Time design: Analysing human temporal control behaviour in dynamic real-time systems  Full Text
AUTHORS: Hildebrandt, M; Loer, KF; Harrison, MD ;
PUBLISHED: 2004, SOURCE: 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004 in Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
62
TITLE: Verifying user interface behaviour with model checking
AUTHORS: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
PUBLISHED: 2004, SOURCE: VVEIS
INDEXED IN: DBLP
63
TITLE: Workshop on interdisciplinary approaches to achieving and analysing system dependability
AUTHORS: Harrison, M ; Strigini, L;
PUBLISHED: 2004, SOURCE: 2004 International Conference on Dependable Systems and Networks in Proceedings of the International Conference on Dependable Systems and Networks
INDEXED IN: Scopus
IN MY: ORCID
64
TITLE: From HCI to Software Engineering and Back
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2003, SOURCE: ICSE Workshop on SE-HCI
INDEXED IN: DBLP
65
TITLE: Reuse in hazard analysis: Identification and support
AUTHORS: Smith, SP; Harrison, MD ;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2788
INDEXED IN: Scopus
IN MY: ORCID
66
TITLE: Augmenting descriptive scenario analysis for improvements in human reliability design
AUTHORS: Smith, SP; Harrison, MD ;
PUBLISHED: 2002, SOURCE: Applied Computing 2002: Proceeedings of the 2002 ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus
IN MY: ORCID
67
TITLE: A toolset supported approach for designing and testing virtual environment interaction techniques  Full Text
AUTHORS: Willans, JS; Harrison, MD ;
PUBLISHED: 2001, SOURCE: International Journal of Human Computer Studies, VOLUME: 55, ISSUE: 2
INDEXED IN: Scopus CrossRef: 16
IN MY: ORCID
68
TITLE: An evaluation of two function allocation methods
AUTHORS: Johnson, P; Harrison, M ; Wright, P;
PUBLISHED: 2001, SOURCE: People in Control. International Conference on Human Interfaces in Control Rooms, Cockpits and Command Centres in IEE Conference Publication, ISSUE: 481
INDEXED IN: Scopus
IN MY: ORCID
69
TITLE: Editorial: User centred design and implementation of virtual environments  Full Text
AUTHORS: Smith, SP; Harrison, MD ;
PUBLISHED: 2001, SOURCE: International Journal of Human Computer Studies, VOLUME: 55, ISSUE: 2
INDEXED IN: Scopus CrossRef: 9
IN MY: ORCID
70
TITLE: Model Checking Interactor Specifications  Full Text
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2001, SOURCE: Autom. Softw. Eng., VOLUME: 8, ISSUE: 3-4
INDEXED IN: Scopus DBLP CrossRef: 53
IN MY: ORCID
Page 7 of 10. Total results: 96.

footer slogan

Useful Links

Get Help

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