CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10643
536 Team MembersFilters -> Year: 2026
101
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
102
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
103
TITLE: Personalized Counterfactual Explanations via Cluster-Based Fine-Tuning of GANs
AUTHORS: Fares, Ahmed A. ; Mendes Moreira, Joao ;
PUBLISHED: 2026, SOURCE: 26th International Conference on Intelligent Data Engineering and Automated Learning-IDEAL in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING-IDEAL 2025, PT II, VOLUME: 16239, PAGES: 343-348
AUTHORS: Fares, Ahmed A. ; Mendes Moreira, Joao ;
PUBLISHED: 2026, SOURCE: 26th International Conference on Intelligent Data Engineering and Automated Learning-IDEAL in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING-IDEAL 2025, PT II, VOLUME: 16239, PAGES: 343-348
104
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
Scopus105
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
Scopus106
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
107
TITLE: Real-Time Prediction of Wikipedia Articles' Quality
AUTHORS: Moas, Pedro Miguel; Lopes, Carla Teixeira ;
PUBLISHED: 2026, SOURCE: 29th International Conference on Linking Theory and Practice of Digital Libraries-TPDL-Annual in LINKING THEORY AND PRACTICE OF DIGITAL LIBRARIES, TPDL 2025, VOLUME: 16097, PAGES: 304-320
AUTHORS: Moas, Pedro Miguel; Lopes, Carla Teixeira ;
PUBLISHED: 2026, SOURCE: 29th International Conference on Linking Theory and Practice of Digital Libraries-TPDL-Annual in LINKING THEORY AND PRACTICE OF DIGITAL LIBRARIES, TPDL 2025, VOLUME: 16097, PAGES: 304-320
INDEXED IN: Scopus 
WOS 
DBLP 
Unpaywall
Scopus WOS DBLP Unpaywall108
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
109
TITLE: Religious Marketing in the Age of Digitalization and the Metaverse
AUTHORS: Belem Barbosa ; Madalena Abreu;
PUBLISHED: 2026, SOURCE: The Strategic Evolution From Omnichannel to Metachannel Marketing, PAGES: 345-374
AUTHORS: Belem Barbosa ; Madalena Abreu;
PUBLISHED: 2026, SOURCE: The Strategic Evolution From Omnichannel to Metachannel Marketing, PAGES: 345-374
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef110
TITLE: Renewable Energy Into Sustainability Metrics: A Multicriteria Decision
AUTHORS: Rodrigues, Helena Sofia ; Garcia, Jorge Esparteiro ; Ângela Silva ;
PUBLISHED: 2026, SOURCE: 5th International Conference on Optimization Learning Algorithms and Applications-OL2A-Annual in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2025, PT II, VOLUME: 2618, PAGES: 35-48
AUTHORS: Rodrigues, Helena Sofia ; Garcia, Jorge Esparteiro ; Ângela Silva ;
PUBLISHED: 2026, SOURCE: 5th International Conference on Optimization Learning Algorithms and Applications-OL2A-Annual in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2025, PT II, VOLUME: 2618, PAGES: 35-48
111
TITLE: Resilience Under Attack: Benchmarking Optimizers Against Poisoning in Federated Learning for Image Classification Using CNN
AUTHORS: Biadgligne, Yohannes ; Baghoussi, Yassine ; Li, Kai; Jorge, Alipio ;
PUBLISHED: 2026, SOURCE: 18th International Work-Conference on Advances in Computational Intelligence-IWANN in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2025, PT I, VOLUME: 16008, PAGES: 27-40
AUTHORS: Biadgligne, Yohannes ; Baghoussi, Yassine ; Li, Kai; Jorge, Alipio ;
PUBLISHED: 2026, SOURCE: 18th International Work-Conference on Advances in Computational Intelligence-IWANN in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2025, PT I, VOLUME: 16008, PAGES: 27-40
112
TITLE: SegNSP: Revisiting Next Sentence Prediction for Linear Text Segmentation
AUTHORS: José Isidro; Luís Filipe Cunha; Purificação Silvano ; Alípio Jorge; Nuno Guimarães; Sérgio Nunes ; Ricardo Campos ;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2601.03474
AUTHORS: José Isidro; Luís Filipe Cunha; Purificação Silvano ; Alípio Jorge; Nuno Guimarães; Sérgio Nunes ; Ricardo Campos ;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2601.03474
INDEXED IN: DBLP
DBLP113
TITLE: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
AUTHORS: José Proença ; Raul Fervari; Manuel A Martins ; Reinhard Kahle ; Graham Pluck;
PUBLISHED: 2026, SOURCE: SEFM, VOLUME: 15551
AUTHORS: José Proença ; Raul Fervari; Manuel A Martins ; Reinhard Kahle ; Graham Pluck;
PUBLISHED: 2026, SOURCE: SEFM, VOLUME: 15551
INDEXED IN: DBLP
DBLP114
TITLE: Software Testing Education and Industry Needs- Report from the ENACTEST EU Project
AUTHORS: Saadatmand, Mehrdad; Khan, Abbas; Marin, Beatriz; Paiva, Ana C. R. ; Van Asch, Nele; Moran, Graham; Cammaerts, Felix; Snoeck, Monique; Mendes, Alexandra ;
PUBLISHED: 2026, SOURCE: 26th International Conference on Product Focused Software Process Improvement-PROFES-Annual in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT. INDUSTRY, DOCTORAL-SYMPOSIUM, TUTORIAL, AND WORKSHOP PAPERS, PROFES 2025, VOLUME: 16362, PAGES: 53-68
AUTHORS: Saadatmand, Mehrdad; Khan, Abbas; Marin, Beatriz; Paiva, Ana C. R. ; Van Asch, Nele; Moran, Graham; Cammaerts, Felix; Snoeck, Monique; Mendes, Alexandra ;
PUBLISHED: 2026, SOURCE: 26th International Conference on Product Focused Software Process Improvement-PROFES-Annual in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT. INDUSTRY, DOCTORAL-SYMPOSIUM, TUTORIAL, AND WORKSHOP PAPERS, PROFES 2025, VOLUME: 16362, PAGES: 53-68
115
TITLE: Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs
AUTHORS: Wu, Valentina; Mendes, Alexandra ; Abreu, Alexandre;
PUBLISHED: 2026, SOURCE: 23rd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025, VOLUME: 16192, PAGES: 261-278
AUTHORS: Wu, Valentina; Mendes, Alexandra ; Abreu, Alexandre;
PUBLISHED: 2026, SOURCE: 23rd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025, VOLUME: 16192, PAGES: 261-278
116
TITLE: Stable coalition formation through bargaining for the preservation of public goods
AUTHORS: Accinelli, Elvio; Afsar, Atefeh; Martins, Filipe ; Martins, Jose ; Oliveira, Bruno M. P. M.; Pinto, Alberto A.; Quintas, Luis;
PUBLISHED: 2026, SOURCE: ECONOMIC MODELLING, VOLUME: 158, PAGES: 107525
AUTHORS: Accinelli, Elvio; Afsar, Atefeh; Martins, Filipe ; Martins, Jose ; Oliveira, Bruno M. P. M.; Pinto, Alberto A.; Quintas, Luis;
PUBLISHED: 2026, SOURCE: ECONOMIC MODELLING, VOLUME: 158, PAGES: 107525
117
TITLE: STARK: Enhancing Traffic Prediction Through Spatiotemporal Adaptive Refinement With Knowledge Distillation
AUTHORS: Pandey, Shobhit; Sharma, Saurabh; Kumar, Rahul; Moreira, Joao Mendes ; Chandra, Joydeep;
PUBLISHED: 2026, SOURCE: IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, PAGES: 1-13
AUTHORS: Pandey, Shobhit; Sharma, Saurabh; Kumar, Rahul; Moreira, Joao Mendes ; Chandra, Joydeep;
PUBLISHED: 2026, SOURCE: IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, PAGES: 1-13
118
TITLE: Strategic Digital Communication for the Sports Modalities of FC Porto
AUTHORS: Jorge Esparteiro Garcia ; Maria João Abreu; Manuel José Fonseca; Bruno Sousa;
PUBLISHED: 2026, SOURCE: Smart Innovation, Systems and Technologies - Marketing and Smart Technologies, PAGES: 289-301
AUTHORS: Jorge Esparteiro Garcia ; Maria João Abreu; Manuel José Fonseca; Bruno Sousa;
PUBLISHED: 2026, SOURCE: Smart Innovation, Systems and Technologies - Marketing and Smart Technologies, PAGES: 289-301
INDEXED IN: CrossRef
CrossRef119
TITLE: Subgroup Discovery Using Model Uncertainty: A Feasibility Study
AUTHORS: Pereira, Ana Cravidao; Folgado, Duarte; Barandas, Marilia; Soares, Carlos ; Carreiro, Andre;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Progress in Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2025, PT I, VOLUME: 16121, PAGES: 505-517
AUTHORS: Pereira, Ana Cravidao; Folgado, Duarte; Barandas, Marilia; Soares, Carlos ; Carreiro, Andre;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Progress in Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2025, PT I, VOLUME: 16121, PAGES: 505-517
120
TITLE: Synthetic Time Series Generation via Complex Networks PDF
AUTHORS: Jaime Vale; Vanessa Freitas Silva ; Maria Eduarda Silva ; Fernando Silva ;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2601.22879
AUTHORS: Jaime Vale; Vanessa Freitas Silva ; Maria Eduarda Silva ; Fernando Silva ;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2601.22879
INDEXED IN: DBLP 
arXiv 
DataCite
DBLP arXiv DataCite