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
TÍTULO: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTORES: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLICAÇÃO: 2017, FONTE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, NÚMERO: 240
INDEXADO EM: Scopus WOS DBLP arXiv 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: The 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: 10
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
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: 5th EAI International Conference on Wireless Mobile Communication and Healthcare - Transforming Healthcare through Innovations in Mobile and Wireless Technologies, MOBIHEALTH 2015 in EAI Endorsed Trans. Creative Technologies, 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: Michael D Harrison ; Jose Creissac Campos ; Paolo Masci ;
PUBLICAÇÃO: 2015, FONTE: INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, VOLUME: 11, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID
8
TÍTULO: Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes
AUTORES: Jose C Campos ; Tiago Abade; Jose Luis Silva ; Michael D Harrison ;
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: 1
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: ICST Trans. Ambient Systems, VOLUME: 1, NÚMERO: 3
INDEXADO EM: DBLP CrossRef: 1
10
TÍTULO: Analysing interactive devices based on information resource constraints  Full Text
AUTORES: Jose Creissac Campos ; Gavin Doherty; Michael D Harrison ;
PUBLICAÇÃO: 2014, FONTE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID
Página 1 de 10. Total de resultados: 96.

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

Links Úteis

Ajuda

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