José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 145



21
TITLE: HCI-E-2: HCI Engineering Education For Developers, Designers and More. For Developers, Designers and More
AUTHORS: Baumann, K; Campos, JC ; Dix, A; Nigay, L; Palanque, P; Vanderdonckt, J; van der Veer, G; Weyers, B;
PUBLISHED: 2021, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION, INTERACT 2021, PT V, VOLUME: 12936
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
22
TITLE: Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems  Full Text
AUTHORS: Ait Ameur, Y; Bowen, J; Campos, J ; Palanque, P; Weyers, B;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
23
TITLE: The Management of Risks and Benefits when Engineering Interactive Digital Systems
AUTHORS: José Creissac Campos ; Nicholas Graham, TC; Lucio Davide Spano; Jan Van den Bergh;
PUBLISHED: 2021, SOURCE: EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021
INDEXED IN: DBLP
IN MY: ORCID | DBLP
24
TITLE: Towards the integration of user interface prototyping and model-based development
AUTHORS: Catarina Machado; José Creissac Campos ;
PUBLISHED: 2021, SOURCE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021
INDEXED IN: DBLP
IN MY: ORCID | DBLP
25
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
26
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (2), VOLUME: 12233
INDEXED IN: DBLP CrossRef: 2
IN MY: ORCID | DBLP
27
TITLE: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools  Full Text
AUTHORS: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
28
TITLE: A Generator of User Interface Prototypes for the IVY Workbench
AUTHORS: Joao Miguel Araujo; Rui Couto ; Jose Creissac Campos ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
29
TITLE: A use error taxonomy for improving human-machine interface design in medical devices  Full Text
AUTHORS: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: SIGBED Review, VOLUME: 16, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
30
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP
Page 3 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