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
41
TITLE: Describing and Interpreting an Immersive Learning Case with the Immersion Cube and the Immersive Learning Brain
AUTHORS: Beck, Dennis; Morgado, Leonel ;
PUBLISHED: 2025, SOURCE: 10th International Conference of the Immersive Learning Research Network in IMMERSIVE LEARNING RESEARCH NETWORK, ILRN 2024, PT I, VOLUME: 2271, PAGES: 112-129
AUTHORS: Beck, Dennis; Morgado, Leonel ;
PUBLISHED: 2025, SOURCE: 10th International Conference of the Immersive Learning Research Network in IMMERSIVE LEARNING RESEARCH NETWORK, ILRN 2024, PT I, VOLUME: 2271, PAGES: 112-129
42
TITLE: DFDT: Dynamic Fast Decision Tree for IoT Data Stream Mining on Edge Devices
AUTHORS: Afonso Lourenço; João Rodrigo; João Gama ; Goreti Marreiros;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.14011
AUTHORS: Afonso Lourenço; João Rodrigo; João Gama ; Goreti Marreiros;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.14011
INDEXED IN:
DBLP

43
TITLE: Digital Innovation in Health Care: Addressing Medication Non-adherence
AUTHORS: Laxmi Bhandari; Manuel José Fonseca; António Fernandes; Jorge Esparteiro Garcia ;
PUBLISHED: 2025, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 393, PAGES: 849-861
AUTHORS: Laxmi Bhandari; Manuel José Fonseca; António Fernandes; Jorge Esparteiro Garcia ;
PUBLISHED: 2025, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 393, PAGES: 849-861
44
TITLE: Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Daniel Tinoco; Raquel Menezes; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.15287
AUTHORS: Daniel Tinoco; Raquel Menezes; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.15287
INDEXED IN:
DBLP

45
TITLE: Do We Need 3D to See? Impact of Dimensionality of the Virtual Environment on Attention
AUTHORS: Teresa Matos; Daniel Mendes ; João Jacob; Augusto A de Sousa; Rui Rodrigues;
PUBLISHED: 2025, SOURCE: 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 in IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2025 - Abstracts and Workshops, Saint Malo, France, March 8-12, 2025, PAGES: 1216-1217
AUTHORS: Teresa Matos; Daniel Mendes ; João Jacob; Augusto A de Sousa; Rui Rodrigues;
PUBLISHED: 2025, SOURCE: 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 in IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2025 - Abstracts and Workshops, Saint Malo, France, March 8-12, 2025, PAGES: 1216-1217
INDEXED IN:
Scopus
DBLP


46
TITLE: Does Every Computer Scientist Need to Know Formal Methods? Full Text
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
47
TITLE: Early Failure Detection for Air Production Unit in Metro Trains
AUTHORS: Zafra, Amelia; Veloso, Bruno ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Hybrid Artificial Intelligence Systems in HYBRID ARTIFICIAL INTELLIGENT SYSTEM, PT I, HAIS 2024, VOLUME: 14857, PAGES: 339-351
AUTHORS: Zafra, Amelia; Veloso, Bruno ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Hybrid Artificial Intelligence Systems in HYBRID ARTIFICIAL INTELLIGENT SYSTEM, PT I, HAIS 2024, VOLUME: 14857, PAGES: 339-351
48
TITLE: Efficient Instance Selection in Tree-Based Models for Data Streams Classification
AUTHORS: Aldo Marcelo Paim; João Gama; Bruno Veloso ; Fabrício Enembreck; Rita P Ribeiro;
PUBLISHED: 2025, SOURCE: 40th Annual ACM Symposium on Applied Computing, SAC 2025 in Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025, PAGES: 448-455
AUTHORS: Aldo Marcelo Paim; João Gama; Bruno Veloso ; Fabrício Enembreck; Rita P Ribeiro;
PUBLISHED: 2025, SOURCE: 40th Annual ACM Symposium on Applied Computing, SAC 2025 in Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025, PAGES: 448-455
49
TITLE: Empowering open data sharing for social good: a privacy-aware approach
AUTHORS: Carvalho, Tania; Antunes, Luis ; Costa Santos, Cristina; Moniz, Nuno;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1, PAGES: 248-
AUTHORS: Carvalho, Tania; Antunes, Luis ; Costa Santos, Cristina; Moniz, Nuno;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1, PAGES: 248-
50
TITLE: Enhancing Portuguese Variety Identification with Cross-Domain Approaches
AUTHORS: Hugo O Sousa; Rúben Almeida; Purificação Silvano; Inês Cantante; Ricardo Campos; Alípio Mário Jorge ;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 24, PAGES: 25192-25200
AUTHORS: Hugo O Sousa; Rúben Almeida; Purificação Silvano; Inês Cantante; Ricardo Campos; Alípio Mário Jorge ;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, VOLUME: 39, ISSUE: 24, PAGES: 25192-25200
INDEXED IN:
Scopus
DBLP


