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