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: 20055
1706 Team MembersFilters -> Year: 2025
661
TITLE: Sizing Distributed Energy Resources for Energy Communities
AUTHORS: John Penaloza Moran; Sergio S Faria ; Tiago Soares ; Jose Villar ; Tiago Pinto; Giulia Ester Petruzzi; Filippo Bovera; Leonardo H Macedo;
PUBLISHED: 2025, SOURCE: International Conference on the European Energy Market Eem, PAGES: 1-6
AUTHORS: John Penaloza Moran; Sergio S Faria ; Tiago Soares ; Jose Villar ; Tiago Pinto; Giulia Ester Petruzzi; Filippo Bovera; Leonardo H Macedo;
PUBLISHED: 2025, SOURCE: International Conference on the European Energy Market Eem, PAGES: 1-6
662
TITLE: Smart Environments Based on Peer-to-Peer oneM2M IoT Standard: Preliminary Results
AUTHORS: Nuno Alexandre Ribeiro Costa; João Manuel Pereira Barroso ; Antonio Manuel Pereira;
PUBLISHED: 2025, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PAGES: 233-238
AUTHORS: Nuno Alexandre Ribeiro Costa; João Manuel Pereira Barroso ; Antonio Manuel Pereira;
PUBLISHED: 2025, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PAGES: 233-238
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef663
TITLE: Smart Hygrothermal Ventilation, an Energy-Efficient Solution for Controlling Relative Humidity in Historical Constructions: A Case Study
AUTHORS: Palley, Bruno ; de Freitas, Vasco Peixoto; Abreu, Paulo; Restivo, Maria Teresa; Freitas, Teresa Stingl;
PUBLISHED: 2025, SOURCE: 5th International Conference on Protection of Historical Constructions-PROHITECH in PROTECTION OF HISTORICAL CONSTRUCTIONS, PROHITECH 2025, VOL 1, VOLUME: 595, PAGES: 359-366
AUTHORS: Palley, Bruno ; de Freitas, Vasco Peixoto; Abreu, Paulo; Restivo, Maria Teresa; Freitas, Teresa Stingl;
PUBLISHED: 2025, SOURCE: 5th International Conference on Protection of Historical Constructions-PROHITECH in PROTECTION OF HISTORICAL CONSTRUCTIONS, PROHITECH 2025, VOL 1, VOLUME: 595, PAGES: 359-366
664
TITLE: Smart Pill Dispenser for Children - An EPS@ISEP 2024 Project
AUTHORS: Ehrenhofer, Lena; Borowski, Lukasz; Oliveira, Noe; Steyaert, Stijn; Kronshagen, Tamara; Clauwaert, Tibo; Duarte, Abel J.; Malheiro, Benedita ; Ribeiro, Cristina; Justo, Jorge ; Silva, Manuel F.; Ferreira, Paulo; Guedes, Pedro ;
PUBLISHED: 2025, SOURCE: 27th International Conference on Interactive Collaborative Learning-ICL in FUTUREPROOFING ENGINEERING EDUCATION FOR GLOBAL RESPONSIBILITY, ICL2024, VOL 3, VOLUME: 1280, PAGES: 407-417
AUTHORS: Ehrenhofer, Lena; Borowski, Lukasz; Oliveira, Noe; Steyaert, Stijn; Kronshagen, Tamara; Clauwaert, Tibo; Duarte, Abel J.; Malheiro, Benedita ; Ribeiro, Cristina; Justo, Jorge ; Silva, Manuel F.; Ferreira, Paulo; Guedes, Pedro ;
PUBLISHED: 2025, SOURCE: 27th International Conference on Interactive Collaborative Learning-ICL in FUTUREPROOFING ENGINEERING EDUCATION FOR GLOBAL RESPONSIBILITY, ICL2024, VOL 3, VOLUME: 1280, PAGES: 407-417
665
TITLE: Smart Vest for Physical Education (SV4PE): Physical Assessment Metrics via IMU and ECG
AUTHORS: Luis Ruano Argueta; Rafael Castro Aguiar; Sandro Oliveira; Manoela Sousa; Diogo Carvalho; Miguel V Correia ;
PUBLISHED: 2025, SOURCE: IEEE International Symposium on Medical Measurements and Applications, MeMeA 2025, Chania, Greece, May 28-30, 2025, ISSUE: 2025, PAGES: 1-6
AUTHORS: Luis Ruano Argueta; Rafael Castro Aguiar; Sandro Oliveira; Manoela Sousa; Diogo Carvalho; Miguel V Correia ;
PUBLISHED: 2025, SOURCE: IEEE International Symposium on Medical Measurements and Applications, MeMeA 2025, Chania, Greece, May 28-30, 2025, ISSUE: 2025, PAGES: 1-6
666
TITLE: Social Compliance With NPIs, Mobility Patterns, and Reproduction Number: Lessons From COVID-19 in Europe
AUTHORS: Baccega, Daniele; Aguilar, Jose; Baquero, Carlos ; Fernandez Anta, Antonio; Marcos Ramirez, Juan;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 134357-134375
AUTHORS: Baccega, Daniele; Aguilar, Jose; Baquero, Carlos ; Fernandez Anta, Antonio; Marcos Ramirez, Juan;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 134357-134375
667
TITLE: Social Compliance With NPIs, Mobility Patterns, and Reproduction Number: Lessons From COVID-19 in Europe
AUTHORS: Daniele Baccega; José Aguilar; Carlos Baquero ; Antonio Fernández Anta; Juan Marcos Ramirez;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 134357-134375
AUTHORS: Daniele Baccega; José Aguilar; Carlos Baquero ; Antonio Fernández Anta; Juan Marcos Ramirez;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 134357-134375
INDEXED IN: 
DBLP CrossRef
DBLP CrossRef668
TITLE: Socio-Technical AI Maturity in Supply Chains: Insights from the Pulp and Paper Sector
AUTHORS: Fernanda Freitas; Ricardo Zimmermann; Gaudencio Freires; Couto, Fábio ; Cristiano Fontes; António Lucas Soares ; Gustavo Dalmarco; Donna Rhodes; Jorão Gomes;
PUBLISHED: 2025, SOURCE: IFIP Advances in Information and Communication Technology - Hybrid Human-AI Collaborative Networks, PAGES: 169-184
AUTHORS: Fernanda Freitas; Ricardo Zimmermann; Gaudencio Freires; Couto, Fábio ; Cristiano Fontes; António Lucas Soares ; Gustavo Dalmarco; Donna Rhodes; Jorão Gomes;
PUBLISHED: 2025, SOURCE: IFIP Advances in Information and Communication Technology - Hybrid Human-AI Collaborative Networks, PAGES: 169-184
INDEXED IN: CrossRef
CrossRef669
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
670
TITLE: Sonar-Based Deep Learning in Underwater Robotics: Overview, Robustness, and Challenges Full Text
AUTHORS: Aubard, M; Madureira, A; Teixeira, L ; Pinto, J;
PUBLISHED: 2025, SOURCE: IEEE JOURNAL OF OCEANIC ENGINEERING, VOLUME: 50, ISSUE: 3, PAGES: 1866-1884
AUTHORS: Aubard, M; Madureira, A; Teixeira, L ; Pinto, J;
PUBLISHED: 2025, SOURCE: IEEE JOURNAL OF OCEANIC ENGINEERING, VOLUME: 50, ISSUE: 3, PAGES: 1866-1884
671
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
672
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
673
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
674
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
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.03659
INDEXED IN: DBLP
DBLP675
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
676
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
677
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
678
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
679
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
680
TITLE: Strategies for Fair Distribution of Collective Benefits in Renewable Energy Communities
AUTHORS: Laura Cavalcante; Alexandre Lucas ; Jose Villar ; Salvador Domenech Martinez;
PUBLISHED: 2025, SOURCE: International Conference on the European Energy Market Eem, PAGES: 1-6
AUTHORS: Laura Cavalcante; Alexandre Lucas ; Jose Villar ; Salvador Domenech Martinez;
PUBLISHED: 2025, SOURCE: International Conference on the European Energy Market Eem, PAGES: 1-6
