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: Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004
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 PDF
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2003, SOURCE: Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA
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: 42
IN MY: ORCID
Page 7 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