Michael Douglas Harrison


AuthID: R-00F-KRW

Publicações Confirmadas: 96



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service