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: 19883
1707 Team MembersFilters -> Year: 2025
341
TITLE: Knowledge sharing and team dynamics in the context of an incubation program
AUTHORS: Rinor Kurteshi; Fernando Almeida ;
PUBLISHED: 2025, SOURCE: Knowledge Sharing and Fostering Collaborative Business Culture, PAGES: 171-195
AUTHORS: Rinor Kurteshi; Fernando Almeida ;
PUBLISHED: 2025, SOURCE: Knowledge Sharing and Fostering Collaborative Business Culture, PAGES: 171-195
INDEXED IN:
Scopus
CrossRef


342
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
343
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
344
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
345
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
346
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

347
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
348
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
349
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
350
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
351
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
352
TITLE: LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs
AUTHORS: Rincon, Andre Mesquita; Rizzo Vincenzi, Auri Marcelo; 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; Rizzo Vincenzi, Auri Marcelo; 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
INDEXED IN:
Scopus
WOS
DBLP



353
TITLE: Local flexibility markets based on grid segmentation
AUTHORS: Fábio Retorta; João Mello; Clara Gouveia; Bernardo Silva; José Villar ; Matteo Troncia; José Pablo Chaves Ávila;
PUBLISHED: 2025, SOURCE: Utilities Policy, VOLUME: 96, PAGES: 102029
AUTHORS: Fábio Retorta; João Mello; Clara Gouveia; Bernardo Silva; José Villar ; Matteo Troncia; José Pablo Chaves Ávila;
PUBLISHED: 2025, SOURCE: Utilities Policy, VOLUME: 96, PAGES: 102029
354
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
355
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
356
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
357
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



358
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
359
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
360
TITLE: Machine Learning-Based Cost Estimation Approach for Furniture Manufacturing
AUTHORS: Teresa Pereira; Eduardo e Oliveira; António Amaral ; Marisa G Pereira;
PUBLISHED: 2025, SOURCE: IFIP Advances in Information and Communication Technology - Advances in Production Management Systems. Cyber-Physical-Human Production Systems: Human-AI Collaboration and Beyond, PAGES: 314-324
AUTHORS: Teresa Pereira; Eduardo e Oliveira; António Amaral ; Marisa G Pereira;
PUBLISHED: 2025, SOURCE: IFIP Advances in Information and Communication Technology - Advances in Production Management Systems. Cyber-Physical-Human Production Systems: Human-AI Collaboration and Beyond, PAGES: 314-324
INDEXED IN:
CrossRef
