CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 8873

531 Team Members
Filters -> 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
INDEXED IN: Scopus DBLP CrossRef: 1
2
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
INDEXED IN: CrossRef
3
TITLE: A Dataset For Computational Reproducibility
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08684
INDEXED IN: DBLP
4
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
INDEXED IN: DBLP
5
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
INDEXED IN: Scopus CrossRef
6
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
INDEXED IN: Scopus WOS CrossRef: 2 Unpaywall
7
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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
9
TITLE: A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources  Full Text
AUTHORS: Tadeu Freitas; Carlos Novo; Inês Dutra; João Soares; Manuel E Correia ; Benham Shariati; Rolando Martins;
PUBLISHED: 2025, SOURCE: Software: Practice and Experience
INDEXED IN: CrossRef
10
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
INDEXED IN: Scopus WOS DBLP CrossRef
11
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
INDEXED IN: DBLP
12
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
INDEXED IN: Scopus WOS DBLP CrossRef
13
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
14
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
INDEXED IN: Scopus WOS DBLP
15
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
INDEXED IN: DBLP
16
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
INDEXED IN: DBLP
17
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
INDEXED IN: Scopus CrossRef
18
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
INDEXED IN: Scopus CrossRef
19
TITLE: Airborne Wind Energy Farms: Layout Optimization Combining NSGA-II and BRKGA
AUTHORS: Rui Carvalho da Costa; Luís A C Roque ; Luís Tiago Paiva ; Manuel C R M Fernandes; Dalila B M M Fontes ; Fernando A C C Fontes ;
PUBLISHED: 2025, SOURCE: Dynamics of Information Systems - 7th International Conference, DIS 2024, Kalamata, Greece, June 2-7, 2024, Revised Selected Papers, VOLUME: 14661, PAGES: 291-299
INDEXED IN: DBLP CrossRef Unpaywall
20
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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall

Results per Page: 20.
Page 1 of 444. Total results: 8873.