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

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 24987

1714 Team Members
Filters -> Year: 2026
361
TÍTULO: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTORES: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.22370, PÁGINAS: 203-220
INDEXADO EM: Scopus DBLP
362
TÍTULO: Can Llama 3 Accurately Assess Readability? A Comparative Study Using Lead Sections from Wikipedia
AUTORES: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PÁGINAS: 89-97
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
363
TÍTULO: Can People Flow Enhance the Shared Energy Facility Management?
AUTORES: Zhao, Alexis Pengfei; Li, Shuangqi; Qian, Tao; Guan, Aobo; Cheng, Xi; Kim, Jinsung; Alhazmi, Mohannad; Hernando Gil, Ignacio ;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 16, NÚMERO: 6, PÁGINAS: 4673-4684
INDEXADO EM: Scopus WOS CrossRef Unpaywall
364
TÍTULO: Can We Trust AI Benchmarks? An Interdisciplinary Review of Current Issues in AI Evaluation
AUTORES: Maria Eriksson; Erasmo Purificato; Arman Noroozian; João Vinagre ; Guillaume Chaslot; Emilia Gómez; David Fernández Llorca;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2502.06559
INDEXADO EM: DBLP
365
TÍTULO: Capacity Planning in Maintenance Repair and Overhaul Operations: Evaluating Uncertainty with Discrete Event Simulation
AUTORES: Álvaro Teles; Romão Santos; Luís Guardao; Gonçalo Figueira ;
PUBLICAÇÃO: 2025, FONTE: 2024 International Conference on Industry Sciences and Computer Science Innovation, iSCSi 2024 in Procedia Computer Science, VOLUME: 263, PÁGINAS: 191-199
INDEXADO EM: Scopus Unpaywall
366
TÍTULO: CapyMOA: Efficient Machine Learning for Data Streams in Python
AUTORES: Heitor Murilo Gomes; Anton Lee; Nuwan Gunasekara; Yibin Sun; Guilherme Weigert Cassales; Justin Liu; Marco Heyden; Vítor Cerqueira ; Maroua Bahri; Yun Sing Koh; Bernhard Pfahringer; Albert Bifet;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2502.07432
INDEXADO EM: DBLP
367
TÍTULO: Carbon-aware dynamic tariff design for electric vehicle charging stations with explainable stochastic optimization  Full Text
AUTORES: Silva, Carlos A. M. ; Bessa, Ricardo J. ;
PUBLICAÇÃO: 2025, FONTE: APPLIED ENERGY, VOLUME: 389, PÁGINAS: 125674
INDEXADO EM: Scopus WOS CrossRef: 4
368
TÍTULO: CART-based Synthetic Tabular Data Generation for Imbalanced Regression
AUTORES: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.02811
INDEXADO EM: DBLP
369
TÍTULO: Causal representation learning through higher-level information extraction
AUTORES: Silva, Francisco ; Oliveira, helder P. ; Pereira, Tania ;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2, PÁGINAS: 43:1-43:37
INDEXADO EM: Scopus WOS DBLP CrossRef
370
TÍTULO: Caving Analog Systems as Promising New Environments for Geoengineering Research and Space Exploration: The 5Gs Approach
AUTORES: 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é;
PUBLICAÇÃO: 2025, FONTE: 3rd International conference on Mediterranean Geosciences Union, MedGU 2023 in Advances in Science, Technology and Innovation, PÁGINAS: 143-147
INDEXADO EM: Scopus CrossRef
371
TÍTULO: CBVLM: Training-free explainable concept-based Large Vision Language Models for medical image classification  Full Text
AUTORES: Cristiano Patrício ; Isabel Rio Torto ; Jaime S Cardoso ; Luís F Teixeira ; João Neves;
PUBLICAÇÃO: 2025, FONTE: Comput. Biol. Medicine, VOLUME: 198, PÁGINAS: 111145
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
372
TÍTULO: CCS25 - Artifact for "Jazzline: Composable CryptoLine functional correctness proofs for Jasmin programs"
AUTORES: 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;
PUBLICAÇÃO: 2025, FONTE: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, PÁGINAS: 1409-1423
INDEXADO EM: Scopus DBLP CrossRef
373
TÍTULO: Challenges in Artificial Intelligence and Business: An Ethical Perspective
AUTORES: Nelson deMatos; Belem Barbosa ; Marisol B Correia;
PUBLICAÇÃO: 2025, FONTE: Contributions to management science, PÁGINAS: 17-39
INDEXADO EM: CrossRef Unpaywall
374
TÍTULO: Characterising Class Imbalance in Transportation Mode Detection: An Experimental Study
AUTORES: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PÁGINAS: 58-70
INDEXADO EM: Scopus WOS DBLP CrossRef
375
TÍTULO: Characterization of Indoor Reconfigurable Intelligent Surface-Assisted Channels at 304 GHz: Experimental Measurements, Challenges, and Future Directions  Full Text
AUTORES: 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;
PUBLICAÇÃO: 2025, FONTE: IEEE VEHICULAR TECHNOLOGY MAGAZINE, VOLUME: 20, NÚMERO: 3, PÁGINAS: 20-29
INDEXADO EM: Scopus WOS CrossRef: 1
376
TÍTULO: Characterization tests for hybrid storage systems – Li-ion and Va-na dium Redox Flow Batteries (HyStorization)
AUTORES: Ricardo Emanuel Silva ; Pedro Benedicto Martínez; João Carlos Agrela; INESC TEC; Technical University of Denmark;
PUBLICAÇÃO: 2025
INDEXADO EM: DataCite
377
TÍTULO: Charting a course at the human–AI frontier: a paradigm matrix informed by social sciences and humanities  Full Text
AUTORES: Ramon Chaves; Carlos Eduardo Barbosa; Gustavo Araujo de Oliveira; Alan Lyra; Matheus Argôlo; Herbert Salazar; Yuri Lima; Daniel Schneider; António Correia ; Jano Moreira de Souza;
PUBLICAÇÃO: 2025, FONTE: AI & SOCIETY
INDEXADO EM: CrossRef: 2 Unpaywall
378
379
TÍTULO: ChatGPT como catalisador do Pensamento Crítico e Criativo  Full Text
AUTORES: Sandra Rosa Paiva; António Pedro Costa; Luís Paulo Reis ;
PUBLICAÇÃO: 2025, FONTE: Praxis Educativa, VOLUME: 20, NÚMERO: 2025, PÁGINAS: 1-23
INDEXADO EM: CrossRef
380
TÍTULO: Cherry-Picking in Time Series Forecasting: How to Select Datasets to Make Your Model Shine
AUTORES: Roque, Luis; Cerqueira, Vitor ; Soares, Carlos; Torgo, Luis ;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 19, VOLUME: 39, NÚMERO: 19, PÁGINAS: 20192-20199
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall

Results per Page: 20.
Página 19 de 1250. Total de resultados: 24987.