CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 8921
531 Team MembersFilters -> Year: 2025
141
TITLE: Implementation of Virtual Reality in Teacher Training: A Case Study with VRChat and Oculus Quest 2
AUTHORS: Maria Castelhano; Daniela Pedrosa; Leonel Morgado ; Inês Messias;
PUBLISHED: 2025, SOURCE: Practitioner Proceedings of the 11th International Conference of the Immersive Learning Research Network, PAGES: 194-199
AUTHORS: Maria Castelhano; Daniela Pedrosa; Leonel Morgado ; Inês Messias;
PUBLISHED: 2025, SOURCE: Practitioner Proceedings of the 11th International Conference of the Immersive Learning Research Network, PAGES: 194-199
INDEXED IN: 
CrossRef
CrossRef142
TITLE: Improve Multi-Unmanned Vehicle Environments Through Automated Task Delegation and ROS2 Integration
AUTHORS: Bruno Rocha; João Ramos; Nuno Alexandre Ribeiro Costa; Eduardo Solteiro Pires; João Manuel Pereira Barroso; Antonio Manuel Pereira ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PAGES: 245-251
AUTHORS: Bruno Rocha; João Ramos; Nuno Alexandre Ribeiro Costa; Eduardo Solteiro Pires; João Manuel Pereira Barroso; Antonio Manuel Pereira ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PAGES: 245-251
INDEXED IN: 
Scopus CrossRef
Scopus CrossRef143
TITLE: Improving GHG emissions estimates and multidisciplinary climate research using nuclear observations: the NuClim project
AUTHORS: Susana Barbosa ; Scott Chambers;
PUBLISHED: 2025
AUTHORS: Susana Barbosa ; Scott Chambers;
PUBLISHED: 2025
INDEXED IN: CrossRef
CrossRef144
TITLE: In-context learning of evolving data streams with tabular foundational models
AUTHORS: Afonso Lourenço; João Gama ; Eric P Xing; Goreti Marreiros;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.16840
AUTHORS: Afonso Lourenço; João Gama ; Eric P Xing; Goreti Marreiros;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.16840
INDEXED IN: 
DBLP
DBLP145
TITLE: Incremental Repair Feedback on Automated Assessment of Programming Assignments Full Text
AUTHORS: Paiva, Jose Carlos; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLISHED: 2025, SOURCE: ELECTRONICS, VOLUME: 14, ISSUE: 4, PAGES: 819
AUTHORS: Paiva, Jose Carlos; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLISHED: 2025, SOURCE: ELECTRONICS, VOLUME: 14, ISSUE: 4, PAGES: 819
146
TITLE: Informed Data Selection Strategies for Few-Shot Learning on Imbalanced Data Full Text
AUTHORS: Alcoforado, Alexandre; Ferraz, Thomas Palmeira; Okamura, Lucas Hideki Takeuchi; Veloso, Bruno Miguel; Costa, Anna Helena Reali; Fama, Israel Campos ; Bueno, Barbara Dias;
PUBLISHED: 2025, SOURCE: LINGUAMATICA, VOLUME: 17, ISSUE: 1, PAGES: 105-120
AUTHORS: Alcoforado, Alexandre; Ferraz, Thomas Palmeira; Okamura, Lucas Hideki Takeuchi; Veloso, Bruno Miguel; Costa, Anna Helena Reali; Fama, Israel Campos ; Bueno, Barbara Dias;
PUBLISHED: 2025, SOURCE: LINGUAMATICA, VOLUME: 17, ISSUE: 1, PAGES: 105-120
INDEXED IN: 
WOS CrossRef
WOS CrossRef147
TITLE: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTHORS: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025, PAGES: 41-45
AUTHORS: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025, PAGES: 41-45
INDEXED IN: DBLP CrossRef
DBLP CrossRef148
TITLE: Innovative Approaches in Sensory Food Science: From Digital Tools to Virtual Reality
AUTHORS: Fernanda Cosme; Tânia Rocha; Catarina Marques; João Barroso ; Alice Vilela;
PUBLISHED: 2025, SOURCE: Applied Sciences (Switzerland), VOLUME: 15, ISSUE: 8, PAGES: 4538
AUTHORS: Fernanda Cosme; Tânia Rocha; Catarina Marques; João Barroso ; Alice Vilela;
PUBLISHED: 2025, SOURCE: Applied Sciences (Switzerland), VOLUME: 15, ISSUE: 8, PAGES: 4538
INDEXED IN: Scopus CrossRef
Scopus CrossRef149
TITLE: Insights into LLM-Based Conversational Search: A Study of Tetun-Speaking Users' Search Behavior
AUTHORS: Gabriel De Jesus; Sérgio Nunes ;
PUBLISHED: 2025, SOURCE: 15th International Conference on Innovative Concepts and Theories in Information Retrieval, ICTIR 2025 in Proceedings of the 2025 International ACM SIGIR Conference on Innovative Concepts and Theories in Information Retrieval (ICTIR), PAGES: 297-306
AUTHORS: Gabriel De Jesus; Sérgio Nunes ;
PUBLISHED: 2025, SOURCE: 15th International Conference on Innovative Concepts and Theories in Information Retrieval, ICTIR 2025 in Proceedings of the 2025 International ACM SIGIR Conference on Innovative Concepts and Theories in Information Retrieval (ICTIR), PAGES: 297-306
INDEXED IN: Scopus CrossRef
Scopus CrossRef150
TITLE: Interpretable Rules for Online Failure Prediction: A Case Study on the Metro do Porto dataset
AUTHORS: Matthias Jakobs; Bruno Veloso ; João Gama ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.07394
AUTHORS: Matthias Jakobs; Bruno Veloso ; João Gama ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.07394
INDEXED IN: DBLP
DBLP151
TITLE: Introduction to the Special Collection from FACS 2022 Full Text
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2, PAGES: 10:1-10:2
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2, PAGES: 10:1-10:2
152
TITLE: KDBI special issue: Explainability feature selection framework application for LSTM multivariate time-series forecast self optimization Full Text
AUTHORS: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
AUTHORS: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
153
TITLE: KDBI special issue: Time-series pattern verification in CNC turning-A comparative study of one-class and binary classification Full Text
AUTHORS: da Silva, Joao Pinto ; Nogueira, Ana Rita ; Pinto, Jose; Curral, Manuel; Alves, Antonio Correia; Sousa, Ricardo ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
AUTHORS: da Silva, Joao Pinto ; Nogueira, Ana Rita ; Pinto, Jose; Curral, Manuel; Alves, Antonio Correia; Sousa, Ricardo ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
154
TITLE: Layer-based management of collaborative interior design in extended reality Full Text
AUTHORS: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLISHED: 2025, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, PAGES: 1-17
AUTHORS: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLISHED: 2025, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, PAGES: 1-17
155
TITLE: Leakage-Free Probabilistic Jasmin Programs
AUTHORS: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLISHED: 2025, SOURCE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PAGES: 3-16
AUTHORS: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLISHED: 2025, SOURCE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PAGES: 3-16
156
TITLE: Let's Talk About It: Making Scientific Computational Reproducibility Easy
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.10134
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.10134
INDEXED IN: DBLP
DBLP157
TITLE: Leveraging LLMs to Improve Human Annotation Efficiency with INCEpTION
AUTHORS: Luís Filipe Cunha; Nana Yu; Purificação Silvano; Ricardo Campos; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PAGES: 53-58
AUTHORS: Luís Filipe Cunha; Nana Yu; Purificação Silvano; Ricardo Campos; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PAGES: 53-58
158
TITLE: Leveraging Synthetic Data to Develop a Machine Learning Model for Voiding Flow Rate Prediction From Audio Signals
AUTHORS: Alvarez, Marcos Lazaro; Bahillo, Alfonso; Arjona, Laura; Nogueira, Diogo Marcelo; Gomes, Elsa Ferreira ; Jorge, Alipio M.;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 127240-127251
AUTHORS: Alvarez, Marcos Lazaro; Bahillo, Alfonso; Arjona, Laura; Nogueira, Diogo Marcelo; Gomes, Elsa Ferreira ; Jorge, Alipio M.;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 127240-127251
159
TITLE: LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs
AUTHORS: Rincon, Andre Mesquita; Rizzo Vincenzi, Auri Marcelo; Faria, Joao Pascoal ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW in 2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, PAGES: 21-28
AUTHORS: Rincon, Andre Mesquita; Rizzo Vincenzi, Auri Marcelo; Faria, Joao Pascoal ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW in 2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, PAGES: 21-28
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP160
TITLE: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PAGES: 101023
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PAGES: 101023
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP