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

1714 Team Members
Filters -> 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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus CrossRef Unpaywall
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: CrossRef
86
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
INDEXED IN: Scopus CrossRef Unpaywall
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
INDEXED IN: Scopus CrossRef
88
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus CrossRef Unpaywall
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
INDEXED IN: Scopus WOS CrossRef
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
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
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus CrossRef Unpaywall
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
INDEXED IN: WOS DBLP CrossRef Unpaywall

Results per Page: 20.
Page 5 of 1251. Total results: 25001.