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: 25045
1716 Team MembersFilters -> Year: 2026
1201
TITLE: Specification of paraconsistent transition systems, revisited Full Text
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103196
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103196
1202
TITLE: Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs Full Text
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 261-278
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS, PAGES: 261-278
1203
TITLE: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTHORS: Policarpo, Nuno; Santos, Jose Fragoso; Cunha, Alcino ; Leitao, Joao; Costa, Pedro Akos;
PUBLISHED: 2025, SOURCE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, PAGES: 63-73
AUTHORS: Policarpo, Nuno; Santos, Jose Fragoso; Cunha, Alcino ; Leitao, Joao; Costa, Pedro Akos;
PUBLISHED: 2025, SOURCE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, PAGES: 63-73
1204
TITLE: Spectral Manifold Harmonization for Graph Imbalanced Regression
AUTHORS: Brenda Nogueira; Gabe Gomes; Meng Jiang; Nitesh V Chawla; Nuno Moniz ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.01132
AUTHORS: Brenda Nogueira; Gabe Gomes; Meng Jiang; Nitesh V Chawla; Nuno Moniz ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.01132
INDEXED IN: 
DBLP
DBLP1205
TITLE: Speed Control of Switched Reluctance Motor with Torque Ripple Reduction Based on Super-Twisting Sliding Mode Control
AUTHORS: Touati, Z.; Araujo, R. E. ;
PUBLISHED: 2025, SOURCE: 11th IFAC Symposium on Robust Control Design (ROCOND) in IFAC PAPERSONLINE, VOLUME: 59, ISSUE: 16, PAGES: 343-348
AUTHORS: Touati, Z.; Araujo, R. E. ;
PUBLISHED: 2025, SOURCE: 11th IFAC Symposium on Robust Control Design (ROCOND) in IFAC PAPERSONLINE, VOLUME: 59, ISSUE: 16, PAGES: 343-348
1206
TITLE: Spray Quality Assessment on Water-Sensitive Paper Comparing AI and Classical Computer Vision Methods
AUTHORS: Simoes, Ines; Sousa, Armando Jorge ; Baltazar, Andre ; Santos, Filipe ;
PUBLISHED: 2025, SOURCE: AGRICULTURE-BASEL, VOLUME: 15, ISSUE: 3, PAGES: 261
AUTHORS: Simoes, Ines; Sousa, Armando Jorge ; Baltazar, Andre ; Santos, Filipe ;
PUBLISHED: 2025, SOURCE: AGRICULTURE-BASEL, VOLUME: 15, ISSUE: 3, PAGES: 261
1207
TITLE: Standing on a common ground: a comparison of static stability approaches for pallet loading Full Text
AUTHORS: Mazur, Philipp G.; Gamer, Frederick C.; Ramos, Antonio G. ; Schoder, Detlef;
PUBLISHED: 2025, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH
AUTHORS: Mazur, Philipp G.; Gamer, Frederick C.; Ramos, Antonio G. ; Schoder, Detlef;
PUBLISHED: 2025, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH
1208
TITLE: Static stability versus packing efficiency in online three-dimensional packing problems: A new approach and a computational study
AUTHORS: Ali, Sara ; Ramos, Antonio Galrao ; Oliveira, Jose Fernando ;
PUBLISHED: 2025, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 178, PAGES: 107005
AUTHORS: Ali, Sara ; Ramos, Antonio Galrao ; Oliveira, Jose Fernando ;
PUBLISHED: 2025, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 178, PAGES: 107005
1209
TITLE: STEERING INTO THE FUTURE: PUBLIC PERCEPTIONS AND ACCEPTANCE OF AUTONOMOUS BUSES
AUTHORS: Ejdys, Joanna; Gulc, Aleksandra; Budna, Klaudia; Esparteiro Garcia, Jorge ;
PUBLISHED: 2025, SOURCE: ECONOMICS AND ENVIRONMENT, VOLUME: 92, ISSUE: 1, PAGES: 1140
AUTHORS: Ejdys, Joanna; Gulc, Aleksandra; Budna, Klaudia; Esparteiro Garcia, Jorge ;
PUBLISHED: 2025, SOURCE: ECONOMICS AND ENVIRONMENT, VOLUME: 92, ISSUE: 1, PAGES: 1140
1210
TITLE: Stochastic Optimization of Industrial Hubs with Thermal Energy Storage and Reserves Provision
AUTHORS: André Marques ; António Coelho ; Filipe Soares ;
PUBLISHED: 2025, SOURCE: 2025 IEEE Kiel Powertech Powertech 2025, PAGES: 1-6
AUTHORS: André Marques ; António Coelho ; Filipe Soares ;
PUBLISHED: 2025, SOURCE: 2025 IEEE Kiel Powertech Powertech 2025, PAGES: 1-6
1211
TITLE: Strategic Alliances in NetLogo: A Flocking Algorithm with Reinforcement Learning
AUTHORS: Sónia Teixeira ; Sónia Teixeira; Pedro Campos; Pedro Campos; Sónia Teixeira; Sónia Teixeira; Pedro Campos; Pedro Campos;
PUBLISHED: 2025, SOURCE: Machine Learning Perspectives of Agent-Based Models, PAGES: 287-306
AUTHORS: Sónia Teixeira ; Sónia Teixeira; Pedro Campos; Pedro Campos; Sónia Teixeira; Sónia Teixeira; Pedro Campos; Pedro Campos;
PUBLISHED: 2025, SOURCE: Machine Learning Perspectives of Agent-Based Models, PAGES: 287-306
1212
TITLE: Strategies and Tools to Support Place-Belongingness in Smart Cities
AUTHORS: Hesam Mohseni; António Correia ; Johanna Silvennoinen; Tuomo Kujala; Tommi Kärkkäinen;
PUBLISHED: 2025, SOURCE: Computer-Human Interaction Research and Applications, PAGES: 425-434
AUTHORS: Hesam Mohseni; António Correia ; Johanna Silvennoinen; Tuomo Kujala; Tommi Kärkkäinen;
PUBLISHED: 2025, SOURCE: Computer-Human Interaction Research and Applications, PAGES: 425-434
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall1213
TITLE: Strategies for Fair Distribution of Collective Benefits in Renewable Energy Communities
AUTHORS: Cavalcante, Laura; Lucas, Alexandre ; Villar, Jose ; Martinez, Salvador Domenech;
PUBLISHED: 2025, SOURCE: 21st International Conference on the European Energy Market-EEM-Annual in 2025 21ST INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, PAGES: 1-6
AUTHORS: Cavalcante, Laura; Lucas, Alexandre ; Villar, Jose ; Martinez, Salvador Domenech;
PUBLISHED: 2025, SOURCE: 21st International Conference on the European Energy Market-EEM-Annual in 2025 21ST INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, PAGES: 1-6
1214
TITLE: Stress-Testing of Multimodal Models in Medical Image-Based Report Generation
AUTHORS: Carvalhido, Flavia; Cardoso, Henrique Lopes ; Cerqueira, Vitor ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 28, VOLUME: 39, ISSUE: 28, PAGES: 29251-29252
AUTHORS: Carvalhido, Flavia; Cardoso, Henrique Lopes ; Cerqueira, Vitor ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 28, VOLUME: 39, ISSUE: 28, PAGES: 29251-29252
1215
TITLE: Striking a balance: navigating the trade-offs between predictive accuracy and interpretability in machine learning models
AUTHORS: Arantes, Miguel; Gonzalez Manteiga, Wenceslao; Torres, Javier; Pinto, Alberto ;
PUBLISHED: 2025, SOURCE: ELECTRONIC RESEARCH ARCHIVE, VOLUME: 33, ISSUE: 4, PAGES: 2092-2117
AUTHORS: Arantes, Miguel; Gonzalez Manteiga, Wenceslao; Torres, Javier; Pinto, Alberto ;
PUBLISHED: 2025, SOURCE: ELECTRONIC RESEARCH ARCHIVE, VOLUME: 33, ISSUE: 4, PAGES: 2092-2117
1216
TITLE: Structuring Complex System for Digital Twin Development: A Systematic Scoping Review
AUTHORS: Ghanbarifard, Raziyeh; Almeida, Antonio H. ; Azevedo, Americo ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 162285-162303
AUTHORS: Ghanbarifard, Raziyeh; Almeida, Antonio H. ; Azevedo, Americo ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 162285-162303
1217
TITLE: Stuck! Stalling in Computer Games
AUTHORS: Pedro Cardoso; Miguel Carvalhais ;
PUBLISHED: 2025, SOURCE: Springer Series in Design and Innovation, VOLUME: 50, PAGES: 359-370
AUTHORS: Pedro Cardoso; Miguel Carvalhais ;
PUBLISHED: 2025, SOURCE: Springer Series in Design and Innovation, VOLUME: 50, PAGES: 359-370
INDEXED IN: 
Scopus CrossRef
Scopus CrossRef1218
TITLE: Study the Capacity of Deep Learning Techniques Information Generalization Using Capsule Endoscopic Images
AUTHORS: Macedo, Ema; Araujo, Helder; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: 27th International Conference on Pattern Recognition-ICPR-Annual in PATTERN RECOGNITION: ICPR 2024 INTERNATIONAL WORKSHOPS AND CHALLENGES, PT V, VOLUME: 15618, PAGES: 380-394
AUTHORS: Macedo, Ema; Araujo, Helder; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: 27th International Conference on Pattern Recognition-ICPR-Annual in PATTERN RECOGNITION: ICPR 2024 INTERNATIONAL WORKSHOPS AND CHALLENGES, PT V, VOLUME: 15618, PAGES: 380-394
1219
TITLE: Studying and Improving Graph Neural Network-based Motif Estimation
AUTHORS: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.15709
AUTHORS: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.15709
INDEXED IN: DBLP
DBLP1220
TITLE: Subgroup Discovery Using Model Uncertainty: A Feasibility Study
AUTHORS: Ana Cravidão Pereira; Duarte Folgado; Marília Barandas; Carlos Soares ; André V Carreiro;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 505-517
AUTHORS: Ana Cravidão Pereira; Duarte Folgado; Marília Barandas; Carlos Soares ; André V Carreiro;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 505-517
