Human-Centered Computing and Information Science (HumanISE)
Computação Centrada No Humano e Ciência da Informação
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY7
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 3736
213 Team MembersFilters -> Year: 2024
1
TITLE: Alloy Repair Hint Generation Based on Historical Data
AUTHORS: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PAGES: 104-121
AUTHORS: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PAGES: 104-121
2
TITLE: Forest Fire Risk Prediction Using Machine Learning
AUTHORS: Vilaças D Nogueira; Solteiro J Pires; Arsénio Reis; de Moura Oliveira, PB ; António Pereira; João Barroso;
PUBLISHED: 2025, SOURCE: 19th International Conference on Soft Computing Models in Industrial and Environmental Applications, SOCO 2024 in Lecture Notes in Networks and Systems, VOLUME: 889 LNNS, PAGES: 221-230
AUTHORS: Vilaças D Nogueira; Solteiro J Pires; Arsénio Reis; de Moura Oliveira, PB ; António Pereira; João Barroso;
PUBLISHED: 2025, SOURCE: 19th International Conference on Soft Computing Models in Industrial and Environmental Applications, SOCO 2024 in Lecture Notes in Networks and Systems, VOLUME: 889 LNNS, PAGES: 221-230
3
TITLE: Testing infrastructures to support mobile application testing: A systematic mapping study
AUTHORS: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; Vincenzi, Auri Marcelo Rizzo;
PUBLISHED: 2025, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PAGES: 107573
AUTHORS: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; Vincenzi, Auri Marcelo Rizzo;
PUBLISHED: 2025, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PAGES: 107573
INDEXED IN: Scopus WOS DBLP
4
TITLE: "Viewing puzzles as two-faced: theoretical and practical implications for Puzzle-based Learning"
AUTHORS: Fontes, Mario Madureira; Morgado, Leonel Caseiro ; Pestana, Pedro; Pedrosa, Daniela; Cravino, Jose Paulo;
PUBLISHED: 2024, SOURCE: THINKING SKILLS AND CREATIVITY, VOLUME: 52, PAGES: 101470
AUTHORS: Fontes, Mario Madureira; Morgado, Leonel Caseiro ; Pestana, Pedro; Pedrosa, Daniela; Cravino, Jose Paulo;
PUBLISHED: 2024, SOURCE: THINKING SKILLS AND CREATIVITY, VOLUME: 52, PAGES: 101470
5
TITLE: 15th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 13th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2024, January 18, 2024, Munich, Germany
AUTHORS: João Bispo ; Sotirios Xydis; Serena Curzel; Luís Miguel Sousa;
PUBLISHED: 2024, SOURCE: PARMA-DITAM, VOLUME: 116
AUTHORS: João Bispo ; Sotirios Xydis; Serena Curzel; Luís Miguel Sousa;
PUBLISHED: 2024, SOURCE: PARMA-DITAM, VOLUME: 116
INDEXED IN: DBLP
6
TITLE: 4Doodle: Two-handed Gestures for Immersive Sketching of Architectural Models
AUTHORS: Fernando Fonseca; Maurício Sousa; Daniel Mendes ; Alfredo Ferreira; Joaquim A Jorge;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.18887
AUTHORS: Fernando Fonseca; Maurício Sousa; Daniel Mendes ; Alfredo Ferreira; Joaquim A Jorge;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.18887
INDEXED IN: DBLP
7
TITLE: A C Subset for Ergonomic Source-to-Source Analyses and Transformations
AUTHORS: Matos, Joao N.; Bispo, Joao ; Sousa, Luis Miguel;
PUBLISHED: 2024, SOURCE: Rapido Workshop on Rapid Simulation and Performance Evaluation - Methods and Tools (Rapido) / HiPEAC Conference in PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024, PAGES: 1-8
AUTHORS: Matos, Joao N.; Bispo, Joao ; Sousa, Luis Miguel;
PUBLISHED: 2024, SOURCE: Rapido Workshop on Rapid Simulation and Performance Evaluation - Methods and Tools (Rapido) / HiPEAC Conference in PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024, PAGES: 1-8
8
TITLE: A Community-Driven Data-to-Text Platform for Football Match Summaries
AUTHORS: Pedro Fernandes; Sérgio Nunes ; Luís Santos;
PUBLISHED: 2024, SOURCE: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy., PAGES: 164-173
AUTHORS: Pedro Fernandes; Sérgio Nunes ; Luís Santos;
PUBLISHED: 2024, SOURCE: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy., PAGES: 164-173
INDEXED IN: Scopus DBLP
9
TITLE: A DSL and MLIR Dialect for Streaming and Vectorisation
AUTHORS: da Silva, Manuel Cerqueira; Sousa, Luis ; Paulino, Nuno ; Bispo, Joao ;
PUBLISHED: 2024, SOURCE: 20th International Symposium on Applied Reconfigurable Computing (ARC) in APPLIED RECONFIGURABLE COMPUTING. ARCHITECTURES, TOOLS, AND APPLICATIONS, ARC 2024, VOLUME: 14553, PAGES: 181-190
AUTHORS: da Silva, Manuel Cerqueira; Sousa, Luis ; Paulino, Nuno ; Bispo, Joao ;
PUBLISHED: 2024, SOURCE: 20th International Symposium on Applied Reconfigurable Computing (ARC) in APPLIED RECONFIGURABLE COMPUTING. ARCHITECTURES, TOOLS, AND APPLICATIONS, ARC 2024, VOLUME: 14553, PAGES: 181-190
10
TITLE: A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP)
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PAGES: 178-182
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PAGES: 178-182
11
TITLE: A Gamification-Based Tool to Promote Accessible Design
AUTHORS: Mohammad Gulam Lorgat ; Hugo Paredes ; Tânia Rocha ;
PUBLISHED: 2024, SOURCE: World Conference on Smart Trends in Systems, Security and Sustainability, WS4 2023 in Lecture Notes in Networks and Systems, VOLUME: 812, PAGES: 373-390
AUTHORS: Mohammad Gulam Lorgat ; Hugo Paredes ; Tânia Rocha ;
PUBLISHED: 2024, SOURCE: World Conference on Smart Trends in Systems, Security and Sustainability, WS4 2023 in Lecture Notes in Networks and Systems, VOLUME: 812, PAGES: 373-390
12
TITLE: A genetic algorithm for the Resource-Constrained Project Scheduling Problem with Alternative Subgraphs using a boolean satisfiability solver
AUTHORS: Servranckx, Tom; Coelho, Jose ; Vanhoucke, Mario;
PUBLISHED: 2024, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 316, ISSUE: 3, PAGES: 815-827
AUTHORS: Servranckx, Tom; Coelho, Jose ; Vanhoucke, Mario;
PUBLISHED: 2024, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 316, ISSUE: 3, PAGES: 815-827
13
TITLE: A Lightweight Ontology for Enterprise Architecture Mining of API Gateway Logs
AUTHORS: Pinheiro, Carlos Roberto; Guerreiro, Sergio Luis Proenca Duarte; Mamede, Henrique S. ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 128585-128601
AUTHORS: Pinheiro, Carlos Roberto; Guerreiro, Sergio Luis Proenca Duarte; Mamede, Henrique S. ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 128585-128601
14
TITLE: A Machine Learning as a Service (MLaaS) Approach to Improve Marketing Success
AUTHORS: Pereira, Ivo ; Ana Maria Madureira ; Bettencourt, Nuno ; Coelho, Duarte; Rebelo, Miguel Angelo; Araujo, Carolina; de Oliveira, Daniel Alves;
PUBLISHED: 2024, SOURCE: INFORMATICS-BASEL, VOLUME: 11, ISSUE: 2, PAGES: 19
AUTHORS: Pereira, Ivo ; Ana Maria Madureira ; Bettencourt, Nuno ; Coelho, Duarte; Rebelo, Miguel Angelo; Araujo, Carolina; de Oliveira, Daniel Alves;
PUBLISHED: 2024, SOURCE: INFORMATICS-BASEL, VOLUME: 11, ISSUE: 2, PAGES: 19
15
TITLE: A matheuristic for the resource-constrained project scheduling problem Full Text
AUTHORS: Vanhoucke, Mario; Coelho, Jose ;
PUBLISHED: 2024, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 319, ISSUE: 3, PAGES: 711-725
AUTHORS: Vanhoucke, Mario; Coelho, Jose ;
PUBLISHED: 2024, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 319, ISSUE: 3, PAGES: 711-725
16
TITLE: A Scoping Review of the Use of Blockchain and Machine Learning in Medical Imaging Applications
AUTHORS: Pavao, Joao ; BASTARDO, Rute ; Rocha, Nelson Pacheco;
PUBLISHED: 2024, SOURCE: 12th World Conference on Information Systems and Technologies (WorldCIST) in GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, WORLDCIST 2024, VOLUME: 986, PAGES: 107-117
AUTHORS: Pavao, Joao ; BASTARDO, Rute ; Rocha, Nelson Pacheco;
PUBLISHED: 2024, SOURCE: 12th World Conference on Information Systems and Technologies (WorldCIST) in GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, WORLDCIST 2024, VOLUME: 986, PAGES: 107-117
17
TITLE: A systematic review of the use of FHIR to support clinical research, public health and medical education
AUTHORS: Pavao, Joao; BASTARDO, Rute ; Rocha, Nelson Pacheco;
PUBLISHED: 2024, SOURCE: DATA TECHNOLOGIES AND APPLICATIONS
AUTHORS: Pavao, Joao; BASTARDO, Rute ; Rocha, Nelson Pacheco;
PUBLISHED: 2024, SOURCE: DATA TECHNOLOGIES AND APPLICATIONS
INDEXED IN: Scopus WOS
18
TITLE: A Systematic Review on Responsible Multimodal Sentiment Analysis in Marketing Applications
AUTHORS: Inês César; Ivo Pereira; Fátima Rodrigues; Vera L Miguéis; Susana Nicola; Ana Maria Madureira ; José Luís Reis; José Paulo Marques Dos Santos; Daniel Alves de Oliveira;
PUBLISHED: 2024, SOURCE: IEEE Access, VOLUME: 12, PAGES: 111943-111961
AUTHORS: Inês César; Ivo Pereira; Fátima Rodrigues; Vera L Miguéis; Susana Nicola; Ana Maria Madureira ; José Luís Reis; José Paulo Marques Dos Santos; Daniel Alves de Oliveira;
PUBLISHED: 2024, SOURCE: IEEE Access, VOLUME: 12, PAGES: 111943-111961
INDEXED IN: DBLP
19
TITLE: A Systematic Review on Responsible Multimodal Sentiment Analysis in Marketing Applications
AUTHORS: Cesar, Ines; Pereira, Ivo ; Rodrigues, Fatima; Migueis, Vera L. ; Nicola, Susana; Ana Maria Madureira ; Reis, Jose Luis; Marques dos Santos, José Paulo; De Oliveira, Daniel Alves;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 111943-111961
AUTHORS: Cesar, Ines; Pereira, Ivo ; Rodrigues, Fatima; Migueis, Vera L. ; Nicola, Susana; Ana Maria Madureira ; Reis, Jose Luis; Marques dos Santos, José Paulo; De Oliveira, Daniel Alves;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 111943-111961
20
TITLE: Adaptation and Validation of the Simulator Sickness Questionnaire to Portuguese (SSQp) Based on Immersive Virtual Reality Exposure
AUTHORS: Goncalves, Guilherme; Melo, Miguel; C. Serôdio; Silva, Rui; Bessa, Maximino ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 92708-92717
AUTHORS: Goncalves, Guilherme; Melo, Miguel; C. Serôdio; Silva, Rui; Bessa, Maximino ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 92708-92717
INDEXED IN: WOS CrossRef