José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 157



11
TÍTULO: A Language for Explaining Counterexamples
AUTORES: Ezequiel José Veloso Ferreira Moreira; José Creissac Campos ;
PUBLICAÇÃO: 2024, FONTE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024 in 13th Symposium on Languages, Applications and Technologies, SLATE 2024, July 4-5, 2024, Águeda, Portugal, VOLUME: 120
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
12
TÍTULO: An Online Repository for Educational Resources in HCI-Engineering
AUTORES: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke; Forbrig, Peter;
PUBLICAÇÃO: 2024, FONTE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I, VOLUME: 14535
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
13
TÍTULO: Assessing the impact of hints in learning formal specification
AUTORES: Cunha, Alcino ; Macedo, Nuno ; Campos, Jose Creissac ; Margolis, Iara; Sousa, Emanuel;
PUBLICAÇÃO: 2024, FONTE: ACM/IEEE 44th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET 2024
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
14
TÍTULO: Companion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS Companion 2024, Cagliari, Italy, June 24-28, 2024
AUTORES: Michael Nebeling; Lucio Davide Spano; José Creissac Campos ;
PUBLICAÇÃO: 2024, FONTE: EICS (Companion)
INDEXADO EM: DBLP
NO MEU: DBLP
15
TÍTULO: Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
AUTORES: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke;
PUBLICAÇÃO: 2024, FONTE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I, VOLUME: 14535
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
16
TÍTULO: Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
AUTORES: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLICAÇÃO: 2024, FONTE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
17
TÍTULO: AMAN Case Study
AUTORES: Palanque, Philippe; Campos, Jose Creissac ;
PUBLICAÇÃO: 2023, FONTE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
18
TÍTULO: HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
AUTORES: Campos, Jose Creissac ; Nigay, Laurence; Dix, Alan; Dittmar, Anke; Barbosa, Simone D. J.; Spano, Lucio Davide;
PUBLICAÇÃO: 2023, FONTE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2023, PT IV, VOLUME: 14145
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
19
TÍTULO: Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design
AUTORES: da Costa, Rafael Braga ; Campos, Jose Creissac ;
PUBLICAÇÃO: 2023, FONTE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2023, PT II, VOLUME: 14143
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
20
TÍTULO: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings
AUTORES: Uwe Glässer; José Creissac Campos ; Dominique Méry; Philippe A Palanque;
PUBLICAÇÃO: 2023, FONTE: ABZ, VOLUME: 14010
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 2 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