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: 19953
1706 Team MembersFilters -> Year: 2025
601
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
602
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
603
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
604
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
605
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
606
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
607
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 CrossRef608
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
DBLP609
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 Unpaywall610
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
DBLP611
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
612
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 CrossRef613
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 CrossRef614
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
615
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
616
TITLE: Synthetic image generation for effective deep learning model training for ceramic industry applications Full Text
AUTHORS: Gaspar, Fabio; Carreira, Daniel; Rodrigues, Nuno; Miragaia, Rolando; Ribeiro, Jose ; Costa, Paulo; Pereira, Antonio ;
PUBLISHED: 2025, SOURCE: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, VOLUME: 143, PAGES: 110019
AUTHORS: Gaspar, Fabio; Carreira, Daniel; Rodrigues, Nuno; Miragaia, Rolando; Ribeiro, Jose ; Costa, Paulo; Pereira, Antonio ;
PUBLISHED: 2025, SOURCE: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, VOLUME: 143, PAGES: 110019
617
TITLE: Systematic review of predictive maintenance practices in the manufacturing sector
AUTHORS: Benhanifia, Abdeldjalil; Ben Cheikh, Zied; Oliveira, Paulo Moura ; Valente, Antonio ; Lima, Jose ;
PUBLISHED: 2025, SOURCE: INTELLIGENT SYSTEMS WITH APPLICATIONS, VOLUME: 26, PAGES: 200501
AUTHORS: Benhanifia, Abdeldjalil; Ben Cheikh, Zied; Oliveira, Paulo Moura ; Valente, Antonio ; Lima, Jose ;
PUBLISHED: 2025, SOURCE: INTELLIGENT SYSTEMS WITH APPLICATIONS, VOLUME: 26, PAGES: 200501
618
TITLE: Tartrazine for Optical Clearing of Tissues: Stability and Diffusion Issues Full Text
AUTHORS: Guerra, Ana R.; Oliveira, Luis R.; Rodrigues, Goncalo O.; Pinheiro, Maria R. ; Carvalho, Maria I. ; Tuchin, Valery V.; Oliveira, Luis M.;
PUBLISHED: 2025, SOURCE: JOURNAL OF BIOPHOTONICS
AUTHORS: Guerra, Ana R.; Oliveira, Luis R.; Rodrigues, Goncalo O.; Pinheiro, Maria R. ; Carvalho, Maria I. ; Tuchin, Valery V.; Oliveira, Luis M.;
PUBLISHED: 2025, SOURCE: JOURNAL OF BIOPHOTONICS
619
TITLE: Task Scheduling with Mobile Robots-A Systematic Literature Review
AUTHORS: Rema, Catarina; Costa, Pedro ; Silva, Manuel; Pires, Eduardo J. Solteiro;
PUBLISHED: 2025, SOURCE: ROBOTICS, VOLUME: 14, ISSUE: 6, PAGES: 75
AUTHORS: Rema, Catarina; Costa, Pedro ; Silva, Manuel; Pires, Eduardo J. Solteiro;
PUBLISHED: 2025, SOURCE: ROBOTICS, VOLUME: 14, ISSUE: 6, PAGES: 75
620
TITLE: Technological Resources for Hemodialysis Patients: A Scoping Review
AUTHORS: Martins, Ana Rita Silva, ARS,; Moreira, Maria Teresa Ferreira, MTF,; Lima, Andreia Maria Novo, AMN,; Ferreira, Maria Salomé Martins, MSM,; null ; null ;
PUBLISHED: 2025, SOURCE: Kidney and Dialysis, VOLUME: 5, ISSUE: 3, PAGES: 44
AUTHORS: Martins, Ana Rita Silva, ARS,; Moreira, Maria Teresa Ferreira, MTF,; Lima, Andreia Maria Novo, AMN,; Ferreira, Maria Salomé Martins, MSM,; null ; null ;
PUBLISHED: 2025, SOURCE: Kidney and Dialysis, VOLUME: 5, ISSUE: 3, PAGES: 44
INDEXED IN: Scopus CrossRef
Scopus CrossRef