José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 149



131
TÍTULO: Combining formal methods and functional strategies regarding the reverse engineering of interactive applications
AUTORES: Silva, JC ; Jose Creissac Campos ; Joao Saraiva ;
PUBLICAÇÃO: 2007, FONTE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
132
TÍTULO: Processes: Working group report
AUTORES: Stephane Chatty; Jose Creissac Campos ; Maria Paula Gonzalez; Sophie Lepreux; Erik G Nilsson; Victor M R Penichet; Monica Santos; Jan Van den Bergh;
PUBLICAÇÃO: 2007, FONTE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
133
TÍTULO: Towards a Coordination Model for Interactive Systems
AUTORES: Barbosa, MA; Barbosa, LS ; Campos, JC ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 183, NÚMERO: SPEC. ISS.
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
134
TÍTULO: Accessibility and visually impaired users  Full Text
AUTORES: Antonio Ramires Fernandes; Jorge Ribeiro Pereira; Jose Creissac Campos ;
PUBLICAÇÃO: 2006, FONTE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in Enterprise Information Systems VI
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
135
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 | CIÊNCIAVITAE
136
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: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
137
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: 4
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
138
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 | CIÊNCIAVITAE
139
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 | CIÊNCIAVITAE
140
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 | CIÊNCIAVITAE
Página 14 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