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: 19958
1706 Team MembersFilters -> Year: 2025
601
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
602
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
603
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
604
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
605
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
DBLP606
TITLE: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTHORS: Nuno Policarpo; José Fragoso Santos; Alcino Cunha ; João Leitão; Pedro Ákos Costa;
PUBLISHED: 2025, SOURCE: 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2025 in 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025, PAGES: 63-73
AUTHORS: Nuno Policarpo; José Fragoso Santos; Alcino Cunha ; João Leitão; Pedro Ákos Costa;
PUBLISHED: 2025, SOURCE: 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2025 in 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025, PAGES: 63-73
607
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
608
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
609
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
610
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
611
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
612
TITLE: Structuring Complex System for Digital Twin Development: A Systematic Scoping Review
AUTHORS: Raziyeh Ghanbarifard; António Henrique Almeida ; Americo Lopes Azevedo ;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 162285-162303
AUTHORS: Raziyeh Ghanbarifard; António Henrique Almeida ; Americo Lopes Azevedo ;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 162285-162303
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef613
TITLE: Studying and Improving Graph Neural Network-based Motif Estimation
AUTHORS: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.15709
AUTHORS: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.15709
INDEXED IN: DBLP
DBLP614
TITLE: Success Factors for Public Sector Information Systems Projects. Success Factors for Public Sector IS Projects
AUTHORS: Antero Gonçalves; João Varajão; Paulo Moura Oliveira ; Isabel Moura;
PUBLISHED: 2025, SOURCE: Digital Government Research and Practice
AUTHORS: Antero Gonçalves; João Varajão; Paulo Moura Oliveira ; Isabel Moura;
PUBLISHED: 2025, SOURCE: Digital Government Research and Practice
INDEXED IN: CrossRef 
Unpaywall
CrossRef Unpaywall615
TITLE: Survey about Teachers' Perspective on Software Testing Education
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLISHED: 2025
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLISHED: 2025
INDEXED IN: DBLP
DBLP616
TITLE: Survey on machine learning applied to CNC milling processes
AUTHORS: Pasandidehpoor, Mohammad; Nogueira, Ana Rita; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLISHED: 2025, SOURCE: ADVANCES IN MANUFACTURING
AUTHORS: Pasandidehpoor, Mohammad; Nogueira, Ana Rita; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLISHED: 2025, SOURCE: ADVANCES IN MANUFACTURING
617
TITLE: Sustainability practices for software development in Scrum environment
AUTHORS: Fernando Almeida ;
PUBLISHED: 2025, SOURCE: International Journal of Agile Systems and Management, VOLUME: 18, ISSUE: 3-4, PAGES: 484-501
AUTHORS: Fernando Almeida ;
PUBLISHED: 2025, SOURCE: International Journal of Agile Systems and Management, VOLUME: 18, ISSUE: 3-4, PAGES: 484-501
INDEXED IN: Scopus CrossRef
Scopus CrossRef618
TITLE: Sustainable Harvest/Collection Optimization of Residual Agro-Forestry Biomass including Wildfire Risk
AUTHORS: Ruxanda Godina Silva; Carina Pimentel ; Reinaldo Gomes; Ana Luísa Ramos; João O Matias;
PUBLISHED: 2025, SOURCE: 6th International Conference on Industry 4.0 and Smart Manufacturing, ISM 2024 in Procedia Computer Science, VOLUME: 253, PAGES: 3037-3048
AUTHORS: Ruxanda Godina Silva; Carina Pimentel ; Reinaldo Gomes; Ana Luísa Ramos; João O Matias;
PUBLISHED: 2025, SOURCE: 6th International Conference on Industry 4.0 and Smart Manufacturing, ISM 2024 in Procedia Computer Science, VOLUME: 253, PAGES: 3037-3048
INDEXED IN: Scopus CrossRef
Scopus CrossRef619
TITLE: Swin Transformer Applied to Breast MRI Super-Resolution in a Cross-Cohort Dataset
AUTHORS: Pedro Sousa ; Henrique Sousa; Tânia Pereira ; Eva Batista; Pedro Gouveia; Hélder P Oliveira ;
PUBLISHED: 2025, SOURCE: 38th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2025 in 38th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2025, Madrid, Spain, June 18-20, 2025, PAGES: 1-6
AUTHORS: Pedro Sousa ; Henrique Sousa; Tânia Pereira ; Eva Batista; Pedro Gouveia; Hélder P Oliveira ;
PUBLISHED: 2025, SOURCE: 38th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2025 in 38th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2025, Madrid, Spain, June 18-20, 2025, PAGES: 1-6
620
TITLE: Symbolic Pricing Policies for Attended Home Delivery - the Case of an Online Retailer
AUTHORS: Miguel Lunet; Daniela Fernandes; Fábio Neves Moreira ; Pedro Amorim ;
PUBLISHED: 2025, SOURCE: 2025 Genetic and Evolutionary Computation Conference, GECCO 2025 in Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2025, NH Malaga Hotel, Malaga, Spain, July 14-18, 2025, PAGES: 1397-1405
AUTHORS: Miguel Lunet; Daniela Fernandes; Fábio Neves Moreira ; Pedro Amorim ;
PUBLISHED: 2025, SOURCE: 2025 Genetic and Evolutionary Computation Conference, GECCO 2025 in Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2025, NH Malaga Hotel, Malaga, Spain, July 14-18, 2025, PAGES: 1397-1405
