José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 149



121
TÍTULO: Analysing Human Aspects of Safety-Critical Software
AUTORES: Michael D Harrison ; José Creissac Campos ;
PUBLICAÇÃO: 2008, FONTE: ERCIM News, VOLUME: 2008, NÚMERO: 75
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
122
TÍTULO: Connecting Rigorous System Analysis to Experience-Centered Design
AUTORES: Michael D Harrison ; José Creissac Campos ; Gavin J Doherty; Karsten Loer;
PUBLICAÇÃO: 2008, FONTE: Maturing Usability - Quality in Software, Interaction and Value
INDEXADO EM: DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
123
TÍTULO: Considering Context and Users in Interactive Systems Analysis  Full Text
AUTORES: Jose Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2008, FONTE: Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007 in ENGINEERING INTERACTIVE SYSTEMS, VOLUME: 4940
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
124
TÍTULO: Exploring an Option Space to Engineer a Ubiquitous Computing System
AUTORES: Harrison, MD ; Kray, C; Campos, JC ;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 208, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
125
TÍTULO: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTORES: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLICAÇÃO: 2008, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 208, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 24 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
126
TÍTULO: Property patterns for the formal verification of automated production systems
AUTORES: Campos, JC ; Machado, J ; Seabra, E ;
PUBLICAÇÃO: 2008, FONTE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, NÚMERO: 1 PART 1
INDEXADO EM: Scopus Handle
NO MEU: ORCID | CIÊNCIAVITAE
127
TÍTULO: Resources for situated actions
AUTORES: Gavin Doherty; Jose Campos ; Michael Harrison ;
PUBLICAÇÃO: 2008, FONTE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
128
TÍTULO: Systematic analysis of control panel interfaces using formal tools
AUTORES: Creissac C Campos ; Harrison, MD ;
PUBLICAÇÃO: 2008, FONTE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
129
TÍTULO: A new plant modelling approach for formal verification purposes
AUTORES: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLICAÇÃO: 2007, FONTE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, NÚMERO: PART 1
INDEXADO EM: Scopus CrossRef Handle
NO MEU: ORCID | CIÊNCIAVITAE
130
TÍTULO: An interaction model and infrastructure for localized activities in pervasive computing environments
AUTORES: Pinto, H; Jose, R ; Campos, JC ;
PUBLICAÇÃO: 2007, FONTE: IEEE International Conference on Pervasive Services in 2007 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE SERVICES
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 13 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