José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 149



61
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
62
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
63
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
64
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
65
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
66
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
67
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
68
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 | DBLP
69
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: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
70
TÍTULO: The Modelery: a model-based software development repository
AUTORES: Couto, R ; Ribeiro, AMN ; de Campos, JFCF ;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, VOLUME: 11, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
Página 7 de 15. Total de resultados: 149.

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