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: 19980
1706 Team MembersFilters -> Year: 2025
221
TITLE: Detecting Resource Leaks on Android with Alpakka
AUTHORS: Santos, Gustavo; Bispo, Joao; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 199-211
AUTHORS: Santos, Gustavo; Bispo, Joao; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 199-211
222
TITLE: Developing a Serious Video Game to Engage the Upper Limb Post-Stroke Rehabilitation
AUTHORS: Silva, Jaime A.; Silva, Manuel F.; Oliveira, Helder P. ; Rocha, Claudia D. ;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 15, PAGES: 8240
AUTHORS: Silva, Jaime A.; Silva, Manuel F.; Oliveira, Helder P. ; Rocha, Claudia D. ;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 15, PAGES: 8240
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef223
TITLE: Developing Strategies for Sustainable and Resilient Supply Chains
AUTHORS: Zimmermann, Ricardo ; Senna, Pedro; Pereira, Paulo; Fornasiero, Rosanna; Zangiacomi, Andrea; Betto, Frida;
PUBLISHED: 2025, SOURCE: 33rd International Association for the Management of Technology Conference in HUMAN-CENTRED TECHNOLOGY MANAGEMENT FOR A SUSTAINABLE FUTURE, VOL 3, IAMOT 2024, PAGES: 613-621
AUTHORS: Zimmermann, Ricardo ; Senna, Pedro; Pereira, Paulo; Fornasiero, Rosanna; Zangiacomi, Andrea; Betto, Frida;
PUBLISHED: 2025, SOURCE: 33rd International Association for the Management of Technology Conference in HUMAN-CENTRED TECHNOLOGY MANAGEMENT FOR A SUSTAINABLE FUTURE, VOL 3, IAMOT 2024, PAGES: 613-621
224
TITLE: Development of a Non-Invasive Clinical Machine Learning System for Arterial Pulse Wave Velocity Estimation
AUTHORS: Martinez Rodrigo, Arturo; Pedrosa, Joao ; Carneiro, Davide ; Cavero Redondo, Ivan; Saz Lara, Alicia;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 9, PAGES: 4788
AUTHORS: Martinez Rodrigo, Arturo; Pedrosa, Joao ; Carneiro, Davide ; Cavero Redondo, Ivan; Saz Lara, Alicia;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 9, PAGES: 4788
225
TITLE: DFDT: Dynamic Fast Decision Tree for IoT Data Stream Mining on Edge Devices
AUTHORS: Afonso Lourenço; João Rodrigo; João Gama ; Goreti Marreiros;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.14011
AUTHORS: Afonso Lourenço; João Rodrigo; João Gama ; Goreti Marreiros;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.14011
INDEXED IN: 
DBLP
DBLP226
TITLE: Different energy poverty issues, different engagement behaviors? An empirical analysis of citizen groups in Europe
AUTHORS: Grozea Banica, Bianca ; Migueis, Vera ; Patricio, Lia ;
PUBLISHED: 2025, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 122, PAGES: 104003
AUTHORS: Grozea Banica, Bianca ; Migueis, Vera ; Patricio, Lia ;
PUBLISHED: 2025, SOURCE: ENERGY RESEARCH & SOCIAL SCIENCE, VOLUME: 122, PAGES: 104003
227
TITLE: Differentially-private data synthetisation for efficient re-identification risk control Full Text
AUTHORS: Carvalho, Tania; Moniz, Nuno; Antunes, Luis ; Chawla, Nitesh;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING, VOLUME: 114, ISSUE: 7, PAGES: 164
AUTHORS: Carvalho, Tania; Moniz, Nuno; Antunes, Luis ; Chawla, Nitesh;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING, VOLUME: 114, ISSUE: 7, PAGES: 164
228
TITLE: Digital assessment of plant diseases: A critical review and analysis of optical sensing technologies for early plant disease diagnosis
AUTHORS: Pereira, Mafalda Reis; Tosin, Renan ; dos Santos, Filipe Neves ; Tavares, Fernando; Cunha, Mario ;
PUBLISHED: 2025, SOURCE: COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 236, PAGES: 110443
AUTHORS: Pereira, Mafalda Reis; Tosin, Renan ; dos Santos, Filipe Neves ; Tavares, Fernando; Cunha, Mario ;
PUBLISHED: 2025, SOURCE: COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 236, PAGES: 110443
229
TITLE: Digital Innovation in Health Care: Addressing Medication Non-adherence
AUTHORS: Laxmi Bhandari; Manuel José Fonseca; António Fernandes; Jorge Esparteiro Garcia ;
PUBLISHED: 2025, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 393, PAGES: 849-861
AUTHORS: Laxmi Bhandari; Manuel José Fonseca; António Fernandes; Jorge Esparteiro Garcia ;
PUBLISHED: 2025, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 393, PAGES: 849-861
230
TITLE: Digital Justice in the EU: Integration of BPMN and AI into ODR Processes
AUTHORS: Ribeiro, Marta; Carneiro, Davide ; Lurdes Varregoso Mesquita ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PAGES: 258-269
AUTHORS: Ribeiro, Marta; Carneiro, Davide ; Lurdes Varregoso Mesquita ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PAGES: 258-269
231
TITLE: Digital platforms to support the flexibility value chain, run flexibility markets, and manage energy communities
AUTHORS: Luís Rodrigues ; Fábio Coelho; João Mello; José Villar ;
PUBLISHED: 2025, SOURCE: Current Sustainable/Renewable Energy Reports, VOLUME: 12, ISSUE: 1
AUTHORS: Luís Rodrigues ; Fábio Coelho; João Mello; José Villar ;
PUBLISHED: 2025, SOURCE: Current Sustainable/Renewable Energy Reports, VOLUME: 12, ISSUE: 1
232
TITLE: Discovering user groups of active modes of transport in urban centers using clustering methods
AUTHORS: Felicio, Soraia; Hora, Joana ; Ferreira, Marta Campos ; Sobral, Thiago; Camacho, Rui ; Galvao, Teresa;
PUBLISHED: 2025, SOURCE: JOURNAL OF TRANSPORT & HEALTH, VOLUME: 44, PAGES: 102125
AUTHORS: Felicio, Soraia; Hora, Joana ; Ferreira, Marta Campos ; Sobral, Thiago; Camacho, Rui ; Galvao, Teresa;
PUBLISHED: 2025, SOURCE: JOURNAL OF TRANSPORT & HEALTH, VOLUME: 44, PAGES: 102125
233
TITLE: Discriminant analysis for a folded Watson distribution Full Text
AUTHORS: Figueiredo, Adelaide ; Figueiredo, Fernanda ;
PUBLISHED: 2025, SOURCE: JOURNAL OF APPLIED STATISTICS, PAGES: 1-19
AUTHORS: Figueiredo, Adelaide ; Figueiredo, Fernanda ;
PUBLISHED: 2025, SOURCE: JOURNAL OF APPLIED STATISTICS, PAGES: 1-19
234
TITLE: Disentanglement and Assessment of Shortcuts in Ophthalmological Retinal Imaging Exams
AUTHORS: Leonor Fernandes; Tiago Gonçalves; João Matos; Luis Filipe Nakayama; Jaime S Cardoso ;
PUBLISHED: 2025, SOURCE: 3rd International Workshop on Fairness of AI in Medical Imaging, FAIMI 2025, held in Conjunction with International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025 in Fairness of AI in Medical Imaging - Third International Workshop, FAIMI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 15976, PAGES: 208-217
AUTHORS: Leonor Fernandes; Tiago Gonçalves; João Matos; Luis Filipe Nakayama; Jaime S Cardoso ;
PUBLISHED: 2025, SOURCE: 3rd International Workshop on Fairness of AI in Medical Imaging, FAIMI 2025, held in Conjunction with International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025 in Fairness of AI in Medical Imaging - Third International Workshop, FAIMI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 15976, PAGES: 208-217
235
TITLE: Dissipative pulses stabilized by nonlinear gradient terms: A review of their dynamics and their interaction Full Text
AUTHORS: Descalzi, Orazio; Facao, M.; Carvalho, M. I. ; Cartes, Carlos; Brand, Helmut R.;
PUBLISHED: 2025, SOURCE: PHYSICA D-NONLINEAR PHENOMENA, VOLUME: 473, PAGES: 134520
AUTHORS: Descalzi, Orazio; Facao, M.; Carvalho, M. I. ; Cartes, Carlos; Brand, Helmut R.;
PUBLISHED: 2025, SOURCE: PHYSICA D-NONLINEAR PHENOMENA, VOLUME: 473, PAGES: 134520
236
TITLE: Distance-based feature selection using Benford's law for malware detection
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus O.; Antunes, Mario ;
PUBLISHED: 2025, SOURCE: COMPUTERS & SECURITY, VOLUME: 158, PAGES: 104625
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus O.; Antunes, Mario ;
PUBLISHED: 2025, SOURCE: COMPUTERS & SECURITY, VOLUME: 158, PAGES: 104625
INDEXED IN: 
Scopus WOS DBLP
Scopus WOS DBLP237
TITLE: Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
INDEXED IN: WOS DBLP
WOS DBLP238
TITLE: Do We Need 3D to See? Impact of Dimensionality of the Virtual Environment on Attention
AUTHORS: Matos, Teresa; Mendes, Daniel ; Jacob, Joao; de Sousa, A. Augusto; Rodrigues, Rui;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 1216-1217
AUTHORS: Matos, Teresa; Mendes, Daniel ; Jacob, Joao; de Sousa, A. Augusto; Rodrigues, Rui;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 1216-1217
239
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
240
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
