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: 20370
1709 Team MembersFilters -> Year: 2025
841
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
842
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
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
843
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
844
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
AUTHORS: Brenda Nogueira; Gabe Gomes; Meng Jiang; Nitesh V Chawla; Nuno Moniz ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.01132
INDEXED IN: 
DBLP
DBLP845
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
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
846
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
847
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
848
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
849
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
850
TITLE: Stochastic Optimization of Industrial Hubs with Thermal Energy Storage and Reserves Provision
AUTHORS: André Marques ; António Coelho ; Filipe Soares;
PUBLISHED: 2025, SOURCE: 2025 IEEE Kiel Powertech Powertech 2025, PAGES: 1-6
AUTHORS: André Marques ; António Coelho ; Filipe Soares;
PUBLISHED: 2025, SOURCE: 2025 IEEE Kiel Powertech Powertech 2025, PAGES: 1-6
851
TITLE: Strategic Alliances in NetLogo: A Flocking Algorithm with Reinforcement Learning
AUTHORS: Sónia C Teixeira ; Pedro Campos;
PUBLISHED: 2025, SOURCE: Machine Learning Perspectives of Agent-Based Models, PAGES: 287-306
AUTHORS: Sónia C Teixeira ; Pedro Campos;
PUBLISHED: 2025, SOURCE: Machine Learning Perspectives of Agent-Based Models, PAGES: 287-306
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef852
TITLE: Strategies for Fair Distribution of Collective Benefits in Renewable Energy Communities
AUTHORS: Cavalcante, Laura; Lucas, Alexandre ; Villar, Jose ; Martinez, Salvador Domenech;
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
AUTHORS: Cavalcante, Laura; Lucas, Alexandre ; Villar, Jose ; Martinez, Salvador Domenech;
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
853
TITLE: Structuring Complex System for Digital Twin Development: A Systematic Scoping Review
AUTHORS: Ghanbarifard, Raziyeh; Almeida, Antonio H. ; Azevedo, Americo ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 162285-162303
AUTHORS: Ghanbarifard, Raziyeh; Almeida, Antonio H. ; Azevedo, Americo ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 162285-162303
854
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
DBLP855
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 Unpaywall856
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
DBLP857
TITLE: Survey on Detection of Fraudulent Documents
AUTHORS: Diogo Marcelo Nogueira ; Matilde Simões; Carlos Ferreira; Rita P Ribeiro; David Martínez-Rego; Amanda Cai; João Gama;
PUBLISHED: 2025
AUTHORS: Diogo Marcelo Nogueira ; Matilde Simões; Carlos Ferreira; Rita P Ribeiro; David Martínez-Rego; Amanda Cai; João Gama;
PUBLISHED: 2025
INDEXED IN: CrossRef
CrossRef858
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
859
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 CrossRef860
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 CrossRef