Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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: 20089
1706 Team MembersFilters -> Year: 2025
481
TITLE: Leakage-Free Probabilistic Jasmin Programs
AUTHORS: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLISHED: 2025, SOURCE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PAGES: 3-16
AUTHORS: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLISHED: 2025, SOURCE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PAGES: 3-16
482
TITLE: Learning from the aggregated optimum: Managing port wine inventory in the face of climate risks Full Text
AUTHORS: Pahr, Alexander; Grunow, Martin; Amorim, Pedro ;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 323, ISSUE: 2, PAGES: 671-685
AUTHORS: Pahr, Alexander; Grunow, Martin; Amorim, Pedro ;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 323, ISSUE: 2, PAGES: 671-685
483
TITLE: Learning Ordinality in Semantic Segmentation
AUTHORS: Cruz, Ricardo P. M. ; Cristino, Rafael; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 28369-28380
AUTHORS: Cruz, Ricardo P. M. ; Cristino, Rafael; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 28369-28380
484
TITLE: Let's Talk About It: Making Scientific Computational Reproducibility Easy
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.10134
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.10134
INDEXED IN: 
DBLP
DBLP485
TITLE: Leveraging Adversarial Learning for Pathological Fidelity in Virtual Staining
AUTHORS: José Teixeira; Pascal Klöckner; Diana Montezuma; Melis Erdal Cesur; João Fraga; Hugo M Horlings; Jaime S Cardoso ; Sara Pires de Oliveira;
PUBLISHED: 2025, SOURCE: 5th Workshop on Deep Generative Models for Medical Image Computing and Computer Assisted Intervention, DGM4MICCAI 2025, held in conjunction with the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025 in Deep Generative Models - 5th MICCAI Workshop, DGM4MICCAI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 16128, PAGES: 202-212
AUTHORS: José Teixeira; Pascal Klöckner; Diana Montezuma; Melis Erdal Cesur; João Fraga; Hugo M Horlings; Jaime S Cardoso ; Sara Pires de Oliveira;
PUBLISHED: 2025, SOURCE: 5th Workshop on Deep Generative Models for Medical Image Computing and Computer Assisted Intervention, DGM4MICCAI 2025, held in conjunction with the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025 in Deep Generative Models - 5th MICCAI Workshop, DGM4MICCAI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 16128, PAGES: 202-212
486
TITLE: Leveraging Cold Diffusion for the Decomposition of Identically Distributed Superimposed Images
AUTHORS: Montenegro, Helena ; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: IEEE OPEN JOURNAL OF SIGNAL PROCESSING, VOLUME: 6, PAGES: 784-794
AUTHORS: Montenegro, Helena ; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: IEEE OPEN JOURNAL OF SIGNAL PROCESSING, VOLUME: 6, PAGES: 784-794
487
TITLE: Leveraging Large-language Models for Thematic Analysis of Children’s Folk Lyrics: A comparative study of Iberian Traditions
AUTHORS: Jorge Forero Rodriguez; Gilberto Bernardes ;
PUBLISHED: 2025, SOURCE: Proceedings of the 12th International Conference on Digital Libraries for Musicology, PAGES: 53-59
AUTHORS: Jorge Forero Rodriguez; Gilberto Bernardes ;
PUBLISHED: 2025, SOURCE: Proceedings of the 12th International Conference on Digital Libraries for Musicology, PAGES: 53-59
INDEXED IN: 
CrossRef
CrossRef488
TITLE: Leveraging LLMs to Improve Human Annotation Efficiency with INCEpTION
AUTHORS: Luís Filipe Cunha ; Nana Yu; Purificação Silvano; Ricardo Campos; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: 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, PAGES: 53-58
AUTHORS: Luís Filipe Cunha ; Nana Yu; Purificação Silvano; Ricardo Campos; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: 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, PAGES: 53-58
489
TITLE: Leveraging Synthetic Data to Develop a Machine Learning Model for Voiding Flow Rate Prediction From Audio Signals
AUTHORS: Alvarez, Marcos Lazaro; Bahillo, Alfonso; Arjona, Laura; Nogueira, Diogo Marcelo; Gomes, Elsa Ferreira ; Jorge, Alipio M.;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 127240-127251
AUTHORS: Alvarez, Marcos Lazaro; Bahillo, Alfonso; Arjona, Laura; Nogueira, Diogo Marcelo; Gomes, Elsa Ferreira ; Jorge, Alipio M.;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 127240-127251
490
TITLE: Life cycle assessment comparison of electric and internal combustion vehicles: A review on the main challenges and opportunities
AUTHORS: da Costa, Vinicius Braga Ferreira; Bitencourt, Leonardo; Dias, Bruno Henriques; Soares, Tiago ; Andrade, Jorge Vleberton Bessa de; Bonatto, Benedito Donizeti;
PUBLISHED: 2025, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 208, PAGES: 114988
AUTHORS: da Costa, Vinicius Braga Ferreira; Bitencourt, Leonardo; Dias, Bruno Henriques; Soares, Tiago ; Andrade, Jorge Vleberton Bessa de; Bonatto, Benedito Donizeti;
PUBLISHED: 2025, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 208, PAGES: 114988
491
TITLE: Living with chemotherapy-induced peripheral neuropathy: A qualitative meta-synthesis of patient experiences Full Text
AUTHORS: Amarelo, Anabela; Amarelo, Bruno; Ferreira, Marta Campos ; Fernandes, Carla Silvia ;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF ONCOLOGY NURSING, VOLUME: 77, PAGES: 102921
AUTHORS: Amarelo, Anabela; Amarelo, Bruno; Ferreira, Marta Campos ; Fernandes, Carla Silvia ;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF ONCOLOGY NURSING, VOLUME: 77, PAGES: 102921
492
TITLE: LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs
AUTHORS: Rincon, Andre Mesquita; VINCENZI, AURI M. R. ; Faria, Joao Pascoal ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW in 2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, PAGES: 21-28
AUTHORS: Rincon, Andre Mesquita; VINCENZI, AURI M. R. ; Faria, Joao Pascoal ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW in 2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, PAGES: 21-28
493
TITLE: Local flexibility markets based on grid segmentation Full Text
AUTHORS: Retorta, Fabio; Mello, Joao; Gouveia, Clara; Silva, Bernardo ; Villar, Jose ; Troncia, Matteo; Chaves Avila, Jose Pablo;
PUBLISHED: 2025, SOURCE: UTILITIES POLICY, VOLUME: 96, PAGES: 102029
AUTHORS: Retorta, Fabio; Mello, Joao; Gouveia, Clara; Silva, Bernardo ; Villar, Jose ; Troncia, Matteo; Chaves Avila, Jose Pablo;
PUBLISHED: 2025, SOURCE: UTILITIES POLICY, VOLUME: 96, PAGES: 102029
494
TITLE: Local Flexibility Markets for Energy Communities: flexibility modelling and pricing approaches
AUTHORS: Agrela, Joao Carlos ; Soares, Tiago ; Villar, Jose ; Rezende, Igor;
PUBLISHED: 2025, SOURCE: 21st International Conference on the European Energy Market-EEM-Annual in 2025 21ST INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, PAGES: 1-7
AUTHORS: Agrela, Joao Carlos ; Soares, Tiago ; Villar, Jose ; Rezende, Igor;
PUBLISHED: 2025, SOURCE: 21st International Conference on the European Energy Market-EEM-Annual in 2025 21ST INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, PAGES: 1-7
495
TITLE: Local stability in kidney exchange programs Full Text
AUTHORS: Baratto, Marie; Crama, Yves; Pedroso, Joao Pedro ; Viana, Ana ;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 320, ISSUE: 1, PAGES: 20-34
AUTHORS: Baratto, Marie; Crama, Yves; Pedroso, Joao Pedro ; Viana, Ana ;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 320, ISSUE: 1, PAGES: 20-34
496
TITLE: Location of grid forming converters when dealing with multi-class stability problems Full Text
AUTHORS: Fernandes, Francisco ; Lopes, Joao Pecas ; Moreira, Carlos ;
PUBLISHED: 2025, SOURCE: IET GENERATION TRANSMISSION & DISTRIBUTION, VOLUME: 19, ISSUE: 1
AUTHORS: Fernandes, Francisco ; Lopes, Joao Pecas ; Moreira, Carlos ;
PUBLISHED: 2025, SOURCE: IET GENERATION TRANSMISSION & DISTRIBUTION, VOLUME: 19, ISSUE: 1
497
TITLE: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PAGES: 101023
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PAGES: 101023
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP498
TITLE: Low-Cost Versatile Optical Fiber Sensor for Structural Health Monitoring of Reinforced Concrete Structures
AUTHORS: da Silva, P. M.; Mendes, Joao. P. ; Coelho, L. C. C.; de Almeida, J. M. M. M.;
PUBLISHED: 2025, SOURCE: 29th International Conference on Optical Fiber Sensors in 29TH INTERNATIONAL CONFERENCE ON OPTICAL FIBER SENSORS, VOLUME: 13639, PAGES: 466
AUTHORS: da Silva, P. M.; Mendes, Joao. P. ; Coelho, L. C. C.; de Almeida, J. M. M. M.;
PUBLISHED: 2025, SOURCE: 29th International Conference on Optical Fiber Sensors in 29TH INTERNATIONAL CONFERENCE ON OPTICAL FIBER SENSORS, VOLUME: 13639, PAGES: 466
499
TITLE: Machine Learning for Decision Support and Automation in Games: A Study on Vehicle Optimal Path Full Text
AUTHORS: Penelas, Goncalo; Barbosa, Luis ; Reis, Arsenio; Barroso, Joao ; Pinto, Tiago;
PUBLISHED: 2025, SOURCE: ALGORITHMS, VOLUME: 18, ISSUE: 2, PAGES: 106
AUTHORS: Penelas, Goncalo; Barbosa, Luis ; Reis, Arsenio; Barroso, Joao ; Pinto, Tiago;
PUBLISHED: 2025, SOURCE: ALGORITHMS, VOLUME: 18, ISSUE: 2, PAGES: 106
500
TITLE: Machine Learning Regression-Based Prediction for Improving Performance and Energy Consumption in HPC Platforms
AUTHORS: Coelho, Micaella; Ocana, Kary; Pereira, Andre ; Porto, Alexandre; Cardoso, Douglas O.; Lorenzon, Arthur; Oliveira, Rui; Navaux, Philippe O. A.; Osthoff, Carla;
PUBLISHED: 2025, SOURCE: 11th Latin American Conference on High Performance Computing in HIGH PERFORMANCE COMPUTING, CARLA 2024, VOLUME: 2270, PAGES: 186-200
AUTHORS: Coelho, Micaella; Ocana, Kary; Pereira, Andre ; Porto, Alexandre; Cardoso, Douglas O.; Lorenzon, Arthur; Oliveira, Rui; Navaux, Philippe O. A.; Osthoff, Carla;
PUBLISHED: 2025, SOURCE: 11th Latin American Conference on High Performance Computing in HIGH PERFORMANCE COMPUTING, CARLA 2024, VOLUME: 2270, PAGES: 186-200
