José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 145



131
TITLE: Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina
AUTHORS: Teresa Chambel; Nuno J Nunes; Teresa Romão; José C Campos ;
PUBLISHED: 2006, SOURCE: Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina
INDEXED IN: Handle
IN MY: ORCID
132
TITLE: Ambience and mobility
AUTHORS: Doherty, GJ; Du Bousquet, L; Campos, JC ; El Atifi, EM; Falquet, G; Massink, M; Santoro, C;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
133
TITLE: Supporting resource-based analysis of task information needs
AUTHORS: Jose Creissac Campos ; Gavin J Doherty;
PUBLISHED: 2006, SOURCE: 12th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 3941
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | ResearcherID | DBLP
134
TITLE: Automated deduction and usability reasoning
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 2005, SOURCE: Encyclopedia of Human Computer Interaction
INDEXED IN: Scopus CrossRef
IN MY: ORCID
135
TITLE: Accessibility and Visually Impaired Users
AUTHORS: António Fernandes; Jorge Pereira; José Creissac Campos ;
PUBLISHED: 2004, SOURCE: Enterprise Information Systems VI, [ICEIS 2004, Porto, Portugal, April 14-17, 2004, Revised Selected Papers].
INDEXED IN: DBLP
IN MY: ORCID | DBLP
136
TITLE: Verifying user interface behaviour with model checking
AUTHORS: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
PUBLISHED: 2004, SOURCE: 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
INDEXED IN: DBLP
IN MY: ORCID | DBLP
137
TITLE: A formal approach to the usability engineering
AUTHORS: José Creissac Campos ;
PUBLISHED: 2003, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
138
TITLE: From HCI to Software Engineering and Back PDF
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2003, SOURCE: Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA
INDEXED IN: DBLP
IN MY: ORCID | DBLP
139
TITLE: Reasoning about dynamic information displays
AUTHORS: Campos, JC ; Doherty, GJ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP
140
TITLE: Using task knowledge to guide interactor specifications analysis
AUTHORS: Campos, JC ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | ResearcherID | DBLP
Page 14 of 15. Total results: 145.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service