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: 8756
531 Team MembersFilters -> Year: 2025
1
TITLE: A Dataset For Computational Reproducibility
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08684
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08684
INDEXED IN:
DBLP

2
TITLE: A Deep Learning Framework for Medium-Term Covariance Forecasting in Multi-Asset Portfolios
AUTHORS: Pedro Reis; Ana Paula Serra; João Gama ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.01581
AUTHORS: Pedro Reis; Ana Paula Serra; João Gama ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.01581
INDEXED IN:
DBLP

3
TITLE: A Framework for Supporting the Reproducibility of Computational Experiments in Multiple Scientific Domains
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.07080
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.07080
INDEXED IN:
DBLP

4
TITLE: A Look at Prevalent Vulnerabilities in Web and Mobile Applications: A Brief Systematic Review
AUTHORS: Alexandre Ferreira; João Barroso ; Arsénio Reis; António Jorge Gouveia;
PUBLISHED: 2025, SOURCE: Multidisciplinary International Conference of Research Applied to Defense and Security, MICRADS 2024 in Smart Innovation, Systems and Technologies, VOLUME: 423, PAGES: 281-291
AUTHORS: Alexandre Ferreira; João Barroso ; Arsénio Reis; António Jorge Gouveia;
PUBLISHED: 2025, SOURCE: Multidisciplinary International Conference of Research Applied to Defense and Security, MICRADS 2024 in Smart Innovation, Systems and Technologies, VOLUME: 423, PAGES: 281-291
INDEXED IN:
Scopus
CrossRef


5
TITLE: A new proposed model to assess the digital organizational readiness to maximize the results of the digital transformation in SMEs
AUTHORS: Silva, Rui Pedro; Mamede, Henrique Sao ; Santos, Vitor;
PUBLISHED: 2025, SOURCE: JOURNAL OF INNOVATION & KNOWLEDGE, VOLUME: 10, ISSUE: 1, PAGES: 100644
AUTHORS: Silva, Rui Pedro; Mamede, Henrique Sao ; Santos, Vitor;
PUBLISHED: 2025, SOURCE: JOURNAL OF INNOVATION & KNOWLEDGE, VOLUME: 10, ISSUE: 1, PAGES: 100644
6
TITLE: A Pattern Language for Engineering Software for the Cloud
AUTHORS: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science, VOLUME: 14630 LNCS, PAGES: 1-66
AUTHORS: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science, VOLUME: 14630 LNCS, PAGES: 1-66
7
TITLE: A Review of Voicing Decision in Whispered Speech: From Rules to Machine Learning
AUTHORS: João Miguel Pinto Pereira da Silva ; Gonçalo Duarte Nunes ; Aníbal Ferreira ;
PUBLISHED: 2025
AUTHORS: João Miguel Pinto Pereira da Silva ; Gonçalo Duarte Nunes ; Aníbal Ferreira ;
PUBLISHED: 2025
INDEXED IN:
CrossRef
Unpaywall


8
TITLE: A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
AUTHORS: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02109
AUTHORS: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02109
INDEXED IN:
DBLP

9
TITLE: A Tight Security Proof for SPHINCS+, Formally Verified
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT IV, VOLUME: 15487, PAGES: 35-67
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT IV, VOLUME: 15487, PAGES: 35-67
10
TITLE: Adherence, acceptability, and usability of a smartphone app to promote physical exercise in patients with peripheral arterial disease and intermittent claudication Full Text
AUTHORS: Oliveira, Rafaela; Pedras, Susana; Veiga, Carlos; Moreira, Luis; Santarem, Daniel; Guedes, Daniel; Paredes, Hugo ; Silva, Ivone;
PUBLISHED: 2025, SOURCE: INFORMATICS FOR HEALTH & SOCIAL CARE, VOLUME: 50, ISSUE: 2, PAGES: 49-62
AUTHORS: Oliveira, Rafaela; Pedras, Susana; Veiga, Carlos; Moreira, Luis; Santarem, Daniel; Guedes, Daniel; Paredes, Hugo ; Silva, Ivone;
PUBLISHED: 2025, SOURCE: INFORMATICS FOR HEALTH & SOCIAL CARE, VOLUME: 50, ISSUE: 2, PAGES: 49-62
11
TITLE: Advancing Sustainability in Data Centers: Evaluation of Hybrid Air/Liquid Cooling Schemes for IT Payload Using Sea Water Full Text
AUTHORS: Latif, Imran; Ashraf, Muhammad Mubashar; Haider, Umaima; Reeves, Gemma; Untaroiu, Alexandrina; Coelho, Fabio ; Browne, Denis;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 13, ISSUE: 1, PAGES: 184-197
AUTHORS: Latif, Imran; Ashraf, Muhammad Mubashar; Haider, Umaima; Reeves, Gemma; Untaroiu, Alexandrina; Coelho, Fabio ; Browne, Denis;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 13, ISSUE: 1, PAGES: 184-197
INDEXED IN:
Scopus
WOS
DBLP



