José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 149



1
TÍTULO: Engineering Interactive Computer Systems. EICS 2024 International Workshops - Cagliari, Sardinia, Italy, June 24-26, 2024, Revised Selected Papers
AUTORES: Luciana A M Zaina; José Creissac Campos ; Lucio Davide Spano; Kris Luyten; Philippe A Palanque; Gerrit van v der Veer; Achim Ebert; Shah Rukh Humayoun; Vera Marie Memmesheimer;
PUBLICAÇÃO: 2025, FONTE: EICS (Workshops), VOLUME: 15518
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: Engineering Interactive Systems Embedding AI Technologies (3rd workshop on)
AUTORES: Barricelli, Barbara Rita; Campos, Jose Creissac ; Luyten, Kris; Mayer, Sven; Palanque, Philippe; Panizzi, Emanuele; Spano, Lucio Davide; Stumpf, Simone;
PUBLICAÇÃO: 2025, FONTE: 2025 Symposium on Engineering Interactive Computing Systems-EICS-Annual in COMPANION OF THE 2025 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, EICS 2025 COMPANION
INDEXADO EM: WOS DBLP CrossRef
NO MEU: ORCID
3
TÍTULO: Formal Approaches for Interactive Systems
AUTORES: José Creissac Campos ; Michael D Harrison;
PUBLICAÇÃO: 2025, FONTE: Handbook of Human Computer Interaction
INDEXADO EM: CrossRef
NO MEU: CIÊNCIAVITAE
4
TÍTULO: 50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey
AUTORES: Campos, Jose Creissac ; Luyten, Kris; Nigay, Laurence; Palanque, Philippe; Paterno, Fabio; Spano, Lucio Davide; Vanderdonckt, Jean;
PUBLICAÇÃO: 2024, FONTE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in COMPANION OF THE 2024 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, EICS 2024
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
5
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
6
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 CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
7
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
8
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
9
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 CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
10
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
Página 1 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