51
TITLE: Enhancing Recruitment with LLMs and Chatbots
AUTHORS: Novais, Liliana; Rocio, Vitor ; Morais, Jorge ;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Distributed Computing and Artificial Intelligence in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, SPECIAL SESSIONS II, 21ST INTERNATIONAL CONFERENCE, VOLUME: 1151, PAGES: 292-297
AUTHORS: Novais, Liliana; Rocio, Vitor ; Morais, Jorge ;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Distributed Computing and Artificial Intelligence in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, SPECIAL SESSIONS II, 21ST INTERNATIONAL CONFERENCE, VOLUME: 1151, PAGES: 292-297
52
TITLE: Evaluating Short Text Stream Clustering on Large E-commerce Datasets
AUTHORS: Andrade, Cesar; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 34th Brazilian Conference on Intelligent Systems in INTELLIGENT SYSTEMS, BRACIS 2024, PT III, VOLUME: 15414, PAGES: 245-259
AUTHORS: Andrade, Cesar; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 34th Brazilian Conference on Intelligent Systems in INTELLIGENT SYSTEMS, BRACIS 2024, PT III, VOLUME: 15414, PAGES: 245-259
53
TITLE: Evaluating the Therapeutic Potential of Exercise in Hypoxia and Low-Carbohydrate High-Fat Diet in Managing Hypertension in Elderly Type 2 Diabetes Patients: A Novel Intervention Approach
AUTHORS: Raquel Kindlovits; Ana Catarina Sousa; João Luís Viana; Jaime Milheiro; Bruno M P M Oliveira ; Franklim Marques; Santos, Alejandro; Vitor Hugo Teixeira;
PUBLISHED: 2025
AUTHORS: Raquel Kindlovits; Ana Catarina Sousa; João Luís Viana; Jaime Milheiro; Bruno M P M Oliveira ; Franklim Marques; Santos, Alejandro; Vitor Hugo Teixeira;
PUBLISHED: 2025
INDEXED IN:
CrossRef

54
TITLE: Evaluating the Therapeutic Potential of Exercise in Hypoxia and Low-Carbohydrate, High-Fat Diet in Managing Hypertension in Elderly Type 2 Diabetes Patients: A Novel Intervention Approach Full Text
AUTHORS: Kindlovits, Raquel; Sousa, Ana Catarina; Viana, Joao Luis; Milheiro, Jaime; Oliveira, Bruno M. P. M. ; Marques, Franklim; Santos, Alejandro; Teixeira, Vitor Hugo;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 3, PAGES: 522
AUTHORS: Kindlovits, Raquel; Sousa, Ana Catarina; Viana, Joao Luis; Milheiro, Jaime; Oliveira, Bruno M. P. M. ; Marques, Franklim; Santos, Alejandro; Teixeira, Vitor Hugo;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 3, PAGES: 522
55
TITLE: EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations
AUTHORS: Tadeu Freitas; Erick Silva; Rehana Yasmin; Ali Shoker; Manuel Eduardo Correia ; Rolando Martins; Paulo Jorge Esteves Veríssimo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.16984
AUTHORS: Tadeu Freitas; Erick Silva; Rehana Yasmin; Ali Shoker; Manuel Eduardo Correia ; Rolando Martins; Paulo Jorge Esteves Veríssimo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.16984
INDEXED IN:
DBLP

56
TITLE: Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation
AUTHORS: Ziad Kassam; Paulo Sérgio Almeida ; Ali Shoker;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 68290-68310
AUTHORS: Ziad Kassam; Paulo Sérgio Almeida ; Ali Shoker;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 68290-68310
57
TITLE: Exploiting Trusted Execution Environments and Distributed Computation for Genomic Association Tests
AUTHORS: Claudia Brito ; Pedro Ferreira; Joao Paulo;
PUBLISHED: 2025, SOURCE: IEEE Journal of Biomedical and Health Informatics, PAGES: 1-8
AUTHORS: Claudia Brito ; Pedro Ferreira; Joao Paulo;
PUBLISHED: 2025, SOURCE: IEEE Journal of Biomedical and Health Informatics, PAGES: 1-8
INDEXED IN:
Scopus
CrossRef


58
TITLE: Extending the Quantitative Pattern-Matching Paradigm
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLISHED: 2025, SOURCE: 22nd Asian Symposium on Programming Languages and Systems in PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, VOLUME: 15194, PAGES: 84-105
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLISHED: 2025, SOURCE: 22nd Asian Symposium on Programming Languages and Systems in PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, VOLUME: 15194, PAGES: 84-105
59
TITLE: Fairness Analysis in Causal Models: An Application to Public Procurement
AUTHORS: Teixeira, Sonia ; Nogueira, Ana Rita ; 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: 197-211
AUTHORS: Teixeira, Sonia ; Nogueira, Ana Rita ; 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: 197-211
60
TITLE: First Twenty Years of the International Symposium on Applied Reconfigurable Computing (ARC): A Selection of Papers
AUTHORS: João M P Cardoso ; Walid A Najjar;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Applied Reconfigurable Computing, ARC 2025 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings, VOLUME: 15594, PAGES: 3-12
AUTHORS: João M P Cardoso ; Walid A Najjar;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Applied Reconfigurable Computing, ARC 2025 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings, VOLUME: 15594, PAGES: 3-12
INDEXED IN:
Scopus
DBLP

