José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 157



131
TÍTULO: Considering Context and Users in Interactive Systems Analysis  Full Text
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 2008, FONTE: Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007 in ENGINEERING INTERACTIVE SYSTEMS, VOLUME: 4940
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
132
TÍTULO: Property patterns for the formal verification of automated production systems
AUTORES: Campos, JC ; Machado, J ; Seabra, E ;
PUBLICAÇÃO: 2008, FONTE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, NÚMERO: 1 PART 1
INDEXADO EM: Scopus Handle
NO MEU: ORCID | CIÊNCIAVITAE
133
TÍTULO: Resources for situated actions
AUTORES: Doherty, G; Campos, J ; Harrison, M ;
PUBLICAÇÃO: 2008, FONTE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
134
TÍTULO: Systematic analysis of control panel interfaces using formal tools
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 2008, FONTE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136
INDEXADO EM: Scopus WOS DBLP CrossRef: 45
NO MEU: ORCID
135
TÍTULO: A new plant modelling approach for formal verification purposes
AUTORES: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLICAÇÃO: 2007, FONTE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, NÚMERO: PART 1
INDEXADO EM: Scopus CrossRef Handle
NO MEU: ORCID | CIÊNCIAVITAE
136
TÍTULO: An interaction model and infrastructure for localized activities in pervasive computing environments
AUTORES: Pinto, H; José, R ; Campos, JC ;
PUBLICAÇÃO: 2007, FONTE: IEEE International Conference on Pervasive Services in 2007 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE SERVICES
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
NO MEU: ORCID
137
TÍTULO: Combining formal methods and functional strategies regarding the reverse engineering of interactive applications
AUTORES: Silva, JC ; Campos, JC ; Saraiva, J ;
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: 6
NO MEU: ORCID
138
TÍTULO: Exploring an Option Space to Engineer a Ubiquitous Computing System
AUTORES: Michael D Harrison ; Christian Kray; José Creissac Campos ;
PUBLICAÇÃO: 2007, FONTE: FMIS@BCS HCI, VOLUME: 208, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
139
TÍTULO: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTORES: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLICAÇÃO: 2007, FONTE: FMIS@BCS HCI, VOLUME: 208, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 24 Handle
NO MEU: ORCID
140
TÍTULO: Processes:: Working group report
AUTORES: Chatty, S; Campos, JC ; González, MP; Lepreux, S; Nilsson, EG; Penichet, VMR; Santos, M; Van den Bergh, J;
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
Página 14 de 16. Total de resultados: 157.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service