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: 10655
535 Team MembersFilters -> Year: 2026
221
TITLE: Designing Mutation Operators for Android Device Components: A View Through Bluetooth and Location API's
AUTHORS: Pedro Henrique Kuroishi; Ana C R Paiva ; José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi;
PUBLISHED: 2025, SOURCE: Proceedings of the 39th Brazilian Symposium on Software Engineering, SBES 2025, Recife, Brazil, September 22-26, 2025, PAGES: 149-159
AUTHORS: Pedro Henrique Kuroishi; Ana C R Paiva ; José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi;
PUBLISHED: 2025, SOURCE: Proceedings of the 39th Brazilian Symposium on Software Engineering, SBES 2025, Recife, Brazil, September 22-26, 2025, PAGES: 149-159
INDEXED IN: 
DBLP
DBLP222
TITLE: Detecting Resource Leaks on Android with Alpakka
AUTHORS: Santos, Gustavo; Bispo, Joao ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 199-211
AUTHORS: Santos, Gustavo; Bispo, Joao ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 199-211
223
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
DBLP224
TITLE: Differentially-private data synthetisation for efficient re-identification risk control Full Text
AUTHORS: Carvalho, Tania; Moniz, Nuno ; Antunes, Luis ; Chawla, Nitesh;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING, VOLUME: 114, ISSUE: 7, PAGES: 164
AUTHORS: Carvalho, Tania; Moniz, Nuno ; Antunes, Luis ; Chawla, Nitesh;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING, VOLUME: 114, ISSUE: 7, PAGES: 164
225
TITLE: Digital Cognitive Behavioural Therapy for Older Adults with symptoms of depression: a feasibility study (Preprint)
AUTHORS: Khadicha Amarti; Mieke H J Schulte; Annet Kleiboer; Claire van Genugten; Mardien Oudega; Artur Rocha ; Heleen Riper;
PUBLISHED: 2025
AUTHORS: Khadicha Amarti; Mieke H J Schulte; Annet Kleiboer; Claire van Genugten; Mardien Oudega; Artur Rocha ; Heleen Riper;
PUBLISHED: 2025
INDEXED IN: 
CrossRef
CrossRef226
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
227
TITLE: Digital Twins of the Ocean - Interoperability Pipeline Architecture
AUTHORS: Berre, Arne J.; Sylaios, Georgios; Agorogiannis, Evangelos; Mayer, Igor; Sarmento, Pedro; Laudy, Claire; Oliveira, Marco Amaro ;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-5
AUTHORS: Berre, Arne J.; Sylaios, Georgios; Agorogiannis, Evangelos; Mayer, Igor; Sarmento, Pedro; Laudy, Claire; Oliveira, Marco Amaro ;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-5
228
TITLE: Discovering user groups of active modes of transport in urban centers using clustering methods
AUTHORS: Felicio, Soraia; Hora, Joana ; Ferreira, Marta Campos ; Sobral, Thiago; Camacho, Rui ; Galvao, Teresa ;
PUBLISHED: 2025, SOURCE: JOURNAL OF TRANSPORT & HEALTH, VOLUME: 44, PAGES: 102125
AUTHORS: Felicio, Soraia; Hora, Joana ; Ferreira, Marta Campos ; Sobral, Thiago; Camacho, Rui ; Galvao, Teresa ;
PUBLISHED: 2025, SOURCE: JOURNAL OF TRANSPORT & HEALTH, VOLUME: 44, PAGES: 102125
229
TITLE: Discriminant analysis for a folded Watson distribution Full Text
AUTHORS: Figueiredo, Adelaide ; Figueiredo, Fernanda ;
PUBLISHED: 2025, SOURCE: JOURNAL OF APPLIED STATISTICS, PAGES: 1-19
AUTHORS: Figueiredo, Adelaide ; Figueiredo, Fernanda ;
PUBLISHED: 2025, SOURCE: JOURNAL OF APPLIED STATISTICS, PAGES: 1-19
230
TITLE: Distance-based feature selection using Benford's law for malware detection
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus O.; Antunes, Mario ;
PUBLISHED: 2025, SOURCE: COMPUTERS & SECURITY, VOLUME: 158, PAGES: 104625
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus O.; Antunes, Mario ;
PUBLISHED: 2025, SOURCE: COMPUTERS & SECURITY, VOLUME: 158, PAGES: 104625
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP231
TITLE: Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP232
TITLE: Do We Need 3D to See? Impact of Dimensionality of the Virtual Environment on Attention
AUTHORS: Matos, Teresa; Mendes, Daniel ; Jacob, Joao; de Sousa, A. Augusto ; Rodrigues, Rui ;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 1216-1217
AUTHORS: Matos, Teresa; Mendes, Daniel ; Jacob, Joao; de Sousa, A. Augusto ; Rodrigues, Rui ;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 1216-1217
233
TITLE: Doctoral Colloquium—Immersive, Inventive and Gamified Narratives: A Pathway to Teacher Training in the Digital Age
AUTHORS: Luiza Schell; Eliane Schlemmer ;
PUBLISHED: 2025, SOURCE: 2025 11th International Conference of the Immersive Learning Research Network (iLRN) Proceedings - Selected Academic Contributions, PAGES: 291-298
AUTHORS: Luiza Schell; Eliane Schlemmer ;
PUBLISHED: 2025, SOURCE: 2025 11th International Conference of the Immersive Learning Research Network (iLRN) Proceedings - Selected Academic Contributions, PAGES: 291-298
INDEXED IN: CrossRef
CrossRef234
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
235
TITLE: Don't Forget This: Augmenting Results with Event-Aware Search
AUTHORS: Sousa, Hugo ; Ward, Austin R.; Alonso, Omar;
PUBLISHED: 2025, SOURCE: 18th International Conference on Web Search and Data Mining-WSDM in PROCEEDINGS OF THE EIGHTEENTH ACM INTERNATIONAL CONFERENCE ON WEB SEARCH AND DATA MINING, WSDM 2025, PAGES: 1056-1059
AUTHORS: Sousa, Hugo ; Ward, Austin R.; Alonso, Omar;
PUBLISHED: 2025, SOURCE: 18th International Conference on Web Search and Data Mining-WSDM in PROCEEDINGS OF THE EIGHTEENTH ACM INTERNATIONAL CONFERENCE ON WEB SEARCH AND DATA MINING, WSDM 2025, PAGES: 1056-1059
236
TITLE: Drawing for Social Re-Connectivity Through Collaborative and Digital Environments. Preliminary Drawing Activities
AUTHORS: Eliana Penedos Santiago; Silvia Simões; Pedro Amado; Bruno Giesteira ;
PUBLISHED: 2025, SOURCE: 4th International Conference in Information Technology and Education, ICITED 2024 in Lecture Notes in Networks and Systems, VOLUME: 859 LNNS, PAGES: 242-247
AUTHORS: Eliana Penedos Santiago; Silvia Simões; Pedro Amado; Bruno Giesteira ;
PUBLISHED: 2025, SOURCE: 4th International Conference in Information Technology and Education, ICITED 2024 in Lecture Notes in Networks and Systems, VOLUME: 859 LNNS, PAGES: 242-247
INDEXED IN: Scopus CrossRef
Scopus CrossRef237
TITLE: Dynamic Online Parameter Configuration of Genetic Algorithms Using Reinforcement Learning
AUTHORS: Oliveira, Vitor; Pinto, Tiago ; Ramos, Carlos;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 172-183
AUTHORS: Oliveira, Vitor; Pinto, Tiago ; Ramos, Carlos;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 172-183
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP238
TITLE: Dynamics of Fisheries in the Azores Islands: A Network Analysis Approach
AUTHORS: Nogueira, Brenda; Torres, Ana; Moniz, Nuno ; Menezes, Gui M.;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 297-308
AUTHORS: Nogueira, Brenda; Torres, Ana; Moniz, Nuno ; Menezes, Gui M.;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 297-308
239
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
240
TITLE: Editorial of the special section: CIARP 2023 Full Text
AUTHORS: Inês Domingues; Vasconcelos, V ; Paredes, S;
PUBLISHED: 2025, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 189, PAGES: 239-240
AUTHORS: Inês Domingues; Vasconcelos, V ; Paredes, S;
PUBLISHED: 2025, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 189, PAGES: 239-240