12
TITLE: Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers
AUTHORS: Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybylek; Ademar Aguiar ; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna;
PUBLISHED: 2025, SOURCE: XP Workshops, VOLUME: 524
AUTHORS: Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybylek; Ademar Aguiar ; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna;
PUBLISHED: 2025, SOURCE: XP Workshops, VOLUME: 524
INDEXED IN:
DBLP

13
TITLE: AI and learning analytics in distance learning
AUTHORS: Henrique Mamede ; Arnaldo Santos ;
PUBLISHED: 2025, SOURCE: AI and Learning Analytics in Distance Learning, PAGES: 1-283
AUTHORS: Henrique Mamede ; Arnaldo Santos ;
PUBLISHED: 2025, SOURCE: AI and Learning Analytics in Distance Learning, PAGES: 1-283
INDEXED IN:
Scopus
CrossRef


14
TITLE: Air Quality Data Analysis with Symbolic Principal Components
AUTHORS: Catarina Loureiro; Rosário Oliveira; Paula Brito ; Lina Oliveira;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 335-348
AUTHORS: Catarina Loureiro; Rosário Oliveira; Paula Brito ; Lina Oliveira;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 335-348
INDEXED IN:
Scopus
CrossRef


15
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
16
TITLE: An Approach to Business Continuity Self-Assessment
AUTHORS: Nelson Russo; Henrique São Mamede ; Leonilde Reis;
PUBLISHED: 2025, SOURCE: Technologies, VOLUME: 13, ISSUE: 6, PAGES: 242
AUTHORS: Nelson Russo; Henrique São Mamede ; Leonilde Reis;
PUBLISHED: 2025, SOURCE: Technologies, VOLUME: 13, ISSUE: 6, PAGES: 242
INDEXED IN:
CrossRef

17
TITLE: An Automated Repository for the Efficient Management of Complex Documentation Full Text
AUTHORS: Frade, Jose; Antunes, Mario ;
PUBLISHED: 2025, SOURCE: INFORMATION, VOLUME: 16, ISSUE: 3, PAGES: 205
AUTHORS: Frade, Jose; Antunes, Mario ;
PUBLISHED: 2025, SOURCE: INFORMATION, VOLUME: 16, ISSUE: 3, PAGES: 205
18
TITLE: Ancient Greek Technology: An Immersive Learning Use Case Described Using a Co-Intelligent Custom ChatGPT Assistant
AUTHORS: Vlasis Kasapakis; Leonel Morgado ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.04110
AUTHORS: Vlasis Kasapakis; Leonel Morgado ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.04110
INDEXED IN:
DBLP

19
TITLE: Anomaly Detection in Pet Behavioural Data
AUTHORS: Silva, Ines; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PAGES: 137-153
AUTHORS: Silva, Ines; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PAGES: 137-153
INDEXED IN:
Scopus
WOS
DBLP



20
TITLE: Approaches to Conflict-free Replicated Data Types Full Text
AUTHORS: Almeida, Paulo sergio ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 51:1-51:36
AUTHORS: Almeida, Paulo sergio ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 51:1-51:36