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: 25001
1714 Team MembersFilters -> Year: 2026
81
TITLE: On Quantitative Solution Iteration in QAlloy
AUTHORS: Silva, Pedro; Macedo, Nuno ; Oliveira, Jose N. ;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State Based Methods-ABZ-Annual in RIGOROUS STATE-BASED METHODS, ABZ 2025, VOLUME: 15728, PAGES: 88-105
AUTHORS: Silva, Pedro; Macedo, Nuno ; Oliveira, Jose N. ;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State Based Methods-ABZ-Annual in RIGOROUS STATE-BASED METHODS, ABZ 2025, VOLUME: 15728, PAGES: 88-105
82
TITLE: Optical Harmonic Vernier Effect: Conditions Required for Effective Sensitivity Amplification Full Text
AUTHORS: Robalinho, Paulo ; Piaia, Vinicius; Antonio Lobo ; Silva, Susana; Frazao, Orlando ;
PUBLISHED: 2026, SOURCE: JOURNAL OF LIGHTWAVE TECHNOLOGY, VOLUME: 44, ISSUE: 2, PAGES: 644-650
AUTHORS: Robalinho, Paulo ; Piaia, Vinicius; Antonio Lobo ; Silva, Susana; Frazao, Orlando ;
PUBLISHED: 2026, SOURCE: JOURNAL OF LIGHTWAVE TECHNOLOGY, VOLUME: 44, ISSUE: 2, PAGES: 644-650
83
TITLE: Optimized Switched Reluctance Generator Operation in Wind Energy Applications
AUTHORS: Zeineb Touati; Rui Esteves Araújo ; Adel Khedher;
PUBLISHED: 2026, SOURCE: Studies in Systems, Decision and Control, VOLUME: 628, PAGES: 123-151
AUTHORS: Zeineb Touati; Rui Esteves Araújo ; Adel Khedher;
PUBLISHED: 2026, SOURCE: Studies in Systems, Decision and Control, VOLUME: 628, PAGES: 123-151
84
TITLE: Optimizing Medical Image Captioning with Conditional Prompt Encoding
AUTHORS: Fernandes, Rendson F.; Oliveira, Hugo S. ; Ribeiro, Pedro P.; Oliveira, Helder P. ;
PUBLISHED: 2026, SOURCE: 12th Iberian Conference on Pattern Recognition and Image Analysis-IbPRIA in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2025, PT II, VOLUME: 15938, PAGES: 196-207
AUTHORS: Fernandes, Rendson F.; Oliveira, Hugo S. ; Ribeiro, Pedro P.; Oliveira, Helder P. ;
PUBLISHED: 2026, SOURCE: 12th Iberian Conference on Pattern Recognition and Image Analysis-IbPRIA in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2025, PT II, VOLUME: 15938, PAGES: 196-207
85
TITLE: Optimizing Online Grocery Service: from Customer Understanding to Multichannel Profitability Full Text
AUTHORS: Daniela Fernandes; Fábio Neves-Moreira ; Pedro Amorim; Jan C Fransoo;
PUBLISHED: 2026, SOURCE: European Journal of Operational Research
AUTHORS: Daniela Fernandes; Fábio Neves-Moreira ; Pedro Amorim; Jan C Fransoo;
PUBLISHED: 2026, SOURCE: European Journal of Operational Research
INDEXED IN:
CrossRef
CrossRef86
TITLE: Optimizing Quay Crane Operations Considering Energy Consumption
AUTHORS: João Pedro Rebelo de Almeida ; Adrian Carrillo Galvez ; John Penaloza Moran ; Tiago André Soares ; Zenaida Sobral Mourão ;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16122 LNAI, PAGES: 464-476
AUTHORS: João Pedro Rebelo de Almeida ; Adrian Carrillo Galvez ; John Penaloza Moran ; Tiago André Soares ; Zenaida Sobral Mourão ;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16122 LNAI, PAGES: 464-476
87
TITLE: Optimizing Warehouse Intralogistics with Simulation: Combining AMRs and Container Loading Strategies
AUTHORS: Romão Santos ; Henrique Piqueiro ; Ângelo Soares; Abel Mendes; Antonio Ramos;
PUBLISHED: 2026, SOURCE: 34th International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2025 in Lecture Notes in Mechanical Engineering, PAGES: 129-136
AUTHORS: Romão Santos ; Henrique Piqueiro ; Ângelo Soares; Abel Mendes; Antonio Ramos;
PUBLISHED: 2026, SOURCE: 34th International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2025 in Lecture Notes in Mechanical Engineering, PAGES: 129-136
INDEXED IN:
Scopus
CrossRef
CrossRef88
TITLE: Overview of the CLEF 2025 JOKER Lab: Humour in Machine
AUTHORS: Ermakova, Liana; Campos, Ricardo ; Bosser, Anne Gwenn; Miller, Tristan;
PUBLISHED: 2026, SOURCE: 16th International Conference of the CLEF Association-CLEF in EXPERIMENTAL IR MEETS MULTILINGUALITY, MULTIMODALITY, AND INTERACTION, CLEF 2025, VOLUME: 16089, PAGES: 315-337
AUTHORS: Ermakova, Liana; Campos, Ricardo ; Bosser, Anne Gwenn; Miller, Tristan;
PUBLISHED: 2026, SOURCE: 16th International Conference of the CLEF Association-CLEF in EXPERIMENTAL IR MEETS MULTILINGUALITY, MULTIMODALITY, AND INTERACTION, CLEF 2025, VOLUME: 16089, PAGES: 315-337
89
TITLE: Paraconsistent Reactive Graphs
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551, PAGES: 105-111
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551, PAGES: 105-111
INDEXED IN:
Scopus
WOS
DBLP
90
TITLE: PathSAGE: Identifying Influential Spreaders in Temporal Networks With GraphSAGE
AUTHORS: Sadhu, Srestha; Mallick, Deepanwita; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLISHED: 2026, SOURCE: IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE, PAGES: 1-17
AUTHORS: Sadhu, Srestha; Mallick, Deepanwita; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLISHED: 2026, SOURCE: IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE, PAGES: 1-17
91
TITLE: Pattern Recognition and Image Analysis. 12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 – July 3, 2025, Proceedings, Part II
AUTHORS: Nuno Gonçalves; Hélder P Oliveira ; Joan Andreu Sánchez;
PUBLISHED: 2026, SOURCE: Lecture Notes in Computer Science
AUTHORS: Nuno Gonçalves; Hélder P Oliveira ; Joan Andreu Sánchez;
PUBLISHED: 2026, SOURCE: Lecture Notes in Computer Science
INDEXED IN:
CrossRef
CrossRef92
TITLE: Pattern Recognition and Image Analysis - 12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part I
AUTHORS: Nuno Gonçalves; Hélder P Oliveira ; Joan Andreu Sánchez;
PUBLISHED: 2026, SOURCE: IbPRIA (1), VOLUME: 15937
AUTHORS: Nuno Gonçalves; Hélder P Oliveira ; Joan Andreu Sánchez;
PUBLISHED: 2026, SOURCE: IbPRIA (1), VOLUME: 15937
INDEXED IN:
DBLP
93
TITLE: Pattern Recognition and Image Analysis - 12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part II
AUTHORS: Nuno Gonçalves; Hélder P Oliveira ; Joan Andreu Sánchez;
PUBLISHED: 2026, SOURCE: IbPRIA (2), VOLUME: 15938
AUTHORS: Nuno Gonçalves; Hélder P Oliveira ; Joan Andreu Sánchez;
PUBLISHED: 2026, SOURCE: IbPRIA (2), VOLUME: 15938
INDEXED IN:
DBLP
94
TITLE: Personalized Counterfactual Explanations via Cluster-Based Fine-Tuning of GANs
AUTHORS: Ahmed A Fares ; João Cezar Mendes Moreira;
PUBLISHED: 2026, SOURCE: 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025 in Lecture Notes in Computer Science, VOLUME: 16239 LNCS, PAGES: 343-348
AUTHORS: Ahmed A Fares ; João Cezar Mendes Moreira;
PUBLISHED: 2026, SOURCE: 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025 in Lecture Notes in Computer Science, VOLUME: 16239 LNCS, PAGES: 343-348
95
TITLE: Predictors for decision-making in collaborative robots adoption: evidence from the Brazilian manufacturing industry
AUTHORS: de Sousa, Paulo Renato; Bronzo, Marcelo; Torres Junior, Noel; Vivaldini, Mauro; Simoes, Ana Correia ; de Jesus, Tiago Schieber; Couto, Guilherme;
PUBLISHED: 2026, SOURCE: OPERATIONS MANAGEMENT RESEARCH, VOLUME: 19, ISSUE: 1, PAGES: 1-22
AUTHORS: de Sousa, Paulo Renato; Bronzo, Marcelo; Torres Junior, Noel; Vivaldini, Mauro; Simoes, Ana Correia ; de Jesus, Tiago Schieber; Couto, Guilherme;
PUBLISHED: 2026, SOURCE: OPERATIONS MANAGEMENT RESEARCH, VOLUME: 19, ISSUE: 1, PAGES: 1-22
96
TITLE: Preface
AUTHORS: José Proença ; Raul Fervari; Manuel António Martins ; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, Collocated Workshops, International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, ReacTS 2024 and 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2024 in Lecture Notes in Computer Science, VOLUME: 15551 LNCS
AUTHORS: José Proença ; Raul Fervari; Manuel António Martins ; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, Collocated Workshops, International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, ReacTS 2024 and 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2024 in Lecture Notes in Computer Science, VOLUME: 15551 LNCS
INDEXED IN:
Scopus
97
TITLE: Preface
AUTHORS: Rita Ribeiro ; Nathalie Japkowicz; Alípio Mário Jorge; Carlos Soares; Pedro Henriques Abreu; Bernhard Pfahringer; João P Gama; Pedro Larrañaga; Castro Dutra; Mykola Pechenizkiy; Sepideh Pashami; Paulo Cortez;
PUBLISHED: 2026, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2025 in Lecture Notes in Computer Science, VOLUME: 16014 LNCS
AUTHORS: Rita Ribeiro ; Nathalie Japkowicz; Alípio Mário Jorge; Carlos Soares; Pedro Henriques Abreu; Bernhard Pfahringer; João P Gama; Pedro Larrañaga; Castro Dutra; Mykola Pechenizkiy; Sepideh Pashami; Paulo Cortez;
PUBLISHED: 2026, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2025 in Lecture Notes in Computer Science, VOLUME: 16014 LNCS
INDEXED IN:
Scopus
98
TITLE: Price optimization for round trip car sharing Full Text
AUTHORS: Currie, Christine S. M.; M'Hallah, Rym; Oliveira, Beatriz Brito ;
PUBLISHED: 2026, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 328, ISSUE: 2, PAGES: 511-529
AUTHORS: Currie, Christine S. M.; M'Hallah, Rym; Oliveira, Beatriz Brito ;
PUBLISHED: 2026, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 328, ISSUE: 2, PAGES: 511-529
99
TITLE: Proposal for a Cybersecurity Framework for the Digital Transformation of Small and Medium-Sized Enterprises in Mozambique: Position Paper
AUTHORS: Micaela Roberto Amade; Henrique São Mamede ; Leonilde Reis; Ramiro Moreira Gonçalves; José Luís Bandeira Martins; Frederico Augusto Branco;
PUBLISHED: 2026, SOURCE: 19th Iberian Conference on Information Systems and Technologies, CISTI 2024 in Lecture Notes in Networks and Systems, VOLUME: 1747 LNNS, ISSUE: 2, PAGES: 456-462
AUTHORS: Micaela Roberto Amade; Henrique São Mamede ; Leonilde Reis; Ramiro Moreira Gonçalves; José Luís Bandeira Martins; Frederico Augusto Branco;
PUBLISHED: 2026, SOURCE: 19th Iberian Conference on Information Systems and Technologies, CISTI 2024 in Lecture Notes in Networks and Systems, VOLUME: 1747 LNNS, ISSUE: 2, PAGES: 456-462
100
TITLE: Reconfiguring Staggered Quantum Walks with ZX
AUTHORS: Jardim, Bruno; Santos, Jaime; Barbosa, Luis S. ;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551, PAGES: 112-119
AUTHORS: Jardim, Bruno; Santos, Jaime; Barbosa, Luis S. ;
PUBLISHED: 2026, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551, PAGES: 112-119