Michael Douglas Harrison


AuthID: R-00F-KRW

Publicações Confirmadas: 96



1
TÍTULO: Balancing the Formal and the Informal in User-centred Design  Full Text
AUTORES: Harrison, MD ; Masci, P; Campos, JC ;
PUBLICAÇÃO: 2021, FONTE: INTERACTING WITH COMPUTERS, VOLUME: 33, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2
TÍTULO: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web  Full Text
AUTORES: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 240, NÚMERO: 240
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
3
TÍTULO: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTORES: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2017, FONTE: Handbook of Formal Methods in Human-Computer Interaction
INDEXADO EM: DBLP CrossRef: 1
4
TÍTULO: Formal Verification of a Space System's User Interface With the IVY Workbench  Full Text
AUTORES: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
5
TÍTULO: Modelling information resources and their salience in medical device design
AUTORES: Harrison, MD ; Campos, JC ; Ruksenas, R; Curzon, P;
PUBLICAÇÃO: 2016, FONTE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in EICS'16: PROCEEDINGS OF THE 8TH ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS
INDEXADO EM: Scopus WOS DBLP CrossRef: 8 Handle
6
TÍTULO: Templates as heuristics for proving properties of medical devices
AUTORES: Michael D Harrison ; José Creissac Campos ; Paolo Masci ; Paul Curzon;
PUBLICAÇÃO: 2016, FONTE: EAI Endorsed Trans. Creative Technol., VOLUME: 3, NÚMERO: 8
INDEXADO EM: Scopus DBLP CrossRef Handle
7
TÍTULO: Reusing models and properties in the analysis of similar interactive devices  Full Text
AUTORES: Harrison, MD ; Campos, JC ; Masci, P ;
PUBLICAÇÃO: 2015, FONTE: INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, VOLUME: 11, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 21 Handle
NO MEU: ORCID
8
TÍTULO: Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes
AUTORES: Campos, JC ; Abade, T; Silva, JL ; Harrison, MD ;
PUBLICAÇÃO: 2015, FONTE: 7th International Work-Conference on Ambient Assisted Living (IWAAL) in AMBIENT ASSISTED LIVING: ICT-BASED SOLUTIONS IN REAL LIFE SITUATIONS, VOLUME: 9455
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
9
TÍTULO: A Virtual Environment based Serious Game to Support Health Education
AUTORES: Tiago Gomes; Tiago Abade; José Creissac Campos ; Michael D Harrison ; José Luís Silva;
PUBLICAÇÃO: 2014, FONTE: EAI Endorsed Trans. Ambient Syst., VOLUME: 1, NÚMERO: 3
INDEXADO EM: DBLP CrossRef: 1 Handle
10
TÍTULO: Analysing interactive devices based on information resource constraints  Full Text
AUTORES: Campos, JC ; Doherty, G; Harrison, MD ;
PUBLICAÇÃO: 2014, FONTE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 14 Handle
NO MEU: ORCID
Página 1 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