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

531 Team Members
Filters -> Year: 2025
141
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
142
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
143
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
144
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
145
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
146
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
147
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
148
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
149
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
150
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
151
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
152
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
153
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
154
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
155
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
156
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
157
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
158
TÍTULO: Method for Evaluation and Classification of Self and Co-regulation of Learning in Immersive Narratives
AUTORES: Bonfim, Cristiane Jorge; Morgado, Leonel ; Pedrosa, Daniela;
PUBLICAÇÃO: 2025, FONTE: 10th International Conference of the Immersive Learning Research Network in IMMERSIVE LEARNING RESEARCH NETWORK, ILRN 2024, PT I, VOLUME: 2271, PÁGINAS: 471-481
INDEXADO EM: Scopus WOS DBLP CrossRef
159
TÍTULO: Methodology for Business Process Automation in SMEs: From Requirements Analysis to Practical Demonstration
AUTORES: Sílvia Moreira ; Henrique Mamede ; Arnaldo Santos ;
PUBLICAÇÃO: 2025, FONTE: Emerging Science Journal, VOLUME: 9, NÚMERO: 3, PÁGINAS: 1561-1590
INDEXADO EM: Scopus CrossRef Unpaywall
160
TÍTULO: Mind the gap: The missing features of the tools to support user studies in software engineering
AUTORES: Costa, Lazaro; Barbosa, Susana ; Cunha, Jacome ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 84, PÁGINAS: 101345
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 8 de 446. Total de resultados: 8914.