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: 19970
1706 Team MembersFilters -> Year: 2025
601
TITLE: Short-Range Energy-Aware Optical Wireless Communications Module for Ns-3
AUTHORS: Tiago Ribeiro ; Sérgio Silva; João Pedro Loureiro ; Eduardo Nuno Almeida ; Nuno T Almeida; Helder Fontes ;
PUBLISHED: 2025, SOURCE: 2025 Joint European Conference on Networks and Communications and 6G Summit, EuCNC/6G Summit 2025 in Joint European Conference on Networks and Communications & 6G Summit, EuCNC/6G Summit 2025, Poznan, Poland, June 3-6, 2025, PAGES: 846-851
AUTHORS: Tiago Ribeiro ; Sérgio Silva; João Pedro Loureiro ; Eduardo Nuno Almeida ; Nuno T Almeida; Helder Fontes ;
PUBLISHED: 2025, SOURCE: 2025 Joint European Conference on Networks and Communications and 6G Summit, EuCNC/6G Summit 2025 in Joint European Conference on Networks and Communications & 6G Summit, EuCNC/6G Summit 2025, Poznan, Poland, June 3-6, 2025, PAGES: 846-851
602
TITLE: SiameseOrdinalCLIP: A Language-Guided Siamese Network for the Aesthetic Evaluation of Breast Cancer Locoregional Treatment
AUTHORS: Luís F Teixeira; Helena Montenegro; Eduard Bonci; Maria João Cardoso; Jaime S Cardoso ;
PUBLISHED: 2025, SOURCE: Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care - Second Deep Breast Workshop, Deep-Breath 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 16142, PAGES: 176-185
AUTHORS: Luís F Teixeira; Helena Montenegro; Eduard Bonci; Maria João Cardoso; Jaime S Cardoso ;
PUBLISHED: 2025, SOURCE: Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care - Second Deep Breast Workshop, Deep-Breath 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 16142, PAGES: 176-185
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef603
TITLE: Silicon Carbide Converter Design: A Review Full Text
AUTHORS: Asif Rasul; Rita Teixeira; José Baptista ;
PUBLISHED: 2025, SOURCE: Energies, VOLUME: 18, ISSUE: 8, PAGES: 2140
AUTHORS: Asif Rasul; Rita Teixeira; José Baptista ;
PUBLISHED: 2025, SOURCE: Energies, VOLUME: 18, ISSUE: 8, PAGES: 2140
604
TITLE: SIMD Acceleration of Matrix-Vector Operations on RISC-V for Variable Precision Neural Networks
AUTHORS: Gonzalo Salinas; Guilherme Sequeira; Alfonso Rodríguez; João Bispo; Nuno Paulino ;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2025 - Workshops, Milano, Italy, June 3-7, 2025, PAGES: 1140-1147
AUTHORS: Gonzalo Salinas; Guilherme Sequeira; Alfonso Rodríguez; João Bispo; Nuno Paulino ;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2025 - Workshops, Milano, Italy, June 3-7, 2025, PAGES: 1140-1147
INDEXED IN: DBLP
DBLP605
TITLE: Simulator and on-road testing of truck platooning: a systematic review Full Text
AUTHORS: Botelho, Telmo Costa; Duarte, Sergio Pedro; Ferreira, Marta Campos ; Ferreira, Sara ; Lobo, Antonio;
PUBLISHED: 2025, SOURCE: EUROPEAN TRANSPORT RESEARCH REVIEW, VOLUME: 17, ISSUE: 1
AUTHORS: Botelho, Telmo Costa; Duarte, Sergio Pedro; Ferreira, Marta Campos ; Ferreira, Sara ; Lobo, Antonio;
PUBLISHED: 2025, SOURCE: EUROPEAN TRANSPORT RESEARCH REVIEW, VOLUME: 17, ISSUE: 1
606
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
607
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 CrossRef608
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
609
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
610
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
611
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
612
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 CrossRef613
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
CrossRef614
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
615
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
616
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
617
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
618
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
619
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
DBLP620
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
