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: 8756
531 Team MembersFilters -> Year: 2025
21
TITLE: Are Users More Willing to Use Formally Verified Password Managers?
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02124
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02124
INDEXED IN: 
DBLP
DBLP22
TITLE: Atlas, a modular and efficient open-source BFT framework
AUTHORS: Neto, Nuno; Martins, Rolando ; Veiga, Luis;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PAGES: 112317
AUTHORS: Neto, Nuno; Martins, Rolando ; Veiga, Luis;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PAGES: 112317
23
TITLE: Augmented Reality in Information Design
AUTHORS: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLISHED: 2025, SOURCE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PAGES: 30-41
AUTHORS: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLISHED: 2025, SOURCE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PAGES: 30-41
24
TITLE: Automated optical system for quality inspection on reflective parts Full Text
AUTHORS: Nascimento, Rui ; Rocha, Claudia D.; Gonzalez, Dibet Garcia; Silva, Tiago; Moreira, Rui; Silva, Manuel F.; Filipe, Vitor ; Rocha, Luis F. ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 137, ISSUE: 5-6, PAGES: 2665-2680
AUTHORS: Nascimento, Rui ; Rocha, Claudia D.; Gonzalez, Dibet Garcia; Silva, Tiago; Moreira, Rui; Silva, Manuel F.; Filipe, Vitor ; Rocha, Luis F. ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 137, ISSUE: 5-6, PAGES: 2665-2680
25
TITLE: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTHORS: Melissa Silva; João Pascoal Faria ;
PUBLISHED: 2025, SOURCE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PAGES: 149-160
AUTHORS: Melissa Silva; João Pascoal Faria ;
PUBLISHED: 2025, SOURCE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PAGES: 149-160
INDEXED IN: DBLP
DBLP26
TITLE: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTHORS: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLISHED: 2025, SOURCE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, VOLUME: 15593, PAGES: 138-154
AUTHORS: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLISHED: 2025, SOURCE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, VOLUME: 15593, PAGES: 138-154
27
TITLE: Barrett's paradox of cooperation in the case of quasi-linear utilities Full Text
AUTHORS: Accinelli, Elvio; Afsar, Atefeh; Martins, Filipe ; Martins, Jose ; Oliveira, Bruno M. P. M. ; Oviedo, Jorge; Pinto, Alberto A. ; Quintas, Luis;
PUBLISHED: 2025, SOURCE: MATHEMATICAL METHODS IN THE APPLIED SCIENCES, VOLUME: 48, ISSUE: 2, PAGES: 2493-2516
AUTHORS: Accinelli, Elvio; Afsar, Atefeh; Martins, Filipe ; Martins, Jose ; Oliveira, Bruno M. P. M. ; Oviedo, Jorge; Pinto, Alberto A. ; Quintas, Luis;
PUBLISHED: 2025, SOURCE: MATHEMATICAL METHODS IN THE APPLIED SCIENCES, VOLUME: 48, ISSUE: 2, PAGES: 2493-2516
28
TITLE: Bayesian Modelling of Time Series of Counts with Missing Data
AUTHORS: SILVA, ISABEL ; Maria Eduarda Silva ; Isabel Pereira ;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 83-98
AUTHORS: SILVA, ISABEL ; Maria Eduarda Silva ; Isabel Pereira ;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 83-98
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef29
TITLE: Budget-Constrained Collaborative Renewable Energy Forecasting Market Full Text
AUTHORS: Goncalves, Carla ; Bessa, Ricardo J. ; Teixeira, Tiago; Vinagre, Joao ;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 16, ISSUE: 2, PAGES: 1440-1452
AUTHORS: Goncalves, Carla ; Bessa, Ricardo J. ; Teixeira, Tiago; Vinagre, Joao ;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 16, ISSUE: 2, PAGES: 1440-1452
30
TITLE: C'est Tres CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM
AUTHORS: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488, PAGES: 3-33
AUTHORS: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488, PAGES: 3-33
31
TITLE: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTHORS: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLISHED: 2025, SOURCE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PAGES: 130-138
AUTHORS: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLISHED: 2025, SOURCE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PAGES: 130-138
32
TITLE: Characterising Class Imbalance in Transportation Mode Detection: An Experimental Study
AUTHORS: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PAGES: 58-70
AUTHORS: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PAGES: 58-70
33
TITLE: Clustering and Classification of Compositional Data Using Distributions Defined on the Hypersphere
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 423-435
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 423-435
INDEXED IN: Scopus CrossRef
Scopus CrossRef34
TITLE: Contributions for the Development of Personae: Method for Creating Persona Templates (MCPT)
AUTHORS: Couto, Fábio ; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Human-Computer Interaction, HCII 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15374 LNCS, PAGES: 3-22
AUTHORS: Couto, Fábio ; Mariana Curado Malta ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Human-Computer Interaction, HCII 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15374 LNCS, PAGES: 3-22
INDEXED IN: Scopus CrossRef
Scopus CrossRef35
TITLE: CRDT-Based Game State Synchronization in Peer-to-Peer VR
AUTHORS: Abel Dantas; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: 12th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2025 in Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2025, World Trade Center, Rotterdam, The Netherlands, 30 March 2025- 3 April 2025, PAGES: 45-55
AUTHORS: Abel Dantas; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: 12th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2025 in Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2025, World Trade Center, Rotterdam, The Netherlands, 30 March 2025- 3 April 2025, PAGES: 45-55
36
TITLE: CRDT-Based Game State Synchronization in Peer-to-Peer VR
AUTHORS: Abel Dantas; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.17826
AUTHORS: Abel Dantas; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.17826
INDEXED IN: DBLP
DBLP37
TITLE: CRDV: Conflict-free Replicated Data Views
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2025, SOURCE: Proc. ACM Manag. Data, VOLUME: 3, ISSUE: 1, PAGES: 25:1-25:27
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2025, SOURCE: Proc. ACM Manag. Data, VOLUME: 3, ISSUE: 1, PAGES: 25:1-25:27
INDEXED IN: DBLP CrossRef
DBLP CrossRef38
TITLE: Data Science for Fighting Environmental Crime
AUTHORS: Barbosa, Marta; Ribeiro, Carolina; Gomes, Filipe; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PAGES: 181-196
AUTHORS: Barbosa, Marta; Ribeiro, Carolina; Gomes, Filipe; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PAGES: 181-196
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP39
TITLE: DataSHIELD: mitigating disclosure risk in a multi-site federated analysis platform
AUTHORS: Avraam, Demetris; Wilson, Rebecca C.; Chan, Noemi Aguirre; Banerjee, Soumya; Bishop, Tom R. P.; Butters, Olly; Cadman, Tim; Cederkvist, Luise; Duijts, Liesbeth; Montagut, Xavier Escriba; Garner, Hugh; Goncalves, Goncalo ; Gonzalez, Juan R.; Haakma, Sido; Hartlev, Mette; Hasenauer, Jan; Huth, Manuel; Hyde, Eleanor; Jaddoe, Vincent W. V.; Marcon, Yannick; ...More
PUBLISHED: 2025, SOURCE: BIOINFORMATICS ADVANCES, VOLUME: 5, ISSUE: 1
AUTHORS: Avraam, Demetris; Wilson, Rebecca C.; Chan, Noemi Aguirre; Banerjee, Soumya; Bishop, Tom R. P.; Butters, Olly; Cadman, Tim; Cederkvist, Luise; Duijts, Liesbeth; Montagut, Xavier Escriba; Garner, Hugh; Goncalves, Goncalo ; Gonzalez, Juan R.; Haakma, Sido; Hartlev, Mette; Hasenauer, Jan; Huth, Manuel; Hyde, Eleanor; Jaddoe, Vincent W. V.; Marcon, Yannick; ...More
PUBLISHED: 2025, SOURCE: BIOINFORMATICS ADVANCES, VOLUME: 5, ISSUE: 1
40
TITLE: Decision-making systems improvement based on explainable artificial intelligence approaches for predictive maintenance Full Text
AUTHORS: Rajaoarisoa, Lala; Randrianandraina, Raubertin; Nalepa, Grzegorz J.; Gama, Joao ;
PUBLISHED: 2025, SOURCE: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, VOLUME: 139, PAGES: 109601
AUTHORS: Rajaoarisoa, Lala; Randrianandraina, Raubertin; Nalepa, Grzegorz J.; Gama, Joao ;
PUBLISHED: 2025, SOURCE: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, VOLUME: 139, PAGES: 109601
