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: 10665
535 Team MembersFilters -> Year: 2026
521
TITLE: SIMD Acceleration of Matrix-Vector Operations on RISC-V for Variable Precision Neural Networks
AUTHORS: Salinas, Gonzalo; Sequeira, Guilherme; Rodriguez, Alfonso; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2025, SOURCE: 2025 International Parallel and Distributed Processing Symposium Workshops-IPDPSW-Annual in 2025 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, IPDPSW, PAGES: 1140-1147
AUTHORS: Salinas, Gonzalo; Sequeira, Guilherme; Rodriguez, Alfonso; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2025, SOURCE: 2025 International Parallel and Distributed Processing Symposium Workshops-IPDPSW-Annual in 2025 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, IPDPSW, PAGES: 1140-1147
522
TITLE: Simulating Biases for Interpretable Fairness in Offline and Online Classifiers
AUTHORS: Ricardo Inácio ; Zafeiris Kokkinogenis; Vítor Cerqueira; Carlos Soares ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.10154
AUTHORS: Ricardo Inácio ; Zafeiris Kokkinogenis; Vítor Cerqueira; Carlos Soares ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.10154
INDEXED IN: 
DBLP 
DataCite
DBLP DataCite523
TITLE: Simulating Ocean Futures: A Digital Twin Pilot for Environmental Scenarios
AUTHORS: Antonio, Vasilijevic; Bronner, Ute; Nepstad, Raymond; Oliveira, Marco Amaro ;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-6
AUTHORS: Antonio, Vasilijevic; Bronner, Ute; Nepstad, Raymond; Oliveira, Marco Amaro ;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-6
524
TITLE: Social Compliance With NPIs, Mobility Patterns, and Reproduction Number: Lessons From COVID-19 in Europe
AUTHORS: Baccega, Daniele; Aguilar, Jose; Baquero, Carlos ; Fernandez Anta, Antonio; Marcos Ramirez, Juan;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 134357-134375
AUTHORS: Baccega, Daniele; Aguilar, Jose; Baquero, Carlos ; Fernandez Anta, Antonio; Marcos Ramirez, Juan;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 134357-134375
525
TITLE: Software Testing Education and Industry Needs - Report from the ENACTEST EU Project
AUTHORS: Mehrdad Saadatmand; Abbas Khan; Beatriz Marín; Ana C R Paiva ; Nele Van Asch; Graham Moran; Felix Cammaerts; Monique Snoeck; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025 in PROFES (Workshop), VOLUME: 16362 LNCS, PAGES: 53-68
AUTHORS: Mehrdad Saadatmand; Abbas Khan; Beatriz Marín; Ana C R Paiva ; Nele Van Asch; Graham Moran; Felix Cammaerts; Monique Snoeck; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025 in PROFES (Workshop), VOLUME: 16362 LNCS, PAGES: 53-68
526
TITLE: Somatic Indicators on the Visceral, Behavioral and Reflective Dimensions of Emotional Design
AUTHORS: Alves, Tiago; Giesteira, Bruno ;
PUBLISHED: 2025, SOURCE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PAGES: 512-525
AUTHORS: Alves, Tiago; Giesteira, Bruno ;
PUBLISHED: 2025, SOURCE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PAGES: 512-525
527
TITLE: Sonar-Based Deep Learning in Underwater Robotics: Overview, Robustness, and Challenges PDF Full Text
AUTHORS: Aubard, Martin; Madureira, Ana ; Teixeira, Luis ; Pinto, Jose;
PUBLISHED: 2025, SOURCE: IEEE JOURNAL OF OCEANIC ENGINEERING, VOLUME: 50, ISSUE: 3, PAGES: 1866-1884
AUTHORS: Aubard, Martin; Madureira, Ana ; Teixeira, Luis ; Pinto, Jose;
PUBLISHED: 2025, SOURCE: IEEE JOURNAL OF OCEANIC ENGINEERING, VOLUME: 50, ISSUE: 3, PAGES: 1866-1884
528
TITLE: SPATA: Systematic Pattern Analysis for Detailed and Transparent Data Cards
AUTHORS: João Vitorino; Eva Maia; Isabel Praça; Carlos Soares ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2509.26640
AUTHORS: João Vitorino; Eva Maia; Isabel Praça; Carlos Soares ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2509.26640
INDEXED IN: DBLP
DBLP529
TITLE: Spatio-Temporal Predictive Modeling Techniques for Different Domains: a Survey
AUTHORS: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2
AUTHORS: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2
530
TITLE: Specification of paraconsistent transition systems, revisited Full Text
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103196
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103196
531
TITLE: Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs Full Text
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 261-278
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 261-278
532
TITLE: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTHORS: Policarpo, Nuno; Santos, Jose Fragoso; Cunha, Alcino ; Leitao, Joao; Costa, Pedro Akos;
PUBLISHED: 2025, SOURCE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, PAGES: 63-73
AUTHORS: Policarpo, Nuno; Santos, Jose Fragoso; Cunha, Alcino ; Leitao, Joao; Costa, Pedro Akos;
PUBLISHED: 2025, SOURCE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, PAGES: 63-73
533
TITLE: Spectral Manifold Harmonization for Graph Imbalanced Regression
AUTHORS: Brenda Nogueira; Gabe Gomes; Meng Jiang; Nitesh V Chawla; Nuno Moniz ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.01132
AUTHORS: Brenda Nogueira; Gabe Gomes; Meng Jiang; Nitesh V Chawla; Nuno Moniz ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.01132
INDEXED IN: DBLP
DBLP534
TITLE: STEERING INTO THE FUTURE: PUBLIC PERCEPTIONS AND ACCEPTANCE OF AUTONOMOUS BUSES
AUTHORS: Ejdys, Joanna; Gulc, Aleksandra; Budna, Klaudia; Esparteiro Garcia, Jorge ;
PUBLISHED: 2025, SOURCE: ECONOMICS AND ENVIRONMENT, VOLUME: 92, ISSUE: 1, PAGES: 1140
AUTHORS: Ejdys, Joanna; Gulc, Aleksandra; Budna, Klaudia; Esparteiro Garcia, Jorge ;
PUBLISHED: 2025, SOURCE: ECONOMICS AND ENVIRONMENT, VOLUME: 92, ISSUE: 1, PAGES: 1140
535
TITLE: Strategic Alliances in NetLogo: A Flocking Algorithm with Reinforcement Learning
AUTHORS: Sónia Teixeira ; Sónia Teixeira; Pedro Campos; Pedro Campos; Sónia Teixeira; Sónia Teixeira; Pedro Campos; Pedro Campos;
PUBLISHED: 2025, SOURCE: Machine Learning Perspectives of Agent-Based Models, PAGES: 287-306
AUTHORS: Sónia Teixeira ; Sónia Teixeira; Pedro Campos; Pedro Campos; Sónia Teixeira; Sónia Teixeira; Pedro Campos; Pedro Campos;
PUBLISHED: 2025, SOURCE: Machine Learning Perspectives of Agent-Based Models, PAGES: 287-306
536
TITLE: Strategies and Tools to Support Place-Belongingness in Smart Cities
AUTHORS: Hesam Mohseni; António Correia ; Johanna Silvennoinen; Tuomo Kujala; Tommi Kärkkäinen;
PUBLISHED: 2025, SOURCE: Computer-Human Interaction Research and Applications, PAGES: 425-434
AUTHORS: Hesam Mohseni; António Correia ; Johanna Silvennoinen; Tuomo Kujala; Tommi Kärkkäinen;
PUBLISHED: 2025, SOURCE: Computer-Human Interaction Research and Applications, PAGES: 425-434
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall537
TITLE: Stress-Testing of Multimodal Models in Medical Image-Based Report Generation
AUTHORS: Carvalhido, Flavia; Cardoso, Henrique Lopes ; Cerqueira, Vitor ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 28, VOLUME: 39, ISSUE: 28, PAGES: 29251-29252
AUTHORS: Carvalhido, Flavia; Cardoso, Henrique Lopes ; Cerqueira, Vitor ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 28, VOLUME: 39, ISSUE: 28, PAGES: 29251-29252
538
TITLE: Striking a balance: navigating the trade-offs between predictive accuracy and interpretability in machine learning models
AUTHORS: Arantes, Miguel; Gonzalez Manteiga, Wenceslao; Torres, Javier; Pinto, Alberto ;
PUBLISHED: 2025, SOURCE: ELECTRONIC RESEARCH ARCHIVE, VOLUME: 33, ISSUE: 4, PAGES: 2092-2117
AUTHORS: Arantes, Miguel; Gonzalez Manteiga, Wenceslao; Torres, Javier; Pinto, Alberto ;
PUBLISHED: 2025, SOURCE: ELECTRONIC RESEARCH ARCHIVE, VOLUME: 33, ISSUE: 4, PAGES: 2092-2117
539
TITLE: Stuck! Stalling in Computer Games
AUTHORS: Pedro Cardoso; Miguel Carvalhais ;
PUBLISHED: 2025, SOURCE: Springer Series in Design and Innovation, VOLUME: 50, PAGES: 359-370
AUTHORS: Pedro Cardoso; Miguel Carvalhais ;
PUBLISHED: 2025, SOURCE: Springer Series in Design and Innovation, VOLUME: 50, PAGES: 359-370
INDEXED IN: 
Scopus CrossRef
Scopus CrossRef540
TITLE: Study the Capacity of Deep Learning Techniques Information Generalization Using Capsule Endoscopic Images
AUTHORS: Macedo, Ema; Araujo, Helder; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: 27th International Conference on Pattern Recognition-ICPR-Annual in PATTERN RECOGNITION: ICPR 2024 INTERNATIONAL WORKSHOPS AND CHALLENGES, PT V, VOLUME: 15618, PAGES: 380-394
AUTHORS: Macedo, Ema; Araujo, Helder; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: 27th International Conference on Pattern Recognition-ICPR-Annual in PATTERN RECOGNITION: ICPR 2024 INTERNATIONAL WORKSHOPS AND CHALLENGES, PT V, VOLUME: 15618, PAGES: 380-394
