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: 8900
531 Team MembersFilters -> Year: 2025
1
TITLE: A framework for supporting the reproducibility of computational experiments in multiple scientific domains
AUTHORS: Lázaro Costa; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2026, SOURCE: Future Gener. Comput. Syst., VOLUME: 174, PAGES: 107924
AUTHORS: Lázaro Costa; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2026, SOURCE: Future Gener. Comput. Syst., VOLUME: 174, PAGES: 107924
2
TITLE: Auto-active verification of distributed systems and specification refinements with Why3-do
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2026, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 247, PAGES: 103352
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2026, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 247, PAGES: 103352
3
TITLE: A Computer-Aided Approach to Canine Hip Dysplasia Assessment: Measuring Femoral Head-Acetabulum Distance with Deep Learning
AUTHORS: Franco Goncalo, Pedro; Leite, Pedro; Alves Pimenta, Sofia; Colaco, Bruno; Goncalves, Lio; Filipe, Vitor ; McEvoy, Fintan; Ferreira, Manuel; Ginja, Mario;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 9, PAGES: 5087
AUTHORS: Franco Goncalo, Pedro; Leite, Pedro; Alves Pimenta, Sofia; Colaco, Bruno; Goncalves, Lio; Filipe, Vitor ; McEvoy, Fintan; Ferreira, Manuel; Ginja, Mario;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 9, PAGES: 5087
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef4
TITLE: A Control Chart for Zero‐Inflated Semi‐Continuous Data
AUTHORS: Fernanda Otília FIGUEIREDO; Adelaide FIGUEIREDO ; Ivette I GOMES;
PUBLISHED: 2025, SOURCE: Data Analysis and Related Applications 5, PAGES: 65-77
AUTHORS: Fernanda Otília FIGUEIREDO; Adelaide FIGUEIREDO ; Ivette I GOMES;
PUBLISHED: 2025, SOURCE: Data Analysis and Related Applications 5, PAGES: 65-77
INDEXED IN: CrossRef
CrossRef5
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
DBLP6
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
DBLP7
TITLE: A Domain-Agnostic Virtual Choreography Framework for Digital Twins: An Oil Spill Application
AUTHORS: Fernando Cassola ; Vitor Cavaleiro; Demetrius Lacet; Miguel Correia; Marco Amaro Oliveira; Alexandre Valle de Carvalho; Leonel Morgado ;
PUBLISHED: 2025, SOURCE: OCEANS 2025 Brest, PAGES: 1-8
AUTHORS: Fernando Cassola ; Vitor Cavaleiro; Demetrius Lacet; Miguel Correia; Marco Amaro Oliveira; Alexandre Valle de Carvalho; Leonel Morgado ;
PUBLISHED: 2025, SOURCE: OCEANS 2025 Brest, PAGES: 1-8
INDEXED IN: CrossRef 
Unpaywall
CrossRef Unpaywall8
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
Scopus CrossRef9
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
10
TITLE: A Pattern Language for Engineering Software for the Cloud
AUTHORS: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLISHED: 2025, SOURCE: Transactions on Pattern Languages of Programming V, VOLUME: 5, PAGES: 1-66
AUTHORS: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLISHED: 2025, SOURCE: Transactions on Pattern Languages of Programming V, VOLUME: 5, PAGES: 1-66
11
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
CrossRef Unpaywall12
TITLE: A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources Full Text
AUTHORS: Freitas, Tadeu; Novo, Carlos; Dutra, Ines; Soares, Joao; Correia, Manuel E. ; Shariati, Benham; Martins, Rolando;
PUBLISHED: 2025, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE
AUTHORS: Freitas, Tadeu; Novo, Carlos; Dutra, Ines; Soares, Joao; Correia, Manuel E. ; Shariati, Benham; Martins, Rolando;
PUBLISHED: 2025, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE
13
TITLE: A Scoping Review of the Use of Blockchain to Support Medical Imaging Data Sharing Across Multiple Healthcare Institutions
AUTHORS: Pavao, Joao; BASTARDO, Rute ; Rocha, Nelson Pacheco;
PUBLISHED: 2025, SOURCE: 4th International Conference on Advanced Research in Technologies Information Innovation and Sustainability-ARTIIS-Annual in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2024, PT III, VOLUME: 2347, PAGES: 411-420
AUTHORS: Pavao, Joao; BASTARDO, Rute ; Rocha, Nelson Pacheco;
PUBLISHED: 2025, SOURCE: 4th International Conference on Advanced Research in Technologies Information Innovation and Sustainability-ARTIIS-Annual in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2024, PT III, VOLUME: 2347, PAGES: 411-420
14
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
DBLP15
TITLE: A Systematic Review on Long-Tailed Learning
AUTHORS: Chongsheng Zhang; George Almpanidis; Gaojuan Fan; Binquan Deng; Yanbo Zhang; Ji Liu; Aouaidjia Kamel; Paolo Soda; João Gama ;
PUBLISHED: 2025, SOURCE: IEEE Trans. Neural Networks Learn. Syst., VOLUME: 36, ISSUE: 8, PAGES: 13670-13690
AUTHORS: Chongsheng Zhang; George Almpanidis; Gaojuan Fan; Binquan Deng; Yanbo Zhang; Ji Liu; Aouaidjia Kamel; Paolo Soda; João Gama ;
PUBLISHED: 2025, SOURCE: IEEE Trans. Neural Networks Learn. Syst., VOLUME: 36, ISSUE: 8, PAGES: 13670-13690
16
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
17
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
18
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
Scopus WOS DBLP19
TITLE: Agile Processes in Software Engineering and Extreme Programming - 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings
AUTHORS: Sibylle Peter; Martin Kropp; Ademar Aguiar ; Craig Anslow; Maria Ilaria Lunesu; Andrea Pinna;
PUBLISHED: 2025, SOURCE: XP, VOLUME: 545
AUTHORS: Sibylle Peter; Martin Kropp; Ademar Aguiar ; Craig Anslow; Maria Ilaria Lunesu; Andrea Pinna;
PUBLISHED: 2025, SOURCE: XP, VOLUME: 545
INDEXED IN: DBLP
DBLP20
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
DBLP