Michael Douglas Harrison


AuthID: R-00F-KRW

Publicações Confirmadas: 96



11
TÍTULO: Formal Verification of Safety-Critical User Interfaces: a space system case study
AUTORES: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLICAÇÃO: 2014, FONTE: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
12
TÍTULO: Prototyping and analysing ubiquitous computing environments using multiple layers
AUTORES: Silva, JL ; Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 2014, FONTE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 17 Handle
NO MEU: ORCID
13
TÍTULO: Rapid development of first person serious games using the APEX platform: The Asthma Game. the asthma game  Full Text
AUTORES: Gomes, T; Abade, T; Campos, JC ; Harrison, M ; Silva, JL ;
PUBLICAÇÃO: 2014, FONTE: 29th Annual ACM Symposium on Applied Computing, SAC 2014 in Proceedings of the ACM Symposium on Applied Computing
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
14
TÍTULO: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13, London, United Kingdom - June 24 - 27, 2013
AUTORES: Peter Forbrig; Prasun Dewan; Michael Harrison ; Kris Luyten;
PUBLICAÇÃO: 2013, FONTE: EICS
INDEXADO EM: DBLP
15
TÍTULO: Automated theorem proving for the systematic analysis of an infusion pump
AUTORES: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 69
INDEXADO EM: Scopus DBLP
16
TÍTULO: Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
AUTORES: Rimvydas Ruksenas; Paolo Masci ; Michael D Harrison ; Paul Curzon;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 69
INDEXADO EM: DBLP
17
TÍTULO: Formal performance modelling: From protocols to people
AUTORES: Thomas, N; Harrison, M ; Zhao, Y; Chen, X;
PUBLICAÇÃO: 2013, FONTE: 9th European Performance Engineering Workshop, EPEW 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7587 LNCS
INDEXADO EM: Scopus CrossRef
18
TÍTULO: Integrating formal predictions of interactive system behaviour with user evaluation
AUTORES: Ruksenas, R; Curzon, P; Harrison, MD ;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Integrated Formal Methods, IFM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7940 LNCS
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
19
TÍTULO: Using medical device logs for improving medical device design
AUTORES: Cauchi, A; Thimbleby, H; Oladimeji, P; Harrison, M ;
PUBLICAÇÃO: 2013, FONTE: 2013 1st IEEE International Conference on Healthcare Informatics, ICHI 2013 in Proceedings - 2013 IEEE International Conference on Healthcare Informatics, ICHI 2013
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
20
TÍTULO: Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example
AUTORES: Paolo Masci ; Anaheed Ayoub; Paul Curzon ; Michael D Harrison; Insup Lee; Harold W Thimbleby;
PUBLICAÇÃO: 2013, FONTE: 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2013 in ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13, London, United Kingdom - June 24 - 27, 2013
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 2 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