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: 19326
1706 Team MembersFilters -> Year: 2025
101
TITLE: Does Every Computer Scientist Need to Know Formal Methods? Full Text
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
102
TITLE: Dynamic Data Radio Bearer Management for O-RAN Slicing in 5G Standalone Networks
AUTHORS: Pedro Silva; Ricardo Dinis; André Coelho ; Manuel Ricardo;
PUBLISHED: 2025, SOURCE: 16th EAI International Conference on Simulation Tools and Techniques, SIMUTools 2024 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, VOLUME: 603 LNICST, PAGES: 357-366
AUTHORS: Pedro Silva; Ricardo Dinis; André Coelho ; Manuel Ricardo;
PUBLISHED: 2025, SOURCE: 16th EAI International Conference on Simulation Tools and Techniques, SIMUTools 2024 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, VOLUME: 603 LNICST, PAGES: 357-366
103
TITLE: Early Failure Detection for Air Production Unit in Metro Trains
AUTHORS: Zafra, Amelia; Veloso, Bruno ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Hybrid Artificial Intelligence Systems in HYBRID ARTIFICIAL INTELLIGENT SYSTEM, PT I, HAIS 2024, VOLUME: 14857, PAGES: 339-351
AUTHORS: Zafra, Amelia; Veloso, Bruno ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Hybrid Artificial Intelligence Systems in HYBRID ARTIFICIAL INTELLIGENT SYSTEM, PT I, HAIS 2024, VOLUME: 14857, PAGES: 339-351
104
TITLE: ECG Biometrics
AUTHORS: João Ribeiro Pinto; Jaime Cardoso ;
PUBLISHED: 2025, SOURCE: Encyclopedia of Cryptography, Security and Privacy, Third Edition, PAGES: 728-731
AUTHORS: João Ribeiro Pinto; Jaime Cardoso ;
PUBLISHED: 2025, SOURCE: Encyclopedia of Cryptography, Security and Privacy, Third Edition, PAGES: 728-731
INDEXED IN: 
Scopus
Scopus105
TITLE: Effects of Physical Exercise on Chemotherapy-Induced Peripheral Neuropathy: A Systematic Review and Meta-Analysis Full Text
AUTHORS: Amarelo, Anabela; da Mota, Marisa Cristina Correia; Amarelo, Bruno Luis Pires; Ferreira, Marta Campos ; Fernandes, Carla Silvia ;
PUBLISHED: 2025, SOURCE: PAIN MANAGEMENT NURSING, VOLUME: 26, ISSUE: 2, PAGES: 212-221
AUTHORS: Amarelo, Anabela; da Mota, Marisa Cristina Correia; Amarelo, Bruno Luis Pires; Ferreira, Marta Campos ; Fernandes, Carla Silvia ;
PUBLISHED: 2025, SOURCE: PAIN MANAGEMENT NURSING, VOLUME: 26, ISSUE: 2, PAGES: 212-221
106
TITLE: Efficient Instance Selection in Tree-Based Models for Data Streams Classification
AUTHORS: Aldo Marcelo Paim; João Gama; Bruno Veloso ; Fabrício Enembreck; Rita P Ribeiro;
PUBLISHED: 2025, SOURCE: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025, PAGES: 448-455
AUTHORS: Aldo Marcelo Paim; João Gama; Bruno Veloso ; Fabrício Enembreck; Rita P Ribeiro;
PUBLISHED: 2025, SOURCE: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025, PAGES: 448-455
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef107
TITLE: Efficient multi-robot path planning in real environments: a centralized coordination system
AUTHORS: Matos, Diogo Miguel ; Costa, Pedro ; Sobreira, Heber ; Valente, Antonio ; Lima, Jose ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF INTELLIGENT ROBOTICS AND APPLICATIONS, VOLUME: 9, ISSUE: 1, PAGES: 217-244
AUTHORS: Matos, Diogo Miguel ; Costa, Pedro ; Sobreira, Heber ; Valente, Antonio ; Lima, Jose ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF INTELLIGENT ROBOTICS AND APPLICATIONS, VOLUME: 9, ISSUE: 1, PAGES: 217-244
108
TITLE: Efficient-Proto-Caps: A Parameter-Efficient and Interpretable Capsule Network for Lung Nodule Characterization
AUTHORS: Eduardo M Rodrigues ; Margarida Gouveia ; Hélder P Oliveira ; Tânia Pereira;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 56616-56630
AUTHORS: Eduardo M Rodrigues ; Margarida Gouveia ; Hélder P Oliveira ; Tânia Pereira;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 56616-56630
109
TITLE: Emerging technologies for supporting patients during Hemodialysis: A scoping review
AUTHORS: Martins, Ana Rita; Ferreira, Marta Campos ; Fernandes, Carla Silvia ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 193, PAGES: 105664
AUTHORS: Martins, Ana Rita; Ferreira, Marta Campos ; Fernandes, Carla Silvia ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 193, PAGES: 105664
110
TITLE: Empowering open data sharing for social good: a privacy-aware approach
AUTHORS: Carvalho, Tania; Antunes, Luis ; Costa Santos, Cristina; Moniz, Nuno;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1, PAGES: 248-
AUTHORS: Carvalho, Tania; Antunes, Luis ; Costa Santos, Cristina; Moniz, Nuno;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1, PAGES: 248-
111
TITLE: Engineering a Sustainable Future with EPS@ISEP
AUTHORS: Benedita Malheiro ; Pedro Guedes ;
PUBLISHED: 2025, SOURCE: World Sustainability Series, VOLUME: Part F128, PAGES: 39-65
AUTHORS: Benedita Malheiro ; Pedro Guedes ;
PUBLISHED: 2025, SOURCE: World Sustainability Series, VOLUME: Part F128, PAGES: 39-65
112
TITLE: Enhancing carsharing pricing and operations through integrated choice models Full Text
AUTHORS: Oliveira, Beatriz Brito ; Ahipasaoglu, Selin Damla;
PUBLISHED: 2025, SOURCE: TRANSPORTATION RESEARCH PART E-LOGISTICS AND TRANSPORTATION REVIEW, VOLUME: 195, PAGES: 103993
AUTHORS: Oliveira, Beatriz Brito ; Ahipasaoglu, Selin Damla;
PUBLISHED: 2025, SOURCE: TRANSPORTATION RESEARCH PART E-LOGISTICS AND TRANSPORTATION REVIEW, VOLUME: 195, PAGES: 103993
113
TITLE: Enhancing Multi-Agent Deep Reinforcement Learning for Flexible Job-Shop Scheduling Through Constraint Programming
AUTHORS: Alexandre Jesus; Arthur Jorge Pereira Corrêa; Miguel Vieira; Catarina Marques ; Cristóvão Silva; Samuel Moniz;
PUBLISHED: 2025
AUTHORS: Alexandre Jesus; Arthur Jorge Pereira Corrêa; Miguel Vieira; Catarina Marques ; Cristóvão Silva; Samuel Moniz;
PUBLISHED: 2025
INDEXED IN: CrossRef
CrossRef114
TITLE: Enhancing Recruitment with LLMs and Chatbots
AUTHORS: Liliana Novais; Vitor Rocio ; Jorge Morais ;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2024 in Lecture Notes in Networks and Systems, VOLUME: 1151 LNNS, PAGES: 292-297
AUTHORS: Liliana Novais; Vitor Rocio ; Jorge Morais ;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2024 in Lecture Notes in Networks and Systems, VOLUME: 1151 LNNS, PAGES: 292-297
115
TITLE: Enhancing Sea Wave Monitoring Through Integrated Pressure Sensors in Smart Marine Cables
AUTHORS: Matos, Tiago; Rocha, Joao L.; Martins, Marcos S. ; Goncalves, Luis M.;
PUBLISHED: 2025, SOURCE: JOURNAL OF MARINE SCIENCE AND ENGINEERING, VOLUME: 13, ISSUE: 4, PAGES: 766
AUTHORS: Matos, Tiago; Rocha, Joao L.; Martins, Marcos S. ; Goncalves, Luis M.;
PUBLISHED: 2025, SOURCE: JOURNAL OF MARINE SCIENCE AND ENGINEERING, VOLUME: 13, ISSUE: 4, PAGES: 766
116
TITLE: Enhancing spectral imaging with multi-condition image fusion Full Text
AUTHORS: Teixeira, Joana; Lopes, Tomas; Capela, Diana; Monteiro, Catarina S.; Guimaraes, Diana ; Lima, Alexandre ; Jorge, Pedro A. S.; Silva, Nuno A.;
PUBLISHED: 2025, SOURCE: SCIENTIFIC REPORTS, VOLUME: 15, ISSUE: 1
AUTHORS: Teixeira, Joana; Lopes, Tomas; Capela, Diana; Monteiro, Catarina S.; Guimaraes, Diana ; Lima, Alexandre ; Jorge, Pedro A. S.; Silva, Nuno A.;
PUBLISHED: 2025, SOURCE: SCIENTIFIC REPORTS, VOLUME: 15, ISSUE: 1
117
TITLE: Enhancing Weakly-Supervised Video Anomaly Detection With Temporal Constraints
AUTHORS: Caetano, Francisco; Carvalho, Pedro; Mastralexi, Christina; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 70882-70894
AUTHORS: Caetano, Francisco; Carvalho, Pedro; Mastralexi, Christina; Cardoso, Jaime S. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 70882-70894
118
TITLE: Evaluating Short Text Stream Clustering on Large E-commerce Datasets
AUTHORS: Andrade, Cesar; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 34th Brazilian Conference on Intelligent Systems in INTELLIGENT SYSTEMS, BRACIS 2024, PT III, VOLUME: 15414, PAGES: 245-259
AUTHORS: Andrade, Cesar; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 34th Brazilian Conference on Intelligent Systems in INTELLIGENT SYSTEMS, BRACIS 2024, PT III, VOLUME: 15414, PAGES: 245-259
119
TITLE: Evaluating the Therapeutic Potential of Exercise in Hypoxia and Low-Carbohydrate High-Fat Diet in Managing Hypertension in Elderly Type 2 Diabetes Patients: A Novel Intervention Approach
AUTHORS: Raquel Kindlovits; Ana Catarina Sousa; João Luís Viana; Jaime Milheiro; Bruno M P M Oliveira ; Franklim Marques; Santos, Alejandro; Vitor Hugo Teixeira;
PUBLISHED: 2025
AUTHORS: Raquel Kindlovits; Ana Catarina Sousa; João Luís Viana; Jaime Milheiro; Bruno M P M Oliveira ; Franklim Marques; Santos, Alejandro; Vitor Hugo Teixeira;
PUBLISHED: 2025
INDEXED IN: CrossRef
CrossRef120
TITLE: Evaluating the Therapeutic Potential of Exercise in Hypoxia and Low-Carbohydrate, High-Fat Diet in Managing Hypertension in Elderly Type 2 Diabetes Patients: A Novel Intervention Approach Full Text
AUTHORS: Kindlovits, Raquel; Sousa, Ana Catarina; Viana, Joao Luis; Milheiro, Jaime; Oliveira, Bruno M. P. M. ; Marques, Franklim; Santos, Alejandro; Teixeira, Vitor Hugo;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 3, PAGES: 522
AUTHORS: Kindlovits, Raquel; Sousa, Ana Catarina; Viana, Joao Luis; Milheiro, Jaime; Oliveira, Bruno M. P. M. ; Marques, Franklim; Santos, Alejandro; Teixeira, Vitor Hugo;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 3, PAGES: 522
