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: 20377

1709 Team Members
Filters -> Year: 2025
821
TITLE: Simulating Degradation Costs in Li-ion Batteries Dispatch: Impacts on Planning and operational strategies
AUTHORS: João Carlos Agrela ; Abreu Tiago; Ricardo Silva; Tiago Soares; Clara Gouveia;
PUBLISHED: 2025
INDEXED IN: DataCite
822
TITLE: Simulating Ocean Futures: A Digital Twin Pilot for Environmental Scenarios
AUTHORS: Antonio, Vasilijevic; Bronner, Ute; Nepstad, Raymond; Oliveira, Marco Amaro ;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-6
INDEXED IN: Scopus WOS CrossRef Unpaywall
823
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
INDEXED IN: Scopus WOS CrossRef: 1 Unpaywall
824
TITLE: Sizing Distributed Energy Resources for Energy Communities
AUTHORS: Moran, John Penaloza ; Faria, A. Sergio ; Soares, Tiago ; Villar, Jose ; Pinto, Tiago; Petruzzi, Giulia Ester; Bovera, Filippo; Macedo, Leonardo H.;
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
825
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
INDEXED IN: Scopus CrossRef
826
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
827
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
828
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
829
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
INDEXED IN: Scopus DBLP CrossRef
830
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
831
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
832
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
833
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
INDEXED IN: Scopus WOS DBLP CrossRef DataCite Unpaywall
834
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
835
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: 3 Unpaywall
836
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
INDEXED IN: Scopus WOS DBLP CrossRef
837
TITLE: Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025 in CoRR, VOLUME: abs/2507.03659, PAGES: 261-278
INDEXED IN: Scopus DBLP CrossRef
838
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
839
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
840
TITLE: Speed Control of Switched Reluctance Motor with Torque Ripple Reduction Based on Super-Twisting Sliding Mode Control
AUTHORS: Zeineb Touati; Rui Esteves Araújo ;
PUBLISHED: 2025, SOURCE: 11th IFAC Symposium on Robust Control Design, ROCOND 2025 in IFAC-PapersOnLine, VOLUME: 59, ISSUE: 16, PAGES: 343-348
INDEXED IN: Scopus CrossRef Unpaywall

Results per Page: 20.
Page 42 of 1019. Total results: 20377.