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: 10643
536 Team MembersFilters -> Year: 2026
661
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
662
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
DBLP663
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
664
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
665
TITLE: Strategic Governance in Public Administration using Artificial Intelligence Approaches - A Proposal Using Open-source Virtual Assistants
AUTHORS: Jorge Ribeiro; Afonso Fernandes; Letícia Loureiro; Jorge Garcia ; Sara Paiva;
PUBLISHED: 2025, SOURCE: Atas Da Conferencia Da Associacao Portuguesa De Sistemas De Informacao
AUTHORS: Jorge Ribeiro; Afonso Fernandes; Letícia Loureiro; Jorge Garcia ; Sara Paiva;
PUBLISHED: 2025, SOURCE: Atas Da Conferencia Da Associacao Portuguesa De Sistemas De Informacao
INDEXED IN: 
Scopus
Scopus666
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 Unpaywall667
TITLE: Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study
AUTHORS: Fonseca, Pedro Luis; Lima, Bruno ; Faria, Joao Pascoal ;
PUBLISHED: 2025, SOURCE: 40th International Conference on Automated Software Engineering-ASE in 2025 40TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, PAGES: 3311-3321
AUTHORS: Fonseca, Pedro Luis; Lima, Bruno ; Faria, Joao Pascoal ;
PUBLISHED: 2025, SOURCE: 40th International Conference on Automated Software Engineering-ASE in 2025 40TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, PAGES: 3311-3321
668
TITLE: Stress-Testing of Multimodal Models in Medical Image-Based Report Generation
AUTHORS: Carvalhido, Flavia; Cardoso, Henrique Lopes ; vitor cerqueira ;
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 ; vitor cerqueira ;
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
669
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
670
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 CrossRef671
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
672
TITLE: Studying and Improving Graph Neural Network-based Motif Estimation
AUTHORS: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.15709
AUTHORS: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.15709
INDEXED IN: DBLP
DBLP673
TITLE: Studying the robustness of data imputation methodologies against adversarial attacks
AUTHORS: Mangussi, Arthur Dantas; Pereira, Ricardo Cardoso; Lorena, Ana Carolina; Santos, Miriam Seoane ; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: COMPUTERS & SECURITY, VOLUME: 157, PAGES: 104574
AUTHORS: Mangussi, Arthur Dantas; Pereira, Ricardo Cardoso; Lorena, Ana Carolina; Santos, Miriam Seoane ; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: COMPUTERS & SECURITY, VOLUME: 157, PAGES: 104574
674
TITLE: Supporting Soft Real-Time Tasks in Zephyr With Constant Bandwidth Servers
AUTHORS: Alexander Paschoaletto; Paulo Sousa; Luís Miguel Pinho ; Tiago Carvalho;
PUBLISHED: 2025, SOURCE: 28th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2025 in 2025 28th International Symposium on Real-Time Distributed Computing (ISORC), PAGES: 31-39
AUTHORS: Alexander Paschoaletto; Paulo Sousa; Luís Miguel Pinho ; Tiago Carvalho;
PUBLISHED: 2025, SOURCE: 28th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2025 in 2025 28th International Symposium on Real-Time Distributed Computing (ISORC), PAGES: 31-39
INDEXED IN: Scopus CrossRef
Scopus CrossRef675
TITLE: Survey about Teachers' Perspective on Software Testing Education
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLISHED: 2025
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLISHED: 2025
INDEXED IN: DBLP
DBLP676
TITLE: Survey on Detection of Fraudulent Documents
AUTHORS: Diogo Marcelo Nogueira ; Matilde Simões; Carlos Ferreira; Rita P Ribeiro; David Martínez-Rego; Amanda Cai; João Gama;
PUBLISHED: 2025
AUTHORS: Diogo Marcelo Nogueira ; Matilde Simões; Carlos Ferreira; Rita P Ribeiro; David Martínez-Rego; Amanda Cai; João Gama;
PUBLISHED: 2025
INDEXED IN: CrossRef
CrossRef677
TITLE: Survey on machine learning applied to CNC milling processes
AUTHORS: Pasandidehpoor, Mohammad; Nogueira, Ana Rita ; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLISHED: 2025, SOURCE: ADVANCES IN MANUFACTURING
AUTHORS: Pasandidehpoor, Mohammad; Nogueira, Ana Rita ; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLISHED: 2025, SOURCE: ADVANCES IN MANUFACTURING
678
TITLE: SUSTAINABILITY AND DIGITALISATION IN SOCIAL SOLIDARITY COOPERATIVES: A STUDY IN A CONTEXT OF CHANGE
AUTHORS: Conceição Castro; Susana Jacinta Queirós Bernardino; Deolinda Aparício Meira; Ana Maria Bandeira; Cláudia Pinto; Ana Isabel Rojão Lourenço Azevedo; Agostinho Sousa Pinto; Ana Cláudia Rodrigues; Ana Luisa Moreira Soares Martinho; Ana Paula Rocha; Paulo Vasconcelos; Tiago Pimenta Fernandes; Brízida Tomé; Bruno Coelho Coutinho; Marlene Silva; Mafalda Gomes; Sofia Salvado Antunes; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: Cooperativismo e Economia Social, VOLUME: 2025, ISSUE: 47, PAGES: 75-99
AUTHORS: Conceição Castro; Susana Jacinta Queirós Bernardino; Deolinda Aparício Meira; Ana Maria Bandeira; Cláudia Pinto; Ana Isabel Rojão Lourenço Azevedo; Agostinho Sousa Pinto; Ana Cláudia Rodrigues; Ana Luisa Moreira Soares Martinho; Ana Paula Rocha; Paulo Vasconcelos; Tiago Pimenta Fernandes; Brízida Tomé; Bruno Coelho Coutinho; Marlene Silva; Mafalda Gomes; Sofia Salvado Antunes; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: Cooperativismo e Economia Social, VOLUME: 2025, ISSUE: 47, PAGES: 75-99
INDEXED IN: Scopus CrossRef
Scopus CrossRef679
TITLE: Synthesizing Test Cases for Narrowing Specification Candidates
AUTHORS: Alcino Cunha ; Nuno Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.19177
AUTHORS: Alcino Cunha ; Nuno Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.19177
INDEXED IN: DBLP
DBLP680
TITLE: Synthesizing Trends in Educational Technology: Bibliometric Mapping and Tertiary Literature Review
AUTHORS: António Correia ; Pieta Anniina Sikström; Mirka Saarela; Tommi Kärkkäinen;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Education Technology and Computers (ICETC), PAGES: 856-860
AUTHORS: António Correia ; Pieta Anniina Sikström; Mirka Saarela; Tommi Kärkkäinen;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Education Technology and Computers (ICETC), PAGES: 856-860
INDEXED IN: CrossRef Unpaywall
CrossRef Unpaywall