José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 145



131
TÍTULO: Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina
AUTORES: Teresa Chambel; Nuno J Nunes; Teresa Romão; José C Campos ;
PUBLICAÇÃO: 2006, FONTE: Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina
INDEXADO EM: Handle
NO MEU: ORCID
132
TÍTULO: Ambience and mobility
AUTORES: Doherty, GJ; Du Bousquet, L; Campos, JC ; El Atifi, EM; Falquet, G; Massink, M; Santoro, C;
PUBLICAÇÃO: 2006, FONTE: 12th International Workshop on Interactive Systems - Design, Specification and Verification, DSVIS 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3941 LNCS
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
133
TÍTULO: Supporting resource-based analysis of task information needs
AUTORES: Jose Creissac Campos ; Gavin J Doherty;
PUBLICAÇÃO: 2006, FONTE: 12th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 3941
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP
134
TÍTULO: Automated deduction and usability reasoning
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 2005, FONTE: Encyclopedia of Human Computer Interaction
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
135
TÍTULO: Accessibility and Visually Impaired Users
AUTORES: António Fernandes; Jorge Pereira; José Creissac Campos ;
PUBLICAÇÃO: 2004, FONTE: Enterprise Information Systems VI, [ICEIS 2004, Porto, Portugal, April 14-17, 2004, Revised Selected Papers].
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
136
TÍTULO: Verifying user interface behaviour with model checking
AUTORES: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
PUBLICAÇÃO: 2004, FONTE: Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
137
TÍTULO: A formal approach to the usability engineering
AUTORES: José Creissac Campos ;
PUBLICAÇÃO: 2003, FONTE: Latin American Conference on Human-Computer Interaction, CLIHC '03 in Latin American Conference on Human-Computer Interaction, CLIHC'03, Rio de Janeiro, Brazil, November 17-20, 2003, VOLUME: 46
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
138
TÍTULO: From HCI to Software Engineering and Back PDF
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2003, FONTE: Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
139
TÍTULO: Reasoning about dynamic information displays
AUTORES: Campos, JC ; Doherty, GJ;
PUBLICAÇÃO: 2003, FONTE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP
140
TÍTULO: Using task knowledge to guide interactor specifications analysis
AUTORES: Campos, JC ;
PUBLICAÇÃO: 2003, FONTE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | ResearcherID | DBLP
Página 14 de 15. Total de resultados: 145.

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