1
TITLE: 50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey
AUTHORS: Campos, Jose Creissac ; Luyten, Kris; Nigay, Laurence; Palanque, Philippe; Paterno, Fabio; Spano, Lucio Davide; Vanderdonckt, Jean;
PUBLISHED: 2024, SOURCE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in COMPANION OF THE 2024 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, EICS 2024
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: An Online Repository for Educational Resources in HCI-Engineering
AUTHORS: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke; Forbrig, Peter;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: WOS CrossRef
IN MY: ORCID
3
TITLE: Assessing the impact of hints in learning formal specification
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Campos, Jose Creissac ; Margolis, Iara; Sousa, Emanuel;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
4
5
TITLE: Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
AUTHORS: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: WOS CrossRef
IN MY: ORCID
6
TITLE: Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
AUTHORS: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLISHED: 2024, SOURCE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: AMAN Case Study
AUTHORS: Palanque, Philippe; Campos, Jose Creissac ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
8
TITLE: An Online Repository for Educational Resources in HCI-Engineering
AUTHORS: Lucio Davide Spano; José Creissac Campos ; Anke Dittmar; Peter Forbrig;
PUBLISHED: 2023, SOURCE: Design for Equality and Justice - INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 - September 1, 2023, Revised Selected Papers, Part I, VOLUME: 14535
INDEXED IN: DBLP
IN MY: DBLP
9
TITLE: Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
AUTHORS: Lucio Davide Spano; José Creissac Campos ; Anke Dittmar;
PUBLISHED: 2023, SOURCE: Design for Equality and Justice - INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 - September 1, 2023, Revised Selected Papers, Part I, VOLUME: 14535
INDEXED IN: DBLP
IN MY: DBLP
10
TITLE: HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
AUTHORS: Campos, Jose Creissac ; Nigay, Laurence; Dix, Alan; Dittmar, Anke; Barbosa, Simone D. J.; Spano, Lucio Davide;
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 IV, VOLUME: 14145
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 15. Total results: 145.