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

530 Team Members
Filters -> Year: 2025
261
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
262
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
263
TÍTULO: Leveraging Artificial Intelligence to Bridge Gaps in Pediatric Oncology Care for Marginalized Spanish-Speaking Communities
AUTORES: Grigorii Khvatskii; Angélica García Martínez; Deng Pan; Matthew Belcher; Gerónimo Medrano Loera; Dayana Pineda Pérez; Juan Emmanuel Ferrari Muñoz Ledo; Horacio Márquez González; Nuno Moniz ; Nitesh V Chawla;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025, PÁGINAS: 9763-9771
INDEXADO EM: DBLP
264
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
265
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
266
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
267
TÍTULO: LLM-Based Framework for Synthetic Data Generation in Portuguese Clinical NER
AUTORES: Luís Henriques; Nuno Guimarães ; Alípio Jorge ;
PUBLICAÇÃO: 2025, FONTE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PÁGINAS: 335-347
INDEXADO EM: Scopus DBLP CrossRef
268
TÍTULO: LLMs4All: A Review on Large Language Models for Research and Applications in Academic Disciplines
AUTORES: Yanfang Ye; Zheyuan Zhang; Tianyi Ma; Zehong Wang; Yiyang Li; Shifu Hou; Weixiang Sun; Kaiwen Shi; Yijun Ma; Wei Song; Ahmed Abbasi; Ying Cheng; Jane Cleland Huang; Steven Corcelli; Robert Goulding; Ming Hu; Ting Hua; John Lalor; Fang Liu; Tengfei Luo; Ed Maginn; Nuno Moniz ; Jason Rohr; Brett Savoie; Daniel Slate; Tom Stapleford; Matthew Webber; Olaf Wiest; Johnny Zhang; Nitesh V Chawla; ...Mais
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2509.19580
INDEXADO EM: DBLP
269
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
270
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
271
TÍTULO: Machine Learning Models for Indoor Positioning Using Bluetooth RSSI and Video Data: A Case Study
AUTORES: Tomás Mamede; Nuno Silva; Eduardo R B Marques; Luís M B Lopes ;
PUBLICAÇÃO: 2025, FONTE: Sensors, VOLUME: 25, NÚMERO: 21, PÁGINAS: 6640
INDEXADO EM: CrossRef: 1
272
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
273
TÍTULO: Measuring the stability and plasticity of recommender systems
AUTORES: Maria João Lavoura; Robert Jungnickel; João Vinagre ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2508.03941
INDEXADO EM: DBLP
274
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
275
TÍTULO: Meta Subspace Analysis: Understanding Model (Mis)behavior in the Metafeature Space
AUTORES: Carlos Soares; Paulo J Azevedo; Vítor Cerqueira; Luís Torgo ;
PUBLICAÇÃO: 2025, FONTE: 28th International Conference on Discovery Science, DS 2025 in Discovery Science - 28th International Conference, DS 2025, Ljubljana, Slovenia, September 23-25, 2025, Proceedings, VOLUME: 16090, PÁGINAS: 255-269
INDEXADO EM: Scopus DBLP CrossRef
276
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: 1
277
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
278
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
279
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
280
TÍTULO: Modeling Electricity Markets and Energy Systems: Challenges and Opportunities  Full Text
AUTORES: Aliabadi, Danial Esmaeili; Pinto, Tiago ;
PUBLICAÇÃO: 2025, FONTE: ENERGIES, VOLUME: 18, NÚMERO: 2, PÁGINAS: 245
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 14 de 460. Total de resultados: 9192.