CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

530 Team Members
Filters -> Year: 2025
221
TÍTULO: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTORES: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025, PÁGINAS: 41-45
INDEXADO EM: DBLP CrossRef
222
TÍTULO: Innovative Approaches in Sensory Food Science: From Digital Tools to Virtual Reality
AUTORES: Fernanda Cosme; Tânia Rocha; Catarina Marques; João Barroso ; Alice Vilela;
PUBLICAÇÃO: 2025, FONTE: Applied Sciences (Switzerland), VOLUME: 15, NÚMERO: 8, PÁGINAS: 4538
INDEXADO EM: Scopus CrossRef
223
TÍTULO: Insights into LLM-Based Conversational Search: A Study of Tetun-Speaking Users' Search Behavior
AUTORES: Gabriel De Jesus; Sérgio Nunes ;
PUBLICAÇÃO: 2025, FONTE: 15th International Conference on Innovative Concepts and Theories in Information Retrieval, ICTIR 2025 in Proceedings of the 2025 International ACM SIGIR Conference on Innovative Concepts and Theories in Information Retrieval (ICTIR), PÁGINAS: 297-306
INDEXADO EM: Scopus CrossRef
224
TÍTULO: INTELIGÊNCIA ARTIFICIAL E APRENDIZAGEM AUTORREGULADA: QUE DESAFIOS?
AUTORES: Isolina Oliveira; Alda Pereira; Lúcia Amante; Vitor Rocio ;
PUBLICAÇÃO: 2025, FONTE: Revista Docência e Cibercultura, VOLUME: 9, NÚMERO: 1, PÁGINAS: 1-19
INDEXADO EM: CrossRef
225
TÍTULO: Interpretable Predictive Maintenance: Combining Anomaly Detection with Quantitative Root Cause Analysis
AUTORES: Inês Barbosa ; João Gama ; Bruno Veloso ;
PUBLICAÇÃO: 2025, FONTE: Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part II, VOLUME: 16122, PÁGINAS: 232-245
INDEXADO EM: DBLP CrossRef Unpaywall
226
TÍTULO: Interpretable Rules for Online Failure Prediction: A Case Study on the Metro do Porto dataset
AUTORES: Matthias Jakobs; Bruno Veloso ; João Gama ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2502.07394
INDEXADO EM: DBLP
227
TÍTULO: Introduction to the Special Collection from FACS 2022  Full Text
AUTORES: Tarifa, Silvia Lizeth Tapia; Proenca, Jose ; Oliveira, Jose ;
PUBLICAÇÃO: 2025, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, NÚMERO: 2, PÁGINAS: 10:1-10:2
INDEXADO EM: Scopus WOS DBLP CrossRef
228
TÍTULO: Is There Hypothesis for Attribute Grammars?
AUTORES: Emanuel Rodrigues; José Nuno Macedo; João Saraiva ;
PUBLICAÇÃO: 2025, FONTE: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia, VOLUME: 134, PÁGINAS: 19:1-19:15
INDEXADO EM: DBLP
229
TÍTULO: KDBI special issue: Explainability feature selection framework application for LSTM multivariate time-series forecast self optimization  Full Text
AUTORES: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2025, FONTE: EXPERT SYSTEMS, VOLUME: 42, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
230
TÍTULO: KDBI special issue: Time-series pattern verification in CNC turning-A comparative study of one-class and binary classification  Full Text
AUTORES: da Silva, Joao Pinto ; Nogueira, Ana Rita ; Pinto, Jose ; Curral, Manuel; Alves, Antonio Correia; Sousa, Ricardo ;
PUBLICAÇÃO: 2025, FONTE: EXPERT SYSTEMS, VOLUME: 42, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
231
TÍTULO: KEIGO: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy PDF  Full Text
AUTORES: Adao, Ruben; Wu, Zhongjie; Zhou, Changjun; Balmau, Oana; Paulo, Joao ; Macedo, Ricardo;
PUBLICAÇÃO: 2025, FONTE: 51st International Conference on Very Large Data Bases, VLDB 2025 in PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 18, NÚMERO: 9, PÁGINAS: 2872-2885
INDEXADO EM: Scopus WOS DBLP DataCite
232
TÍTULO: Land Surface Influence on Boundary Layer Air over the Atlantic Ocean from Environmental Radioactivity  Full Text
AUTORES: Dias, Nuno ; Barbosa, Susana;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF APPLIED METEOROLOGY AND CLIMATOLOGY, VOLUME: 64, NÚMERO: 8, PÁGINAS: 933-942
INDEXADO EM: Scopus WOS CrossRef
233
TÍTULO: Layer-based management of collaborative interior design in extended reality  Full Text
AUTORES: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLICAÇÃO: 2025, FONTE: BEHAVIOUR & INFORMATION TECHNOLOGY, PÁGINAS: 1-17
INDEXADO EM: Scopus WOS CrossRef
234
TÍTULO: Leakage-Free Probabilistic Jasmin Programs
AUTORES: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLICAÇÃO: 2025, FONTE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PÁGINAS: 3-16
INDEXADO EM: Scopus WOS DBLP CrossRef
235
TÍTULO: Let's Talk About It: Making Scientific Computational Reproducibility Easy
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.10134
INDEXADO EM: DBLP
236
TÍTULO: Leveraging LLMs to Improve Human Annotation Efficiency with INCEpTION
AUTORES: Luís Filipe Cunha ; Nana Yu; Purificação Silvano; Ricardo Campos ; Alípio Jorge ;
PUBLICAÇÃO: 2025, FONTE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PÁGINAS: 53-58
INDEXADO EM: Scopus DBLP CrossRef
237
TÍTULO: Leveraging Synthetic Data to Develop a Machine Learning Model for Voiding Flow Rate Prediction From Audio Signals
AUTORES: Alvarez, Marcos Lazaro; Bahillo, Alfonso; Arjona, Laura; Nogueira, Diogo Marcelo ; Gomes, Elsa Ferreira ; Jorge, Alipio M.;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 127240-127251
INDEXADO EM: Scopus WOS DBLP CrossRef
238
TÍTULO: LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs
AUTORES: Rincon, Andre Mesquita; VINCENZI, AURI M. R. ; Faria, Joao Pascoal ;
PUBLICAÇÃO: 2025, FONTE: 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW in 2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, PÁGINAS: 21-28
INDEXADO EM: Scopus WOS DBLP CrossRef
239
TÍTULO: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PÁGINAS: 101023
INDEXADO EM: Scopus WOS DBLP
240
TÍTULO: Machine Learning for Decision Support and Automation in Games: A Study on Vehicle Optimal Path  Full Text
AUTORES: Penelas, Goncalo; Barbosa, Luis ; Reis, Arsenio; Barroso, Joao ; Pinto, Tiago;
PUBLICAÇÃO: 2025, FONTE: ALGORITHMS, VOLUME: 18, NÚMERO: 2, PÁGINAS: 106
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 12 de 455. Total de resultados: 9091.