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: 8970
530 Team MembersFilters -> Year: 2025
61
TITLE: Bridging the gaps: an updated mapping of the uses of immersive learning environments Full Text
AUTHORS: Morgado, Leonel ; Beck, Dennis; O'Shea, Patrick;
PUBLISHED: 2025, SOURCE: VIRTUAL REALITY, VOLUME: 29, ISSUE: 3, PAGES: 134
AUTHORS: Morgado, Leonel ; Beck, Dennis; O'Shea, Patrick;
PUBLISHED: 2025, SOURCE: VIRTUAL REALITY, VOLUME: 29, ISSUE: 3, PAGES: 134
62
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
63
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
64
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
65
TITLE: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.22370
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.22370
INDEXED IN: 
DBLP
DBLP66
TITLE: Can Llama 3 Accurately Assess Readability? A Comparative Study Using Lead Sections from Wikipedia
AUTHORS: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PAGES: 89-97
AUTHORS: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PAGES: 89-97
67
TITLE: CART-based Synthetic Tabular Data Generation for Imbalanced Regression
AUTHORS: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.02811
AUTHORS: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.02811
INDEXED IN: DBLP
DBLP68
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
69
TITLE: Chronotype, Lifestyles, and Anthropometric and Biochemical Indices for Cardiovascular Risk Assessment Among Obese Individuals Full Text
AUTHORS: Rabaca Alexandre, Margarida; Poinhos, Rui; Oliveira, Bruno M. P. M. ; Correia, Flora;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 11, PAGES: 1858
AUTHORS: Rabaca Alexandre, Margarida; Poinhos, Rui; Oliveira, Bruno M. P. M. ; Correia, Flora;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 11, PAGES: 1858
70
TITLE: Class-Imbalanced Learning on Graphs: A Survey
AUTHORS: Yihong Ma; Yijun Tian; Nuno Moniz ; Nitesh V Chawla;
PUBLISHED: 2025, SOURCE: ACM Comput. Surv., VOLUME: 57, ISSUE: 8, PAGES: 207:1-207:16
AUTHORS: Yihong Ma; Yijun Tian; Nuno Moniz ; Nitesh V Chawla;
PUBLISHED: 2025, SOURCE: ACM Comput. Surv., VOLUME: 57, ISSUE: 8, PAGES: 207:1-207:16
71
TITLE: Classification for a folded von Mises-Fisher distribution
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLISHED: 2025, SOURCE: Research in Statistics, VOLUME: 3, ISSUE: 1
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLISHED: 2025, SOURCE: Research in Statistics, VOLUME: 3, ISSUE: 1
INDEXED IN: 
CrossRef
CrossRef72
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 CrossRef73
TITLE: Comparative insights into semantic archival modelling: evaluating RiC-O and ArchOnto representation capabilities
AUTHORS: Giagnolini, Lucia; Koch, Ines ; Tomasi, Francesca; Teixeira Lopes, Carla ;
PUBLISHED: 2025, SOURCE: JOURNAL OF DOCUMENTATION, VOLUME: 81, ISSUE: 4, PAGES: 1003-1031
AUTHORS: Giagnolini, Lucia; Koch, Ines ; Tomasi, Francesca; Teixeira Lopes, Carla ;
PUBLISHED: 2025, SOURCE: JOURNAL OF DOCUMENTATION, VOLUME: 81, ISSUE: 4, PAGES: 1003-1031
74
TITLE: Competitive and Cooperative Player-Oriented GWAPs for Enhancing Crowdsourcing Campaigns - An Evidence-Based Synthesis Full Text
AUTHORS: Guimaraes, Diogo; Correia, Antonio ; Paulino, Dennis ; Paredes, Hugo;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, PAGES: 1-27
AUTHORS: Guimaraes, Diogo; Correia, Antonio ; Paulino, Dennis ; Paredes, Hugo;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, PAGES: 1-27
75
TITLE: ConflictSync: Bandwidth Efficient Synchronization of Divergent State
AUTHORS: Pedro Silva Gomes; Miguel Boaventura Rodrigues; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2505.01144
AUTHORS: Pedro Silva Gomes; Miguel Boaventura Rodrigues; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2505.01144
INDEXED IN: DBLP
DBLP76
TITLE: Context-Aware Systems Architecture in Industry 4.0: A Systematic Literature Review
AUTHORS: Santos, Arlindo; Lima, Claudio; Pinto, Tiago; Reis, Arsenio; Barroso, Joao ;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 11, PAGES: 5863
AUTHORS: Santos, Arlindo; Lima, Claudio; Pinto, Tiago; Reis, Arsenio; Barroso, Joao ;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 11, PAGES: 5863
77
TITLE: Contract Usage and Evolution in Android Mobile Applications Full Text
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira; Carolina Carreira;
PUBLISHED: 2025, SOURCE: 39th European Conference on Object-Oriented Programming, ECOOP 2025 in 39th European Conference on Object-Oriented Programming, ECOOP 2025, June 30 to July 2, 2025, Bergen, Norway, VOLUME: 333, PAGES: 11:1-11:30
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira; Carolina Carreira;
PUBLISHED: 2025, SOURCE: 39th European Conference on Object-Oriented Programming, ECOOP 2025 in 39th European Conference on Object-Oriented Programming, ECOOP 2025, June 30 to July 2, 2025, Bergen, Norway, VOLUME: 333, PAGES: 11:1-11:30
INDEXED IN: Scopus DBLP
Scopus DBLP78
TITLE: Contributions for the Development of Personae: Method for Creating Persona Templates (MCPT)
AUTHORS: Couto, Fábio ; Malta, Mariana Curado ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Human-Computer Interaction, HCII in HCI INTERNATIONAL 2024-LATE BREAKING PAPERS, PT I, VOLUME: 15374, PAGES: 3-22
AUTHORS: Couto, Fábio ; Malta, Mariana Curado ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Human-Computer Interaction, HCII in HCI INTERNATIONAL 2024-LATE BREAKING PAPERS, PT I, VOLUME: 15374, PAGES: 3-22
79
TITLE: CRDT-Based Game State Synchronization in Peer-to-Peer VR
AUTHORS: Dantas, Abel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: 12th Workshop on Principles and Practice of Consistency for Distributed Data-PaPoC in PROCEEDINGS OF THE 12TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2025, VOLUME: abs/2503.17826, PAGES: 45-55
AUTHORS: Dantas, Abel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: 12th Workshop on Principles and Practice of Consistency for Distributed Data-PaPoC in PROCEEDINGS OF THE 12TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2025, VOLUME: abs/2503.17826, PAGES: 45-55
80
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 CrossRef