José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 145



11
TITLE: Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design
AUTHORS: da Costa, Rafael Braga ; Campos, Jose Creissac ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
12
TITLE: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings
AUTHORS: Uwe Glässer; José Creissac Campos ; Dominique Méry; Philippe A Palanque;
PUBLISHED: 2023, SOURCE: ABZ, VOLUME: 14010
INDEXED IN: DBLP
IN MY: ORCID | DBLP
13
TITLE: Towards Automated Load Testing Through the User Interface
AUTHORS: Bruno Teixeira; José Creissac Campos ;
PUBLISHED: 2023, SOURCE: 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023 in Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II, VOLUME: 14143
INDEXED IN: Scopus DBLP
IN MY: DBLP
14
TITLE: Towards Automated Load Testing Through the User Interface
AUTHORS: Teixeira, Bruno; Campos, Jose Creissac ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: WOS CrossRef
IN MY: ORCID
15
TITLE: Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees
AUTHORS: Campos, Jose Creissac ; Ribeiro, Antonio Nestor ;
PUBLISHED: 2022, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in SENSE, FEEL, DESIGN, INTERACT 2021, VOLUME: 13198
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
16
TITLE: Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers
AUTHORS: Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Marta Lárusdóttir; Lucio Davide Spano; José Creissac Campos ; Morten Hertzum; Tilo Mentler; José L Abdelnour Nocera; Lara S G Piccolo; Stefan Sauer; Gerrit van v der Veer;
PUBLISHED: 2022, SOURCE: INTERACT (Workshops), VOLUME: 13198
INDEXED IN: DBLP
IN MY: ORCID | DBLP
17
TITLE: Teaching HCI Engineering: Four Case Studies
AUTHORS: Caffiau, Sybille; Campos, Jose C. ; Martinie, Celia; Nigay, Laurence; Palanque, Philippe; Spano, Lucio Davide;
PUBLISHED: 2022, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in SENSE, FEEL, DESIGN, INTERACT 2021, VOLUME: 13198
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
18
TITLE: Verification of railway network models with EVEREST
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
19
TITLE: Balancing the Formal and the Informal in User-centred Design  Full Text
AUTHORS: Harrison, MD ; Masci, P; Campos, JC ;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
20
TITLE: Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform
AUTHORS: Silva, C; Vieira, J; Campos, JC ; Couto, R ; Ribeiro, AN ;
PUBLISHED: 2021, SOURCE: HUMAN FACTORS, VOLUME: 63, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
Page 2 of 15. Total results: 145.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service