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: 25071
1717 Team MembersFilters -> Year: 2026
1381
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
1382
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
1383
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
1384
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
DBLP1385
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
1386
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
1387
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
1388
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
1389
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
1390
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
1391
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
1392
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
Scopus1393
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 Unpaywall1394
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
1395
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
1396
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
1397
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
1398
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
1399
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 CrossRef1400
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
