José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 157



61
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
62
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 Handle
NO MEU: ORCID | DBLP
63
TÍTULO: Systematic Automation of Scenario-Based Testing of User Interfaces
AUTORES: Campos, JC ; Fayollas, C; Martinie, C; Navarre, D; Palanque, P; Pinto, M;
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: 19
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
64
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
65
TÍTULO: Validating an Approach to Formalize Use Cases with Ontologies  Full Text
AUTORES: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLICAÇÃO: 2016, FONTE: 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 205, NÚMERO: 205
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
66
TÍTULO: Welcome to EICS 2016
AUTORES: Luyten, K; Palanque, P; Campos, JC ; Schmidt, A; Signer, B; Roussel, N;
PUBLICAÇÃO: 2016, FONTE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016 in EICS 2016 - 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
67
TÍTULO: Distance Perception in Immersive Environments - The Role of Photorealism
AUTORES: Carlos Silva; Sandra Mouta ; Daniel Basso; Jorge Santos; Jose Campos ;
PUBLICAÇÃO: 2015, FONTE: PERCEPTION, VOLUME: 44
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
68
TÍTULO: Immersiveness of Ubiquitous Computing Environments Prototypes: A Case Study
AUTORES: Tiago Abade; Jose C Campos ; Rui Moreira; Carlos C L Silva ; Jose Luis Silva ;
PUBLICAÇÃO: 2015, FONTE: 3rd International Conference on Distributed, Ambient, and Pervasive Interactions (DAPI) held as Part of 17th International Conference on Human-Computer Interaction (HCI) in DISTRIBUTED, AMBIENT, AND PERVASIVE INTERACTIONS, VOLUME: 9189
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
69
TÍTULO: Layers, resources and property templates in the specification and analysis of two interactive systems
AUTORES: José C Campos ; Paul Curzon; Paolo Masci; Michael d Harrison;
PUBLICAÇÃO: 2015
INDEXADO EM: Handle
70
TÍTULO: MODUS: uma metodologia de prototipagem de interfaces baseada em modelos
AUTORES: Marina Machado; José C Campos ; Rui Couto;
PUBLICAÇÃO: 2015
INDEXADO EM: Handle
Página 7 de 16. Total de resultados: 157.

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