José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 149



131
TITLE: Combining formal methods and functional strategies regarding the reverse engineering of interactive applications
AUTHORS: Silva, JC ; Jose Creissac Campos ; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
132
TITLE: Processes: Working group report
AUTHORS: Stephane Chatty; Jose Creissac Campos ; Maria Paula Gonzalez; Sophie Lepreux; Erik G Nilsson; Victor M R Penichet; Monica Santos; Jan Van den Bergh;
PUBLISHED: 2007, SOURCE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
133
TITLE: Towards a Coordination Model for Interactive Systems
AUTHORS: Barbosa, MA; Barbosa, LS ; Campos, JC ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 183, ISSUE: SPEC. ISS.
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
134
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 | CIÊNCIAVITAE
135
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 | CIÊNCIAVITAE
136
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: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
137
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: 4
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
138
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 | CIÊNCIAVITAE
139
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 | CIÊNCIAVITAE
140
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 | CIÊNCIAVITAE
Page 14 of 15. Total results: 149.

footer slogan

Useful Links

Get Help

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