Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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: 20349
1709 Team MembersFilters -> Year: 2025
221
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
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
222
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
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
223
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
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
224
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: CoRR, VOLUME: abs/2506.22370
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.22370
INDEXED IN: 
DBLP
DBLP225
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
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
226
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
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
227
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
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
DBLP228
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
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
Scopus Unpaywall229
TITLE: Carbon-aware dynamic tariff design for electric vehicle charging stations with explainable stochastic optimization Full Text
AUTHORS: Silva, Carlos A. M. ; Bessa, Ricardo J. ;
PUBLISHED: 2025, SOURCE: APPLIED ENERGY, VOLUME: 389, PAGES: 125674
AUTHORS: Silva, Carlos A. M. ; Bessa, Ricardo J. ;
PUBLISHED: 2025, SOURCE: APPLIED ENERGY, VOLUME: 389, PAGES: 125674
230
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
AUTHORS: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.02811
INDEXED IN: DBLP
DBLP231
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
AUTHORS: Silva, Francisco ; Oliveira, helder P. ; Pereira, Tania ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 43:1-43:37
232
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
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
233
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: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, PAGES: 1409-1423
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: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, PAGES: 1409-1423
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef234
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
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
235
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
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
236
TITLE: Characterization tests for hybrid storage systems – Li-ion and Va-na dium Redox Flow Batteries (HyStorization)
AUTHORS: Ricardo Emanuel Silva ; Pedro Benedicto Martínez; João Carlos Agrela; INESC TEC; Technical University of Denmark;
PUBLISHED: 2025
AUTHORS: Ricardo Emanuel Silva ; Pedro Benedicto Martínez; João Carlos Agrela; INESC TEC; Technical University of Denmark;
PUBLISHED: 2025
INDEXED IN: 
DataCite
DataCite237
TITLE: Chronotype, Lifestyles, and Anthropometric and Biochemical Indices for Cardiovascular Risk Assessment Among Obese Individuals Full Text
AUTHORS: Rabaca Alexandre, Margarida; Poinhos, Rui; Oliveira, Bruno M. P. M. ; Correia, Flora;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 11, PAGES: 1858
AUTHORS: Rabaca Alexandre, Margarida; Poinhos, Rui; Oliveira, Bruno M. P. M. ; Correia, Flora;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 11, PAGES: 1858
238
TITLE: CINDERELLA Clinical Trial (NCT05196269): Patient Engagement with an AI-based Healthcare Application for Enhancing Breast Cancer Locoregional Treatment Decisions- Preliminary Insights Full Text
AUTHORS: Bonci, EA; Antunes, M; Bobowicz, M; Borsoi, L; Ciani, O; Cruz, HV; Di Micco, R; Ekman, M; Gentilini, O; Romariz, M; Gonçalves, T; Gouveia, P; Heil, J; Kabata, P; Kaidar Person, O; Martins, H; Mavioso, C; Mika, M; Oliveira, HP ; Oprea, N; ...More
PUBLISHED: 2025, SOURCE: BREAST, VOLUME: 80, PAGES: 104244
AUTHORS: Bonci, EA; Antunes, M; Bobowicz, M; Borsoi, L; Ciani, O; Cruz, HV; Di Micco, R; Ekman, M; Gentilini, O; Romariz, M; Gonçalves, T; Gouveia, P; Heil, J; Kabata, P; Kaidar Person, O; Martins, H; Mavioso, C; Mika, M; Oliveira, HP ; Oprea, N; ...More
PUBLISHED: 2025, SOURCE: BREAST, VOLUME: 80, PAGES: 104244
INDEXED IN: 
WOS CrossRef
WOS CrossRef239
TITLE: Class-Imbalanced Learning on Graphs: A Survey
AUTHORS: Yihong Ma; Yijun Tian; Nuno Moniz ; Nitesh V Chawla;
PUBLISHED: 2025, SOURCE: ACM Comput. Surv., VOLUME: 57, ISSUE: 8, PAGES: 207:1-207:16
AUTHORS: Yihong Ma; Yijun Tian; Nuno Moniz ; Nitesh V Chawla;
PUBLISHED: 2025, SOURCE: ACM Comput. Surv., VOLUME: 57, ISSUE: 8, PAGES: 207:1-207:16
240
TITLE: Classification for a folded von Mises-Fisher distribution
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLISHED: 2025, SOURCE: Research in Statistics, VOLUME: 3, ISSUE: 1
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLISHED: 2025, SOURCE: Research in Statistics, VOLUME: 3, ISSUE: 1
INDEXED IN: Scopus CrossRef
Scopus CrossRef