José Francisco Creissac Freitas de Campos
AuthID: R-000-8B9
1
TÃTULO: On the Role of Generative AI in Explaining Model Checking Counterexamples
AUTORES: Veloso Ferreira Moreira, Ezequiel Jose; Creissac Campos, Jose;
PUBLICAÇÃO: 2025, FONTE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS: EICS 2024 INTERNATIONAL WORKSHOPS, VOLUME: 15518
AUTORES: Veloso Ferreira Moreira, Ezequiel Jose; Creissac Campos, Jose;
PUBLICAÇÃO: 2025, FONTE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS: EICS 2024 INTERNATIONAL WORKSHOPS, VOLUME: 15518
2
TÃTULO: Foreword to the special section on recent advances in graphics and interaction (RAGI 2024)
AUTORES: Marto, Anabela; Campos, Jose Creissac; Johnsen, Kyle;
PUBLICAÇÃO: 2025, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 130
AUTORES: Marto, Anabela; Campos, Jose Creissac; Johnsen, Kyle;
PUBLICAÇÃO: 2025, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 130
3
TÃTULO: Towards a More Natural Approach to Property Specification in the IVY Workbench
AUTORES: João Gomes; Mário Arcipreste; Miguel Gomes; José Creissac Campos;
PUBLICAÇÃO: 2025, FONTE: 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025 in Human-Computer Interaction - INTERACT 2025 - 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part III, VOLUME: 16110
AUTORES: João Gomes; Mário Arcipreste; Miguel Gomes; José Creissac Campos;
PUBLICAÇÃO: 2025, FONTE: 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025 in Human-Computer Interaction - INTERACT 2025 - 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part III, VOLUME: 16110
4
TÃTULO: Engineering Methods for HCI and UX in AI-Driven Systems
AUTORES: Lucio Davide Spano; Philippe A Palanque; Célia Martinie; José Creissac Campos; Albrecht Schmidt; Barbara Rita Barricelli; Passant El Agroudy; Kris Luyten;
PUBLICAÇÃO: 2025, FONTE: 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025 in Human-Computer Interaction - INTERACT 2025 - 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part IV, VOLUME: 16111
AUTORES: Lucio Davide Spano; Philippe A Palanque; Célia Martinie; José Creissac Campos; Albrecht Schmidt; Barbara Rita Barricelli; Passant El Agroudy; Kris Luyten;
PUBLICAÇÃO: 2025, FONTE: 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025 in Human-Computer Interaction - INTERACT 2025 - 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part IV, VOLUME: 16111
5
TÃTULO: Don't go in there!: using the APEX framework in the design of ambient assisted living systems
AUTORES: José C Campos; Tiago Abade; José L C Silva; Michael d Harrison;
PUBLICAÇÃO: 2017
AUTORES: José C Campos; Tiago Abade; José L C Silva; Michael d Harrison;
PUBLICAÇÃO: 2017
INDEXADO EM: 
Handle
Handle6
TÃTULO: Developing serious games with the APEX framework
AUTORES: Tiago E O Gomes; Tiago Abade; Michael D Harrison; José L C Silva; Campos, J. Creissac;
PUBLICAÇÃO: 2013
AUTORES: Tiago E O Gomes; Tiago Abade; Michael D Harrison; José L C Silva; Campos, J. Creissac;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
Handle7
TÃTULO: Uma abordagem para a geração de casos de teste baseada em modelos. A Model-based Approach for Test Cases Generation
AUTORES: João C Silva; José L C Silva; Campos, J. Creissac; João A Saraiva;
PUBLICAÇÃO: 2013
AUTORES: João C Silva; José L C Silva; Campos, J. Creissac; João A Saraiva;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
Handle8
TÃTULO: Ambiente de geração, mutação e execução de casos de teste para aplicações Web
AUTORES: Paulo J Cruz; Campos, J. Creissac;
PUBLICAÇÃO: 2013
AUTORES: Paulo J Cruz; Campos, J. Creissac;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
Handle9
TÃTULO: Avaliação de ambientes ubíquos na plataforma APEX
AUTORES: Tiago Abade; Tiago E O Gomes; José L C Silva; Campos, J. Creissac;
PUBLICAÇÃO: 2013
AUTORES: Tiago Abade; Tiago E O Gomes; José L C Silva; Campos, J. Creissac;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
Handle10
TÃTULO: Desenvolvimento de jogos educativos na plataforma APEX: o jogo da asma
AUTORES: Tiago E O Gomes; Tiago Abade; José L C Silva; Campos, J. Creissac; Michael D Harrison;
PUBLICAÇÃO: 2013
AUTORES: Tiago E O Gomes; Tiago Abade; José L C Silva; Campos, J. Creissac; Michael D Harrison;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
Handle