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

1706 Team Members
Filters -> Year: 2025
1
TITLE: A composite indicator framework integrating regulator perspectives for assessing water service quality  Full Text
AUTHORS: Vilarinho, H ; Miguel Alves Pereira; Giovanna D'Inverno; Ana Santos Camanho;
PUBLISHED: 2026, SOURCE: Omega (United Kingdom), VOLUME: 138, PAGES: 103435
INDEXED IN: Scopus CrossRef
2
TITLE: A framework for supporting the reproducibility of computational experiments in multiple scientific domains
AUTHORS: Lázaro Costa ; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2026, SOURCE: Future Gener. Comput. Syst., VOLUME: 174, PAGES: 107924
INDEXED IN: Scopus DBLP CrossRef: 1
3
TITLE: A review of visual perception for robotic bin-picking
AUTHORS: Artur Cordeiro ; Luís Freitas Rocha ; José Boaventura-Cunha; Daniel Figueiredo; João Pedro Souza;
PUBLISHED: 2026, SOURCE: Robotics and Autonomous Systems, VOLUME: 196, PAGES: 105236
INDEXED IN: CrossRef
4
TITLE: An Explosion of the Uses of Immersive Learning Environments: A Mapping of Reviews Update
AUTHORS: Dennis Beck; Leonel Caseiro Morgado ; Patrick O’Shea;
PUBLISHED: 2026, SOURCE: 11th Annual International Conference of the Immersive Learning Research Network, iLRN 2025 in Communications in Computer and Information Science, VOLUME: 2598 CCIS, PAGES: 48-65
INDEXED IN: Scopus CrossRef
5
TITLE: Auto-active verification of distributed systems and specification refinements with Why3-do
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2026, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 247, PAGES: 103352
INDEXED IN: Scopus WOS DBLP CrossRef
6
TITLE: Comparing and extending satisfiability solution methods for the resource-constrained project scheduling problem
AUTHORS: José Coelho ; Mario Vanhoucke;
PUBLISHED: 2026, SOURCE: Computers and Operations Research, VOLUME: 186, PAGES: 107308
INDEXED IN: Scopus CrossRef
7
TITLE: Data Spaces as Enablers of Digital Twin Ecosystems: Challenges and Requirements
AUTHORS: Ana Carolina Chaves; Ana Nunes Nunes Alonso; António Lucas Soares ;
PUBLISHED: 2026, SOURCE: 44th IFIP WG 5.7 International Conference on Advances in Production Management Systems, APMS 2025 in IFIP Advances in Information and Communication Technology, VOLUME: 768 IFIPAICT, PAGES: 340-354
INDEXED IN: Scopus CrossRef
8
TITLE: Enhancing logistics through a vehicle routing problem with deliveries, pickups, and backhauls
AUTHORS: Santos, Maria Joao ; Jorge, Diana; Bonomi, Valentina; Ramos, Tania; Povoa, Ana;
PUBLISHED: 2026, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 33, ISSUE: 1, PAGES: 177-209
INDEXED IN: Scopus WOS CrossRef
9
TITLE: Human-Centered Augmented Reality in Manufacturing: Enhancing Efficiency, Accuracy, and Operator Adoption
AUTHORS: Ramalho, Filipa Rente, FR,; Soares, António Lucas, AL, ; null; Almeida, António Henrique, AH, ; Oliveira, Manuel Fradinho, MF,;
PUBLISHED: 2026, SOURCE: 44th IFIP WG 5.7 International Conference on Advances in Production Management Systems, APMS 2025 in IFIP Advances in Information and Communication Technology, VOLUME: 764 IFIPAICT, PAGES: 33-47
INDEXED IN: Scopus CrossRef
11
TITLE: Industrial Application of High-Temperature Heat and Electricity Storage for Process Efficiency and Power-to-Heat-to-Power Grid Integration
AUTHORS: António Coelho; Ricardo Silva ; Filipe Joel Soares ; Clara Gouveia; Adélio Mendes ; José Vicente Silva; João Pedro Freitas;
PUBLISHED: 2026, SOURCE: Lecture Notes in Energy, VOLUME: 47, PAGES: 3-26
INDEXED IN: Scopus CrossRef
12
TITLE: Machine Learning and Knowledge Discovery in Databases. Research Track - European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part I
AUTHORS: Rita P Ribeiro ; Bernhard Pfahringer; Nathalie Japkowicz; Pedro Larrañaga; Alípio M Jorge; Carlos Soares; Pedro H Abreu; João Gama;
PUBLISHED: 2026, SOURCE: ECML/PKDD (1), VOLUME: 16013
INDEXED IN: DBLP
13
TITLE: Machine Learning and Knowledge Discovery in Databases. Research Track - European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part II
AUTHORS: Rita P Ribeiro ; Bernhard Pfahringer; Nathalie Japkowicz; Pedro Larrañaga; Alípio M Jorge; Carlos Soares; Pedro H Abreu; João Gama;
PUBLISHED: 2026, SOURCE: ECML/PKDD (2), VOLUME: 16014
INDEXED IN: DBLP
14
TITLE: Machine Learning and Knowledge Discovery in Databases. Research Track - European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part III
AUTHORS: Rita P Ribeiro ; Bernhard Pfahringer; Nathalie Japkowicz; Pedro Larrañaga; Alípio M Jorge; Carlos Soares; Pedro H Abreu; João Gama;
PUBLISHED: 2026, SOURCE: ECML/PKDD (3), VOLUME: 16015
INDEXED IN: DBLP
15
TITLE: Machine Learning and Knowledge Discovery in Databases. Research Track - European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part IV
AUTHORS: Rita P Ribeiro ; Bernhard Pfahringer; Nathalie Japkowicz; Pedro Larrañaga; Alípio M Jorge; Carlos Soares; Pedro H Abreu; João Gama;
PUBLISHED: 2026, SOURCE: ECML/PKDD (4), VOLUME: 16016
INDEXED IN: DBLP
16
TITLE: Machine Learning and Knowledge Discovery in Databases. Research Track - European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part V
AUTHORS: Rita P Ribeiro ; Bernhard Pfahringer; Nathalie Japkowicz; Pedro Larrañaga; Alípio M Jorge; Carlos Soares; Pedro H Abreu; João Gama;
PUBLISHED: 2026, SOURCE: ECML/PKDD (5), VOLUME: 16017
INDEXED IN: DBLP
17
TITLE: Machine Learning and Knowledge Discovery in Databases. Research Track - European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part VI
AUTHORS: Rita P Ribeiro ; Bernhard Pfahringer; Nathalie Japkowicz; Pedro Larrañaga; Alípio M Jorge; Carlos Soares; Pedro H Abreu; João Gama;
PUBLISHED: 2026, SOURCE: ECML/PKDD (6), VOLUME: 16018
INDEXED IN: DBLP
18
TITLE: Machine Learning and Knowledge Discovery in Databases. Research Track - European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part VII
AUTHORS: Rita P Ribeiro ; Bernhard Pfahringer; Nathalie Japkowicz; Pedro Larrañaga; Alípio M Jorge; Carlos Soares; Pedro H Abreu; João Gama;
PUBLISHED: 2026, SOURCE: ECML/PKDD (7), VOLUME: 16019
INDEXED IN: DBLP
19
TITLE: Machine Learning-Based Cost Estimation Approach for Furniture Manufacturing
AUTHORS: Maria Teresa Ribeiro Pereira; Eduardo De Meireles e Oliveira; António Manuel Amaral ; Marisa Pereira;
PUBLISHED: 2026, SOURCE: 44th IFIP WG 5.7 International Conference on Advances in Production Management Systems, APMS 2025 in IFIP Advances in Information and Communication Technology, VOLUME: 764 IFIPAICT, PAGES: 314-324
INDEXED IN: Scopus CrossRef Unpaywall
20
TITLE: On Quantitative Solution Iteration in QAlloy
AUTHORS: Pedro Silva; Nuno Macedo ; José Nuno Oliveira;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State-Based Methods, ABZ 2025 in Lecture Notes in Computer Science, VOLUME: 15728 LNCS, PAGES: 88-105
INDEXED IN: Scopus CrossRef

Results per Page: 20.
Page 1 of 1003. Total results: 20048.