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: 20051
1706 Team MembersFilters -> Year: 2025
461
TITLE: Land Surface Influence on Boundary Layer Air over the Atlantic Ocean from Environmental Radioactivity Full Text
AUTHORS: Dias, Nuno ; Barbosa, Susana;
PUBLISHED: 2025, SOURCE: JOURNAL OF APPLIED METEOROLOGY AND CLIMATOLOGY, VOLUME: 64, ISSUE: 8, PAGES: 933-942
AUTHORS: Dias, Nuno ; Barbosa, Susana;
PUBLISHED: 2025, SOURCE: JOURNAL OF APPLIED METEOROLOGY AND CLIMATOLOGY, VOLUME: 64, ISSUE: 8, PAGES: 933-942
462
TITLE: Layer-based management of collaborative interior design in extended reality Full Text
AUTHORS: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLISHED: 2025, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, PAGES: 1-17
AUTHORS: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLISHED: 2025, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, PAGES: 1-17
463
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
464
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
465
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
466
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
DBLP467
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: 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: 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
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef468
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
469
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
CrossRef470
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
471
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
472
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
473
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
474
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
475
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
476
TITLE: Local Flexibility Markets for Energy Communities: Flexibility Modelling and Pricing Approaches
AUTHORS: Joao Carlos Agrela ; Tiago Soares ; Jose Villar ; Igor Rezende;
PUBLISHED: 2025, SOURCE: International Conference on the European Energy Market Eem, PAGES: 1-7
AUTHORS: Joao Carlos Agrela ; Tiago Soares ; Jose Villar ; Igor Rezende;
PUBLISHED: 2025, SOURCE: International Conference on the European Energy Market Eem, PAGES: 1-7
477
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
478
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
479
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 DBLP480
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
