Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 24967

1716 Team Members
Filters -> Year: 2026
1241
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, P; 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
INDEXED IN: Scopus WOS CrossRef
1242
TITLE: Smart Matter-Enabled Air Vents for Trombe Wall Automation and Control  Full Text
AUTHORS: Conceicao, Gabriel; Coelho, Tiago; Mota, Afonso; Briga Sa, Ana ; Valente, Antonio ;
PUBLISHED: 2025, SOURCE: ELECTRONICS, VOLUME: 14, ISSUE: 18, PAGES: 3741
INDEXED IN: WOS CrossRef
1243
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
1244
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 Velhote Correia ;
PUBLISHED: 2025, SOURCE: MeMeA, ISSUE: 2025, PAGES: 1-6
INDEXED IN: Scopus DBLP CrossRef
1245
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
INDEXED IN: Scopus WOS DBLP CrossRef
1246
TITLE: Social Support and Well-Being: The Survival Kit for the Work Jungle
AUTHORS: Oliveira, Mariana; Palma Moreira, Ana; Au Yong Oliveira, Manuel ;
PUBLISHED: 2025, SOURCE: SOCIAL SCIENCES-BASEL, VOLUME: 14, ISSUE: 5, PAGES: 317
INDEXED IN: Scopus WOS CrossRef
1247
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, PAGES: 169-184
INDEXED IN: CrossRef Unpaywall
1248
TITLE: Software Testing Education and Industry Needs - Report from the ENACTEST EU Project
AUTHORS: Mehrdad Saadatmand; Abbas Khan; Beatriz Marín; Ana C R Paiva ; Nele Van Asch; Graham Moran; Felix Cammaerts; Monique Snoeck; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025 in PROFES (Workshop), VOLUME: 16362 LNCS, PAGES: 53-68
INDEXED IN: Scopus DBLP CrossRef
1249
TITLE: Software Testing Education and Industry Needs - Report from the ENACTEST EU Project
AUTHORS: Mehrdad Saadatmand; Abbas Khan; Beatriz Marín; Ana C R Paiva; Nele Van Asch; Graham Moran; Felix Cammaerts; Monique Snoeck; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.14625
INDEXED IN: DBLP
1250
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
INDEXED IN: Scopus WOS
1251
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
1252
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
INDEXED IN: Scopus WOS CrossRef
1253
TITLE: Sonar-Based Deep Learning in Underwater Robotics: Overview, Robustness, and Challenges PDF
AUTHORS: Aubard, Martin; Madureira, Ana ; Teixeira, Luis ; Pinto, Jose;
PUBLISHED: 2025, SOURCE: IEEE JOURNAL OF OCEANIC ENGINEERING, VOLUME: 50, ISSUE: 3, PAGES: 1866-1884
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 22 DataCite Unpaywall
1254
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
INDEXED IN: Scopus CrossRef Unpaywall
1255
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
INDEXED IN: DBLP
1256
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
INDEXED IN: Scopus WOS CrossRef: 27 Unpaywall
1257
TITLE: Specification of paraconsistent transition systems, revisited
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103196
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1258
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
INDEXED IN: Scopus DBLP CrossRef: 1
1259
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
INDEXED IN: Scopus WOS DBLP CrossRef
1260
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
INDEXED IN: DBLP

Results per Page: 20.
Page 63 of 1249. Total results: 24967.