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: 24812
1714 Team MembersFilters -> Year: 2026
21
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
22
TITLE: Automated privacy-preserving techniques via meta-learning
AUTHORS: Carvalho, Tania; Moniz, Nuno ; Antunes, Luis ;
PUBLISHED: 2026, SOURCE: INFORMATION FUSION, VOLUME: 127, PAGES: 103893
AUTHORS: Carvalho, Tania; Moniz, Nuno ; Antunes, Luis ;
PUBLISHED: 2026, SOURCE: INFORMATION FUSION, VOLUME: 127, PAGES: 103893
23
TITLE: Building of transformer-based RUL predictors supported by explainability techniques: Application on real industrial datasets
AUTHORS: Dinten, Ricardo; Zorrilla, Marta; Veloso, Bruno ; Gama, Joao ;
PUBLISHED: 2026, SOURCE: INFORMATION FUSION, VOLUME: 127, PAGES: 103892
AUTHORS: Dinten, Ricardo; Zorrilla, Marta; Veloso, Bruno ; Gama, Joao ;
PUBLISHED: 2026, SOURCE: INFORMATION FUSION, VOLUME: 127, PAGES: 103892
24
TITLE: Comparing and extending satisfiability solution methods for the resource-constrained project scheduling problem
AUTHORS: Coelho, Jose ; Vanhoucke, Mario;
PUBLISHED: 2026, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 186, PAGES: 107308
AUTHORS: Coelho, Jose ; Vanhoucke, Mario;
PUBLISHED: 2026, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 186, PAGES: 107308
25
TITLE: Content validation and testing of a gamified web tool for nursing supervision
AUTHORS: Silva, Raquel; Camelo, Rafael; Pinto, Cristina; Campos, Maria Joana; Ferreira, Marta Campos ; Fernandes, Carla Silvia;
PUBLISHED: 2026, SOURCE: JOURNAL OF RESEARCH IN NURSING
AUTHORS: Silva, Raquel; Camelo, Rafael; Pinto, Cristina; Campos, Maria Joana; Ferreira, Marta Campos ; Fernandes, Carla Silvia;
PUBLISHED: 2026, SOURCE: JOURNAL OF RESEARCH IN NURSING
26
TITLE: Crisis or Redemption with AI and Robotics? The Dawn of a New Era. Proceedings of the ICRES 2025 Conference
AUTHORS: Manuel F Silva ; Mohammad Osman Tokhi; Maria Isabel A Ferreira; Benedita Malheiro; Pedro Guedes ; Paulo Ferreira; Maria Teresa Costa;
PUBLISHED: 2026, SOURCE: Lecture Notes in Networks and Systems
AUTHORS: Manuel F Silva ; Mohammad Osman Tokhi; Maria Isabel A Ferreira; Benedita Malheiro; Pedro Guedes ; Paulo Ferreira; Maria Teresa Costa;
PUBLISHED: 2026, SOURCE: Lecture Notes in Networks and Systems
INDEXED IN: 
CrossRef
CrossRef27
TITLE: Cross-Lingual Information Retrieval in Tetun for Ad-Hoc Search
AUTHORS: Altedio Araújo; Gabriel de Jesus ; Sérgio Nunes ;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16122 LNAI, PAGES: 262-275
AUTHORS: Altedio Araújo; Gabriel de Jesus ; Sérgio Nunes ;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16122 LNAI, PAGES: 262-275
28
TITLE: Data Spaces as Enablers of Digital Twin Ecosystems: Challenges and Requirements
AUTHORS: Chaves, Ana Carolina ; Alonso, Ana Nunes ; Soares, Antonio Lucas ;
PUBLISHED: 2026, SOURCE: 44th International Conference on Advances in Production Management Systems-APMS-Annual in ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS. CYBER-PHYSICAL-HUMAN PRODUCTION SYSTEMS: HUMAN-AI COLLABORATION AND BEYOND, APMS 2025, PT V, VOLUME: 768, PAGES: 340-354
AUTHORS: Chaves, Ana Carolina ; Alonso, Ana Nunes ; Soares, Antonio Lucas ;
PUBLISHED: 2026, SOURCE: 44th International Conference on Advances in Production Management Systems-APMS-Annual in ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS. CYBER-PHYSICAL-HUMAN PRODUCTION SYSTEMS: HUMAN-AI COLLABORATION AND BEYOND, APMS 2025, PT V, VOLUME: 768, PAGES: 340-354
29
TITLE: Deciphering the Silent Signals: Unveiling Frequency Importance for Wi-Fi-Based Human Pose Estimation with Explainability
AUTHORS: Capozzi, Leonardo ; Ferreira, Leonardo; Goncalves, Tiago ; Rebelo, Ana; Cardoso, Jaime S. ; Sequeira, Ana F. ;
PUBLISHED: 2026, SOURCE: 12th Iberian Conference on Pattern Recognition and Image Analysis-IbPRIA in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2025, PT II, VOLUME: 15938, PAGES: 285-296
AUTHORS: Capozzi, Leonardo ; Ferreira, Leonardo; Goncalves, Tiago ; Rebelo, Ana; Cardoso, Jaime S. ; Sequeira, Ana F. ;
PUBLISHED: 2026, SOURCE: 12th Iberian Conference on Pattern Recognition and Image Analysis-IbPRIA in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2025, PT II, VOLUME: 15938, PAGES: 285-296
30
TITLE: Deep Learning-Based Acoustic Event Detection and Classification Using Cochleogram Images
AUTHORS: Vahid Hajihashemi; Marta Campos Ferreira ; José J M Machado; João Manuel R. S. Tavares;
PUBLISHED: 2026, SOURCE: Lecture Notes in Networks and Systems - Proceedings of 20th Iberian Conference on Information Systems and Technologies (CISTI 2025), PAGES: 95-107
AUTHORS: Vahid Hajihashemi; Marta Campos Ferreira ; José J M Machado; João Manuel R. S. Tavares;
PUBLISHED: 2026, SOURCE: Lecture Notes in Networks and Systems - Proceedings of 20th Iberian Conference on Information Systems and Technologies (CISTI 2025), PAGES: 95-107
INDEXED IN: CrossRef
CrossRef31
TITLE: Economic benchmarking of assisted pollination methods for kiwifruit flowers: Assessment of cost-effectiveness of robotic solution Full Text
AUTHORS: Isabel Pinheiro ; Pedro Moura ; Leandro Rodrigues ; Abílio Pereira Pacheco; Jorge Grenha Teixeira ; António G Valente; Mário Cunha ; Filipe Neves Neves Dos Santos ;
PUBLISHED: 2026, SOURCE: Agricultural Systems, VOLUME: 231, PAGES: 104541
AUTHORS: Isabel Pinheiro ; Pedro Moura ; Leandro Rodrigues ; Abílio Pereira Pacheco; Jorge Grenha Teixeira ; António G Valente; Mário Cunha ; Filipe Neves Neves Dos Santos ;
PUBLISHED: 2026, SOURCE: Agricultural Systems, VOLUME: 231, PAGES: 104541
32
TITLE: Engineering Methods for HCI and UX in AI-Driven Systems
AUTHORS: Spano, Lucio Davide; Palanque, Philippe; Martinie, Celia; Campos, Jose Creissac ; Schmidt, Albrecht; Barricelli, Barbara Rita; ElAgroudy, Passant; Luyten, Kris;
PUBLISHED: 2026, SOURCE: 20th International Conference on Human-Computer Interaction-INTERACT-Annual in HUMAN-COMPUTER INTERACTION - INTERACT 2025, PT IV, VOLUME: 16111, PAGES: 351-357
AUTHORS: Spano, Lucio Davide; Palanque, Philippe; Martinie, Celia; Campos, Jose Creissac ; Schmidt, Albrecht; Barricelli, Barbara Rita; ElAgroudy, Passant; Luyten, Kris;
PUBLISHED: 2026, SOURCE: 20th International Conference on Human-Computer Interaction-INTERACT-Annual in HUMAN-COMPUTER INTERACTION - INTERACT 2025, PT IV, VOLUME: 16111, PAGES: 351-357
33
TITLE: Enhancing IoMT Security by Using Benford's Law and Distance Functions
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus O.; Antunes, Mario ;
PUBLISHED: 2026, SOURCE: 12th Iberian Conference on Pattern Recognition and Image Analysis-IbPRIA in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2025, PT I, VOLUME: 15937, PAGES: 54-67
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus O.; Antunes, Mario ;
PUBLISHED: 2026, SOURCE: 12th Iberian Conference on Pattern Recognition and Image Analysis-IbPRIA in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2025, PT I, VOLUME: 15937, PAGES: 54-67
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP34
TITLE: Enhancing Knowledge Access in Online Health Communities: A Chatbot Prototype for Cannabis Treatment Support
AUTHORS: Alice Rangel Teixeira; Carla Teixeira Lopes ;
PUBLISHED: 2026, SOURCE: 13th World Conference on Information Systems and Technologies, WorldCIST 2025 in Lecture Notes in Networks and Systems, VOLUME: 1582 LNNS, PAGES: 127-139
AUTHORS: Alice Rangel Teixeira; Carla Teixeira Lopes ;
PUBLISHED: 2026, SOURCE: 13th World Conference on Information Systems and Technologies, WorldCIST 2025 in Lecture Notes in Networks and Systems, VOLUME: 1582 LNNS, PAGES: 127-139
35
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
36
TITLE: Enhancing Medical Image Analysis: A Pipeline Combining Synthetic Image Generation and Super-Resolution
AUTHORS: Sousa, Pedro; Campai, Diogo; Andrade, Joao; Pereira, Pedro; Goncalves, Tiago ; Teixeira, Luis F. ; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2026, SOURCE: 12th Iberian Conference on Pattern Recognition and Image Analysis-IbPRIA in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2025, PT II, VOLUME: 15938, PAGES: 122-133
AUTHORS: Sousa, Pedro; Campai, Diogo; Andrade, Joao; Pereira, Pedro; Goncalves, Tiago ; Teixeira, Luis F. ; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2026, SOURCE: 12th Iberian Conference on Pattern Recognition and Image Analysis-IbPRIA in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2025, PT II, VOLUME: 15938, PAGES: 122-133
37
TITLE: Evidence-Based Activism and Knowledge Co-production: A Case Study of Online Communities on Therapeutic Cannabis
AUTHORS: Alice Rangel Teixeira; Carla Teixeira Lopes ;
PUBLISHED: 2026, SOURCE: Lecture Notes in Networks and Systems, VOLUME: 1514 LNNS, PAGES: 349-360
AUTHORS: Alice Rangel Teixeira; Carla Teixeira Lopes ;
PUBLISHED: 2026, SOURCE: Lecture Notes in Networks and Systems, VOLUME: 1514 LNNS, PAGES: 349-360
38
TITLE: Evolving power system operator rules for real-time congestion management
AUTHORS: Moaidi, Ferinar ; Bessa, Ricardo J. ;
PUBLISHED: 2026, SOURCE: ENERGY AND AI, VOLUME: 23, PAGES: 100672
AUTHORS: Moaidi, Ferinar ; Bessa, Ricardo J. ;
PUBLISHED: 2026, SOURCE: ENERGY AND AI, VOLUME: 23, PAGES: 100672
39
TITLE: Exploring the Effectiveness of Social Marketing on Blood Donation Engagement in Portugal
AUTHORS: Manuel José Serra da Fonseca; Sara Vieira Lopes; Jorge Esparteiro Garcia ; José Gabriel Andrade; Bruno Barbosa Sousa;
PUBLISHED: 2026, SOURCE: Lecture Notes in Networks and Systems, VOLUME: 1524 LNNS, PAGES: 435-444
AUTHORS: Manuel José Serra da Fonseca; Sara Vieira Lopes; Jorge Esparteiro Garcia ; José Gabriel Andrade; Bruno Barbosa Sousa;
PUBLISHED: 2026, SOURCE: Lecture Notes in Networks and Systems, VOLUME: 1524 LNNS, PAGES: 435-444
INDEXED IN: Scopus CrossRef
Scopus CrossRef40
TITLE: Flexibility optimization from distributed storage resources under stochastic uncertainties
AUTHORS: Pinheiro, Lilian Venturi; De Barros, Thiago Ribeiro; De Oliveira, Leonardo Willer; Oliveira, Janaina G.; Soares, Tiago Andre ; Dias, Bruno Henriques;
PUBLISHED: 2026, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 254, PAGES: 112674
AUTHORS: Pinheiro, Lilian Venturi; De Barros, Thiago Ribeiro; De Oliveira, Leonardo Willer; Oliveira, Janaina G.; Soares, Tiago Andre ; Dias, Bruno Henriques;
PUBLISHED: 2026, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 254, PAGES: 112674
