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

531 Team Members
Filters -> Year: 2025
102
TÍTULO: In-context learning of evolving data streams with tabular foundational models
AUTORES: Afonso Lourenço; João Gama ; Eric P Xing; Goreti Marreiros;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2502.16840
INDEXADO EM: DBLP
103
TÍTULO: Incremental Repair Feedback on Automated Assessment of Programming Assignments  Full Text
AUTORES: Paiva, Jose Carlos; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLICAÇÃO: 2025, FONTE: ELECTRONICS, VOLUME: 14, NÚMERO: 4, PÁGINAS: 819
INDEXADO EM: Scopus WOS CrossRef
104
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
105
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
106
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
107
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
108
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
109
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
110
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
111
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
112
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
113
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
114
TÍTULO: Leveraging Synthetic Data to Develop a Machine Learning Model for Voiding Flow Rate Prediction From Audio Signals
AUTORES: Marcos Lazaro Alvarez; Alfonso Bahillo; Laura Arjona; Diogo Marcelo Nogueira; Elsa Ferreira Gomes ; Alípio M Jorge;
PUBLICAÇÃO: 2025, FONTE: IEEE Access, VOLUME: 13, PÁGINAS: 127240-127251
INDEXADO EM: Scopus DBLP CrossRef
115
TÍTULO: LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs
AUTORES: Rincon, Andre Mesquita; Rizzo Vincenzi, Auri Marcelo; 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
116
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
117
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 CrossRef
118
TÍTULO: Machine Learning Regression-Based Prediction for Improving Performance and Energy Consumption in HPC Platforms
AUTORES: Coelho, Micaella; Ocana, Kary; Pereira, Andre ; Porto, Alexandre; Cardoso, Douglas O.; Lorenzon, Arthur; Oliveira, Rui; Navaux, Philippe O. A.; Osthoff, Carla;
PUBLICAÇÃO: 2025, FONTE: 11th Latin American Conference on High Performance Computing in HIGH PERFORMANCE COMPUTING, CARLA 2024, VOLUME: 2270, PÁGINAS: 186-200
INDEXADO EM: Scopus WOS CrossRef Unpaywall
119
TÍTULO: MedLink: Retrieval and Ranking of Case Reports to Assist Clinical Decision Making
AUTORES: Luís Filipe Cunha; Nuno Guimarães ; Alexandra Mendes ; 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: 72-77
INDEXADO EM: Scopus DBLP CrossRef
120
TÍTULO: METFORD - Mutation tEsTing Framework fOR anDroid  Full Text
AUTORES: Vincenzi, Auri M. R.; Kuroishi, Pedro H.; Bispo, Joao ; da Veiga, Ana R. C.; da Mata, David R. C.; Azevedo, Francisco B.; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PÁGINAS: 112332
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 6 de 444. Total de resultados: 8866.