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: 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
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 PDF
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2003, FONTE: Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA
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: 42
NO MEU: ORCID
Página 7 de 10. Total de resultados: 96.

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

Links Úteis

Ajuda

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