Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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: 20366

1711 Team Members
Filters -> Year: 2025
241
TITLE: Budget-constrained Collaborative Renewable Energy Forecasting Market
AUTHORS: Carla Gonçalves; Ricardo J Bessa; Tiago Teixeira; João Vinagre ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.12367
INDEXED IN: DBLP
242
TITLE: Building and developing entrepreneurial team identity: insights from the CEU iLab incubation
AUTHORS: Kurteshi, Rinor; Almeida, Fernando ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF ENTREPRENEURIAL BEHAVIOR & RESEARCH, PAGES: 1-22
INDEXED IN: Scopus WOS CrossRef
243
TITLE: Building healthier communities: initiatives in the Porto Metropolitan Area, Portugal
AUTHORS: Almeida, Fernando ; Morais, Jose;
PUBLISHED: 2025, SOURCE: CITIES & HEALTH, PAGES: 1-13
INDEXED IN: Scopus WOS CrossRef
244
TITLE: Business Model for Energy Community Developers and Assets Investors
AUTHORS: De Sousa, Flavio; Bayo Besteiro, Susana ; Domenech, Salvador; Silva, Ricardo ; Villar, Jose ;
PUBLISHED: 2025, SOURCE: 21st International Conference on the European Energy Market-EEM-Annual in 2025 21ST INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, PAGES: 1-6
INDEXED IN: Scopus WOS CrossRef Unpaywall
245
TITLE: Business Models for Energy Community with Vulnerable Consumers
AUTHORS: Santos, Teresa; Silva, Ricardo ; Mello, Joao ; Villar, Jose ;
PUBLISHED: 2025, SOURCE: 21st International Conference on the European Energy Market-EEM-Annual in 2025 21ST INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, PAGES: 1-6
INDEXED IN: Scopus WOS CrossRef Unpaywall
246
TITLE: C'est Tres CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM
AUTHORS: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488, PAGES: 3-33
INDEXED IN: Scopus WOS DBLP CrossRef: 2
247
TITLE: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTHORS: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLISHED: 2025, SOURCE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PAGES: 130-138
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
248
TITLE: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025 in CoRR, VOLUME: abs/2506.22370, PAGES: 203-220
INDEXED IN: Scopus DBLP
249
TITLE: Can Llama 3 Accurately Assess Readability? A Comparative Study Using Lead Sections from Wikipedia
AUTHORS: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PAGES: 89-97
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
250
TITLE: Can People Flow Enhance the Shared Energy Facility Management?
AUTHORS: Zhao, Alexis Pengfei; Li, Shuangqi; Qian, Tao; Guan, Aobo; Cheng, Xi; Kim, Jinsung; Alhazmi, Mohannad; Hernando Gil, Ignacio ;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 16, ISSUE: 6, PAGES: 4673-4684
INDEXED IN: Scopus WOS CrossRef Unpaywall
251
TITLE: Can We Trust AI Benchmarks? An Interdisciplinary Review of Current Issues in AI Evaluation
AUTHORS: Maria Eriksson; Erasmo Purificato; Arman Noroozian; João Vinagre ; Guillaume Chaslot; Emilia Gómez; David Fernández Llorca;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.06559
INDEXED IN: DBLP
252
TITLE: Capacity Planning in Maintenance Repair and Overhaul Operations: Evaluating Uncertainty with Discrete Event Simulation
AUTHORS: Álvaro Teles; Romão Santos; Luís Guardao; Gonçalo Figueira ;
PUBLISHED: 2025, SOURCE: 2024 International Conference on Industry Sciences and Computer Science Innovation, iSCSi 2024 in Procedia Computer Science, VOLUME: 263, PAGES: 191-199
INDEXED IN: Scopus Unpaywall
253
254
TITLE: CART-based Synthetic Tabular Data Generation for Imbalanced Regression
AUTHORS: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.02811
INDEXED IN: DBLP
255
TITLE: Causal representation learning through higher-level information extraction
AUTHORS: Silva, Francisco ; Oliveira, helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 43:1-43:37
INDEXED IN: Scopus WOS DBLP CrossRef
256
TITLE: Caving Analog Systems as Promising New Environments for Geoengineering Research and Space Exploration: The 5Gs Approach
AUTHORS: Cristina Pires; Ana Zélia Miller; Francesco Sauro; Aidyl Gonzalez Serricchio; Slávka Andrejkovičová; Yvette Marie Gonzalez; Rui Miguel Marques Moura; Liliana Freitas; Isabel Amorim ; Paulo M Barcelos; João Carlos Carreiro Nunes; Hélder Chaminé;
PUBLISHED: 2025, SOURCE: 3rd International conference on Mediterranean Geosciences Union, MedGU 2023 in Advances in Science, Technology and Innovation, PAGES: 143-147
INDEXED IN: Scopus CrossRef
257
TITLE: CBVLM: Training-free explainable concept-based Large Vision Language Models for medical image classification  Full Text
AUTHORS: Cristiano Patrício ; Isabel Rio Torto ; Jaime S Cardoso ; Luís F Teixeira ; João Neves;
PUBLISHED: 2025, SOURCE: Comput. Biol. Medicine, VOLUME: 198, PAGES: 111145
INDEXED IN: Scopus DBLP CrossRef Unpaywall
258
TITLE: CCS25 - Artifact for "Jazzline: Composable CryptoLine functional correctness proofs for Jasmin programs"
AUTHORS: José Bacelar Almeida; Manuel Barbosa ; Gilles BARTHE; Lionel Blatter; João Diogo Duarte; Gustavo Xavier Delerue Marinho Alves; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, PAGES: 1409-1423
INDEXED IN: Scopus DBLP CrossRef
259
TITLE: Characterising Class Imbalance in Transportation Mode Detection: An Experimental Study
AUTHORS: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PAGES: 58-70
INDEXED IN: Scopus WOS DBLP CrossRef
260
TITLE: Characterization of Indoor Reconfigurable Intelligent Surface-Assisted Channels at 304 GHz: Experimental Measurements, Challenges, and Future Directions  Full Text
AUTHORS: Alexandropoulos, George C.; Jung, Bo Kum; Gavriilidis, Panagiotis; Matos, Sergio; Loeser, Lorenz H. W.; Elesina, Varvara; Clemente, Antonio; D'Errico, Raffaele; Pessoa, Luis M. ; Kuerner, Thomas;
PUBLISHED: 2025, SOURCE: IEEE VEHICULAR TECHNOLOGY MAGAZINE, VOLUME: 20, ISSUE: 3, PAGES: 20-29
INDEXED IN: Scopus WOS CrossRef: 1

Results per Page: 20.
Page 13 of 1019. Total results: 20366.