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: 24904
1714 Team MembersFilters -> Year: 2026
1121
TITLE: Solar energy generation in three dimensions: The hexagonal pyramid Full Text
AUTHORS: Andrade, Barbara Pisoni Bender ; Andrade, Antonio Carlos Bender; Lacerda, Daniel Pacheco; Piran, Fabio Antonio Sartori;
PUBLISHED: 2025, SOURCE: SOLAR ENERGY, VOLUME: 292
AUTHORS: Andrade, Barbara Pisoni Bender ; Andrade, Antonio Carlos Bender; Lacerda, Daniel Pacheco; Piran, Fabio Antonio Sartori;
PUBLISHED: 2025, SOURCE: SOLAR ENERGY, VOLUME: 292
INDEXED IN: 
Scopus 
WOS
Scopus WOS1122
TITLE: Solving Logistical Challenges in Raw Material Reception: An Optimization and Heuristic Approach Combining Revenue Management Principles with Scheduling Techniques Full Text
AUTHORS: Gomes, Reinaldo ; Silva, Ruxanda Godina; Amorim, Pedro ;
PUBLISHED: 2025, SOURCE: MATHEMATICS, VOLUME: 13, ISSUE: 6, PAGES: 919
AUTHORS: Gomes, Reinaldo ; Silva, Ruxanda Godina; Amorim, Pedro ;
PUBLISHED: 2025, SOURCE: MATHEMATICS, VOLUME: 13, ISSUE: 6, PAGES: 919
1123
TITLE: Somatic Indicators on the Visceral, Behavioral and Reflective Dimensions of Emotional Design
AUTHORS: Alves, Tiago; Giesteira, Bruno ;
PUBLISHED: 2025, SOURCE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PAGES: 512-525
AUTHORS: Alves, Tiago; Giesteira, Bruno ;
PUBLISHED: 2025, SOURCE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PAGES: 512-525
1124
TITLE: Sonar-Based Deep Learning in Underwater Robotics: Overview, Robustness, and Challenges PDF Full Text
AUTHORS: Aubard, Martin; Madureira, Ana; Teixeira, Luis ; Pinto, Jose;
PUBLISHED: 2025, SOURCE: IEEE JOURNAL OF OCEANIC ENGINEERING, VOLUME: 50, ISSUE: 3, PAGES: 1866-1884
AUTHORS: Aubard, Martin; Madureira, Ana; Teixeira, Luis ; Pinto, Jose;
PUBLISHED: 2025, SOURCE: IEEE JOURNAL OF OCEANIC ENGINEERING, VOLUME: 50, ISSUE: 3, PAGES: 1866-1884
1125
TITLE: Sound Design for Electric Vehicles: Enhancing Safety and User Experience Through Acoustic Vehicle Alerting System (AVAS)
AUTHORS: Ana Raquel Rodrigues Ferraz Esteves; Eduardo Miguel Campos Magalhães; Gilberto Bernardes De Almeida ;
PUBLISHED: 2025, SOURCE: 2025 SAE Noise and Vibration Conference and Exhibition, NVC 2025 in SAE Technical Papers, VOLUME: 1
AUTHORS: Ana Raquel Rodrigues Ferraz Esteves; Eduardo Miguel Campos Magalhães; Gilberto Bernardes De Almeida ;
PUBLISHED: 2025, SOURCE: 2025 SAE Noise and Vibration Conference and Exhibition, NVC 2025 in SAE Technical Papers, VOLUME: 1
1126
TITLE: SPATA: Systematic Pattern Analysis for Detailed and Transparent Data Cards
AUTHORS: João Vitorino; Eva Maia; Isabel Praça; Carlos Soares ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2509.26640
AUTHORS: João Vitorino; Eva Maia; Isabel Praça; Carlos Soares ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2509.26640
INDEXED IN: 
DBLP
DBLP1127
TITLE: Spatio-Temporal Predictive Modeling Techniques for Different Domains: a Survey
AUTHORS: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2
AUTHORS: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2
1128
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
1129
TITLE: Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.03659, PAGES: 261-278
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.03659, PAGES: 261-278
1130
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
1131
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
DBLP1132
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
1133
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
1134
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
1135
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
1136
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
1137
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
1138
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 Unpaywall1139
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
1140
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
