José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 146



131
TITLE: Accessibility and visually impaired users  Full Text
AUTHORS: Antonio Ramires Fernandes; Jorge Ribeiro Pereira; Jose Creissac Campos ;
PUBLISHED: 2006, SOURCE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in Enterprise Information Systems VI
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
132
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
133
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
134
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
135
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
136
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
137
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
138
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
139
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
140
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
Page 14 of 15. Total results: 146.

footer slogan

Useful Links

Get Help

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