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: 25159
1718 Team MembersFilters -> Year: 2026
1501
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
1502
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
DBLP1503
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
1504
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
1505
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
1506
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
1507
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
1508
TITLE: Stochastic Optimization of Industrial Hubs with Thermal Energy Storage and Reserves Provision
AUTHORS: Marques, Andre ; Coelho, Antnio ; Soares, Filipe ;
PUBLISHED: 2025, SOURCE: 2025 Kiel PowerTech Conference in 2025 IEEE KIEL POWERTECH, PAGES: 1-6
AUTHORS: Marques, Andre ; Coelho, Antnio ; Soares, Filipe ;
PUBLISHED: 2025, SOURCE: 2025 Kiel PowerTech Conference in 2025 IEEE KIEL POWERTECH, PAGES: 1-6
1509
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
1510
TITLE: Strategic Governance in Public Administration using Artificial Intelligence Approaches - A Proposal Using Open-source Virtual Assistants
AUTHORS: Jorge Ribeiro; Afonso Fernandes; Letícia Loureiro; Jorge Garcia ; Sara Paiva;
PUBLISHED: 2025, SOURCE: Atas Da Conferencia Da Associacao Portuguesa De Sistemas De Informacao
AUTHORS: Jorge Ribeiro; Afonso Fernandes; Letícia Loureiro; Jorge Garcia ; Sara Paiva;
PUBLISHED: 2025, SOURCE: Atas Da Conferencia Da Associacao Portuguesa De Sistemas De Informacao
INDEXED IN: 
Scopus
Scopus1511
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
1512
TITLE: Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study
AUTHORS: Fonseca, Pedro Luis; Lima, Bruno ; Faria, Joao Pascoal ;
PUBLISHED: 2025, SOURCE: 40th International Conference on Automated Software Engineering-ASE in 2025 40TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, PAGES: 3311-3321
AUTHORS: Fonseca, Pedro Luis; Lima, Bruno ; Faria, Joao Pascoal ;
PUBLISHED: 2025, SOURCE: 40th International Conference on Automated Software Engineering-ASE in 2025 40TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, PAGES: 3311-3321
1513
TITLE: Stress-Testing of Multimodal Models in Medical Image-Based Report Generation
AUTHORS: Carvalhido, Flavia; Cardoso, Henrique Lopes ; vitor cerqueira ;
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 ; vitor cerqueira ;
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
1514
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
1515
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
1516
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 CrossRef1517
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
1518
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
DBLP1519
TITLE: Studying the robustness of data imputation methodologies against adversarial attacks
AUTHORS: Mangussi, Arthur Dantas; Pereira, Ricardo Cardoso; Lorena, Ana Carolina; Santos, Miriam Seoane ; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: COMPUTERS & SECURITY, VOLUME: 157, PAGES: 104574
AUTHORS: Mangussi, Arthur Dantas; Pereira, Ricardo Cardoso; Lorena, Ana Carolina; Santos, Miriam Seoane ; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: COMPUTERS & SECURITY, VOLUME: 157, PAGES: 104574
1520
TITLE: Success Factors for Public Sector Information Systems Projects. Success Factors for Public Sector IS Projects
AUTHORS: Antero Gonçalves; João Varajão; Paulo Moura Oliveira ; Isabel C Moura;
PUBLISHED: 2025, SOURCE: Digit. Gov. Res. Pract., VOLUME: 6, ISSUE: 4, PAGES: 53:1-53:20
AUTHORS: Antero Gonçalves; João Varajão; Paulo Moura Oliveira ; Isabel C Moura;
PUBLISHED: 2025, SOURCE: Digit. Gov. Res. Pract., VOLUME: 6, ISSUE: 4, PAGES: 53:1-53:20
