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: 19943
1706 Team MembersFilters -> Year: 2025
1
TITLE: A framework for supporting the reproducibility of computational experiments in multiple scientific domains
AUTHORS: Lázaro Costa ; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2026, SOURCE: Future Gener. Comput. Syst., VOLUME: 174, PAGES: 107924
AUTHORS: Lázaro Costa ; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2026, SOURCE: Future Gener. Comput. Syst., VOLUME: 174, PAGES: 107924
2
TITLE: An Explosion of the Uses of Immersive Learning Environments: A Mapping of Reviews Update
AUTHORS: Dennis Beck; Leonel Caseiro Morgado ; Patrick O’Shea;
PUBLISHED: 2026, SOURCE: 11th Annual International Conference of the Immersive Learning Research Network, iLRN 2025 in Communications in Computer and Information Science, VOLUME: 2598 CCIS, PAGES: 48-65
AUTHORS: Dennis Beck; Leonel Caseiro Morgado ; Patrick O’Shea;
PUBLISHED: 2026, SOURCE: 11th Annual International Conference of the Immersive Learning Research Network, iLRN 2025 in Communications in Computer and Information Science, VOLUME: 2598 CCIS, PAGES: 48-65
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef3
TITLE: Auto-active verification of distributed systems and specification refinements with Why3-do
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2026, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 247, PAGES: 103352
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2026, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 247, PAGES: 103352
4
TITLE: Enhancing logistics through a vehicle routing problem with deliveries, pickups, and backhauls
AUTHORS: Santos, Maria Joao ; Jorge, Diana; Bonomi, Valentina; Ramos, Tania; Povoa, Ana;
PUBLISHED: 2026, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 33, ISSUE: 1, PAGES: 177-209
AUTHORS: Santos, Maria Joao ; Jorge, Diana; Bonomi, Valentina; Ramos, Tania; Povoa, Ana;
PUBLISHED: 2026, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 33, ISSUE: 1, PAGES: 177-209
5
TITLE: Human-Centered Augmented Reality in Manufacturing: Enhancing Efficiency, Accuracy, and Operator Adoption
AUTHORS: Ramalho, Filipa Rente, FR,; Soares, António Lucas, AL,; null; Almeida, António Henrique, AH, ; Oliveira, Manuel Fradinho, MF,;
PUBLISHED: 2026, SOURCE: 44th IFIP WG 5.7 International Conference on Advances in Production Management Systems, APMS 2025 in IFIP Advances in Information and Communication Technology, VOLUME: 764 IFIPAICT, PAGES: 33-47
AUTHORS: Ramalho, Filipa Rente, FR,; Soares, António Lucas, AL,; null; Almeida, António Henrique, AH, ; Oliveira, Manuel Fradinho, MF,;
PUBLISHED: 2026, SOURCE: 44th IFIP WG 5.7 International Conference on Advances in Production Management Systems, APMS 2025 in IFIP Advances in Information and Communication Technology, VOLUME: 764 IFIPAICT, PAGES: 33-47
INDEXED IN: Scopus CrossRef
Scopus CrossRef6
TITLE: Machine Learning-Based Cost Estimation Approach for Furniture Manufacturing
AUTHORS: Maria Teresa Ribeiro Pereira; Eduardo De Meireles e Oliveira; António Manuel Amaral ; Marisa Pereira;
PUBLISHED: 2026, SOURCE: 44th IFIP WG 5.7 International Conference on Advances in Production Management Systems, APMS 2025 in IFIP Advances in Information and Communication Technology, VOLUME: 764 IFIPAICT, PAGES: 314-324
AUTHORS: Maria Teresa Ribeiro Pereira; Eduardo De Meireles e Oliveira; António Manuel Amaral ; Marisa Pereira;
PUBLISHED: 2026, SOURCE: 44th IFIP WG 5.7 International Conference on Advances in Production Management Systems, APMS 2025 in IFIP Advances in Information and Communication Technology, VOLUME: 764 IFIPAICT, PAGES: 314-324
INDEXED IN: Scopus CrossRef
Scopus CrossRef7
TITLE: On Quantitative Solution Iteration in QAlloy
AUTHORS: Pedro Silva; Nuno Macedo ; José Nuno Oliveira;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State-Based Methods, ABZ 2025 in Lecture Notes in Computer Science, VOLUME: 15728 LNCS, PAGES: 88-105
AUTHORS: Pedro Silva; Nuno Macedo ; José Nuno Oliveira;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State-Based Methods, ABZ 2025 in Lecture Notes in Computer Science, VOLUME: 15728 LNCS, PAGES: 88-105
INDEXED IN: Scopus CrossRef
Scopus CrossRef8
TITLE: Robotic Process Automation: A Qualitative Journey Through RPA's Impacts on Company Employees
AUTHORS: Edgar Simões; Ana Correia Simões; José Coelho Rodrigues ; Pedro Lourenço;
PUBLISHED: 2026, SOURCE: IFIP Advances in Information and Communication Technology, VOLUME: 764 IFIPAICT, PAGES: 18-32
AUTHORS: Edgar Simões; Ana Correia Simões; José Coelho Rodrigues ; Pedro Lourenço;
PUBLISHED: 2026, SOURCE: IFIP Advances in Information and Communication Technology, VOLUME: 764 IFIPAICT, PAGES: 18-32
INDEXED IN: Scopus CrossRef
Scopus CrossRef9
TITLE: Strengthening City-Citizen Engagement: A Mobile App to Enhance Pedestrian Safety and Comfort
AUTHORS: Marta Campos Ferreira ; José Fábio Luna da Silva; Diogo Abrantes; Joana Hora ; Soraia Felício; Teresa Galṽao; Miguel Tavares Coimbra;
PUBLISHED: 2026, SOURCE: Lecture Notes in Mobility, VOLUME: Part F903, PAGES: 704-710
AUTHORS: Marta Campos Ferreira ; José Fábio Luna da Silva; Diogo Abrantes; Joana Hora ; Soraia Felício; Teresa Galṽao; Miguel Tavares Coimbra;
PUBLISHED: 2026, SOURCE: Lecture Notes in Mobility, VOLUME: Part F903, PAGES: 704-710
INDEXED IN: Scopus
Scopus10
TITLE: <i>MedShapeNet</i> - a large-scale dataset of 3D medical shapes for computer vision
AUTHORS: Li, Jianning; Zhou, Zongwei; Yang, Jiancheng; Pepe, Antonio; Gsaxner, Christina; Luijten, Gijs; Qu, Chongyu; Zhang, Tiezheng; Chen, Xiaoxi; Li, Wenxuan; Wodzinski, Marek; Friedrich, Paul; Xie, Kangxian; Jin, Yuan; Ambigapathy, Narmada; Nasca, Enrico; Solak, Naida; Melito, Gian Marco; Vu, VD; Memon, Afaque R.; ...More
PUBLISHED: 2025, SOURCE: BIOMEDICAL ENGINEERING-BIOMEDIZINISCHE TECHNIK, VOLUME: 70, ISSUE: 1, PAGES: 71-90
AUTHORS: Li, Jianning; Zhou, Zongwei; Yang, Jiancheng; Pepe, Antonio; Gsaxner, Christina; Luijten, Gijs; Qu, Chongyu; Zhang, Tiezheng; Chen, Xiaoxi; Li, Wenxuan; Wodzinski, Marek; Friedrich, Paul; Xie, Kangxian; Jin, Yuan; Ambigapathy, Narmada; Nasca, Enrico; Solak, Naida; Melito, Gian Marco; Vu, VD; Memon, Afaque R.; ...More
PUBLISHED: 2025, SOURCE: BIOMEDICAL ENGINEERING-BIOMEDIZINISCHE TECHNIK, VOLUME: 70, ISSUE: 1, PAGES: 71-90
11
TITLE: A 3D Clinical Face Phenotype Space of Genetic Syndromes Using a Triplet-Based Singular Geometric Autoencoder
AUTHORS: Mahdi, Soha S. ; Caldeira, Eduarda ; Matthews, Harold; Vanneste, Michiel; Nauwelaers, Nele; Yuan, Meng; Bouritsas, Giorgos; Baynam, Gareth S.; Hammond, Peter; Spritz, Richard; Klein, Ophir D.; Bronstein, Michael; Hallgrimsson, Benedikt; Peeters, Hilde; Claes, Peter;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 1-15
AUTHORS: Mahdi, Soha S. ; Caldeira, Eduarda ; Matthews, Harold; Vanneste, Michiel; Nauwelaers, Nele; Yuan, Meng; Bouritsas, Giorgos; Baynam, Gareth S.; Hammond, Peter; Spritz, Richard; Klein, Ophir D.; Bronstein, Michael; Hallgrimsson, Benedikt; Peeters, Hilde; Claes, Peter;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 1-15
INDEXED IN: Scopus 
WOS
Scopus WOS12
TITLE: A citywide TD-learning based intelligent traffic signal control for autonomous vehicles: Performance evaluation using SUMO Full Text
AUTHORS: Reza, Selim; Ferreira, Marta Campos ; Machado, J. J. M. ; João Manuel R. S. Tavares ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 1
AUTHORS: Reza, Selim; Ferreira, Marta Campos ; Machado, J. J. M. ; João Manuel R. S. Tavares ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 1
13
TITLE: A comparative analysis of unsupervised machine-learning methods in PSG-related phenotyping
AUTHORS: Ghorvei, Mohammadreza; Karhu, Tuomas; Hietakoste, Salla; Ferreira Santos, Daniela ; Hrubos Strom, Harald; Islind, Anna Sigridur; Biedebach, Luka; Nikkonen, Sami; Leppaenen, Timo; Rusanen, Matias;
PUBLISHED: 2025, SOURCE: JOURNAL OF SLEEP RESEARCH, VOLUME: 34, ISSUE: 3
AUTHORS: Ghorvei, Mohammadreza; Karhu, Tuomas; Hietakoste, Salla; Ferreira Santos, Daniela ; Hrubos Strom, Harald; Islind, Anna Sigridur; Biedebach, Luka; Nikkonen, Sami; Leppaenen, Timo; Rusanen, Matias;
PUBLISHED: 2025, SOURCE: JOURNAL OF SLEEP RESEARCH, VOLUME: 34, ISSUE: 3
14
TITLE: A Computer-Aided Approach to Canine Hip Dysplasia Assessment: Measuring Femoral Head-Acetabulum Distance with Deep Learning
AUTHORS: Franco Goncalo, Pedro; Leite, Pedro; Alves Pimenta, Sofia; Colaco, Bruno; Goncalves, Lio; Filipe, Vitor ; McEvoy, Fintan; Ferreira, Manuel; Ginja, Mario;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 9, PAGES: 5087
AUTHORS: Franco Goncalo, Pedro; Leite, Pedro; Alves Pimenta, Sofia; Colaco, Bruno; Goncalves, Lio; Filipe, Vitor ; McEvoy, Fintan; Ferreira, Manuel; Ginja, Mario;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 9, PAGES: 5087
INDEXED IN: WOS CrossRef
WOS CrossRef15
TITLE: A Conceptual Approach for Causal-Driven Demand Response Optimization in Electric Mobility
AUTHORS: Carlos A M Silva ; Chad Watson; Ricardo J Bessa ;
PUBLISHED: 2025, SOURCE: International Conference on the European Energy Market Eem, PAGES: 1-7
AUTHORS: Carlos A M Silva ; Chad Watson; Ricardo J Bessa ;
PUBLISHED: 2025, SOURCE: International Conference on the European Energy Market Eem, PAGES: 1-7
16
TITLE: A Control Chart for Zero‐Inflated Semi‐Continuous Data
AUTHORS: Fernanda Otília FIGUEIREDO; Adelaide FIGUEIREDO ; Ivette I GOMES;
PUBLISHED: 2025, SOURCE: Data Analysis and Related Applications 5, PAGES: 65-77
AUTHORS: Fernanda Otília FIGUEIREDO; Adelaide FIGUEIREDO ; Ivette I GOMES;
PUBLISHED: 2025, SOURCE: Data Analysis and Related Applications 5, PAGES: 65-77
INDEXED IN: CrossRef
CrossRef17
TITLE: A Dataset For Computational Reproducibility
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08684
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08684
INDEXED IN: 
DBLP
DBLP18
TITLE: A Deep Learning Framework for Medium-Term Covariance Forecasting in Multi-Asset Portfolios
AUTHORS: Pedro Reis; Ana Paula Serra; João Gama ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.01581
AUTHORS: Pedro Reis; Ana Paula Serra; João Gama ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.01581
INDEXED IN: DBLP
DBLP19
TITLE: A Disentangled Approach to Predict the Aesthetic Outcomes of Breast Cancer Treatment
AUTHORS: Montenegro, Helena; Cardoso, Maria J.; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: 18th European Conference on Computer Vision (ECCV) in COMPUTER VISION-ECCV 2024 WORKSHOPS, PT IX, VOLUME: 15631, PAGES: 311-327
AUTHORS: Montenegro, Helena; Cardoso, Maria J.; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: 18th European Conference on Computer Vision (ECCV) in COMPUTER VISION-ECCV 2024 WORKSHOPS, PT IX, VOLUME: 15631, PAGES: 311-327
20
TITLE: A Domain-Agnostic Virtual Choreography Framework for Digital Twins: An Oil Spill Application
AUTHORS: Fernando Cassola ; Victor Cavaleiro; Demetrius Lacet; Miguel Correia; Marco Amaro Oliveira; Alexandre Valle de Carvalho; Leonel Caseiro Morgado ;
PUBLISHED: 2025, SOURCE: OCEANS 2025 Brest, OCEANS 2025 in Oceans Conference Record (IEEE), PAGES: 1-8
AUTHORS: Fernando Cassola ; Victor Cavaleiro; Demetrius Lacet; Miguel Correia; Marco Amaro Oliveira; Alexandre Valle de Carvalho; Leonel Caseiro Morgado ;
PUBLISHED: 2025, SOURCE: OCEANS 2025 Brest, OCEANS 2025 in Oceans Conference Record (IEEE), PAGES: 1-8
