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: 10639
536 Team MembersFilters -> Year: 2026
401
TITLE: Interventions Based on Biofeedback Systems to Improve Workers' Psychological Well-Being, Mental Health, and Safety: Systematic Literature Review Full Text
AUTHORS: Ferreira, Simao; Rodrigues, Matilde A.; Mateus, Catarina ; Rodrigues, Pedro Pereira ; Nuno Rocha;
PUBLISHED: 2025, SOURCE: JOURNAL OF MEDICAL INTERNET RESEARCH, VOLUME: 27, ISSUE: 1
AUTHORS: Ferreira, Simao; Rodrigues, Matilde A.; Mateus, Catarina ; Rodrigues, Pedro Pereira ; Nuno Rocha;
PUBLISHED: 2025, SOURCE: JOURNAL OF MEDICAL INTERNET RESEARCH, VOLUME: 27, ISSUE: 1
402
403
TITLE: Introduction
AUTHORS: Leontios Hadjileontiadis; Habiba Al Safar; João Barroso ; Hugo Paredes;
PUBLISHED: 2025, SOURCE: ACM International Conference Proceeding Series
AUTHORS: Leontios Hadjileontiadis; Habiba Al Safar; João Barroso ; Hugo Paredes;
PUBLISHED: 2025, SOURCE: ACM International Conference Proceeding Series
INDEXED IN:
Scopus
404
TITLE: Introduction to the Special Collection from FACS 2022
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose ; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2, PAGES: 10:1-10:2
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose ; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2, PAGES: 10:1-10:2
405
TITLE: Introduction to the special issue on application of multi-agent systems, AI and blockchain in smart energy systems (VSI-sea) Full Text
AUTHORS: Mazdak Zamani; Fernando de la Prieta Pintado; Tiago Pinto ;
PUBLISHED: 2025, SOURCE: Comput. Electr. Eng., VOLUME: 123, PAGES: 110274
AUTHORS: Mazdak Zamani; Fernando de la Prieta Pintado; Tiago Pinto ;
PUBLISHED: 2025, SOURCE: Comput. Electr. Eng., VOLUME: 123, PAGES: 110274
406
TITLE: Is It Future or Is It Past?: From Self-contained Microtasks to AI-driven Collaborative Crowdsourcing
AUTHORS: Daniel Schneider; Marcos Antonio De Almeida; Ramon Chaves; Benjamim Fonseca ; Hesam Mohseni; Antonio Correia ;
PUBLISHED: 2025, SOURCE: 7th International Congress on Human-Computer Interaction, Optimization and Robotic Applications-ICHORA in 2025 7TH INTERNATIONAL CONGRESS ON HUMAN-COMPUTER INTERACTION, OPTIMIZATION AND ROBOTIC APPLICATIONS, ICHORA, PAGES: 1-4
AUTHORS: Daniel Schneider; Marcos Antonio De Almeida; Ramon Chaves; Benjamim Fonseca ; Hesam Mohseni; Antonio Correia ;
PUBLISHED: 2025, SOURCE: 7th International Congress on Human-Computer Interaction, Optimization and Robotic Applications-ICHORA in 2025 7TH INTERNATIONAL CONGRESS ON HUMAN-COMPUTER INTERACTION, OPTIMIZATION AND ROBOTIC APPLICATIONS, ICHORA, PAGES: 1-4
407
TITLE: Is school lunch participation associated with higher adherence to the Mediterranean Diet and healthier body weight? – a cross-sectional analysis of baseline data from the R23 project
AUTHORS: Rute Espanhol; Catarina Jacinto Soares; Bruno MPM Oliveira ; Torres, Duarte ; Maria João Gregório ;
PUBLISHED: 2025, SOURCE: Acta Portuguesa de Nutrição, VOLUME: 42, PAGES: 12-19
AUTHORS: Rute Espanhol; Catarina Jacinto Soares; Bruno MPM Oliveira ; Torres, Duarte ; Maria João Gregório ;
PUBLISHED: 2025, SOURCE: Acta Portuguesa de Nutrição, VOLUME: 42, PAGES: 12-19
INDEXED IN:
CrossRef
CrossRef408
TITLE: Is There Hypothesis for Attribute Grammars?
AUTHORS: Emanuel Rodrigues; José Nuno Macedo; João Saraiva ;
PUBLISHED: 2025, SOURCE: Programming, PAGES: 19:1-19:15
AUTHORS: Emanuel Rodrigues; José Nuno Macedo; João Saraiva ;
PUBLISHED: 2025, SOURCE: Programming, PAGES: 19:1-19:15
INDEXED IN:
DBLP
409
TITLE: Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; Gustavo Xavier Delerue Marinho Alves; João Diogo Duarte; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: CCS, PAGES: 1409-1423
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; Gustavo Xavier Delerue Marinho Alves; João Diogo Duarte; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: CCS, PAGES: 1409-1423
INDEXED IN:
DBLP
410
TITLE: Justice or Prejudice? Quantifying Biases in LLM-as-a-Judge
AUTHORS: Jiayi Ye; Yanbo Wang; Yue Huang; Dongping Chen; Qihui Zhang; Nuno Moniz ; Tian Gao; Werner Geyer; Chao Huang; Pin Yu Chen; Nitesh V Chawla; Xiangliang Zhang;
PUBLISHED: 2025, SOURCE: ICLR
AUTHORS: Jiayi Ye; Yanbo Wang; Yue Huang; Dongping Chen; Qihui Zhang; Nuno Moniz ; Tian Gao; Werner Geyer; Chao Huang; Pin Yu Chen; Nitesh V Chawla; Xiangliang Zhang;
PUBLISHED: 2025, SOURCE: ICLR
INDEXED IN:
DBLP
411
TITLE: KDBI special issue: Explainability feature selection framework application for LSTM multivariate time-series forecast self optimization Full Text
AUTHORS: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
AUTHORS: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
412
TITLE: KDBI special issue: Time-series pattern verification in CNC turning-A comparative study of one-class and binary classification
AUTHORS: da Silva, Joao Pinto ; Nogueira, Ana Rita ; Pinto, Jose ; Curral, Manuel; Alves, Antonio Correia; Sousa, Ricardo ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
AUTHORS: da Silva, Joao Pinto ; Nogueira, Ana Rita ; Pinto, Jose ; Curral, Manuel; Alves, Antonio Correia; Sousa, Ricardo ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
413
TITLE: KEIGO: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy PDF
AUTHORS: Adao, Ruben; Wu, Zhongjie; Zhou, Changjun; Balmau, Oana; Paulo, Joao ; Macedo, Ricardo ;
PUBLISHED: 2025, SOURCE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 18, ISSUE: 9, PAGES: 2872-2885
AUTHORS: Adao, Ruben; Wu, Zhongjie; Zhou, Changjun; Balmau, Oana; Paulo, Joao ; Macedo, Ricardo ;
PUBLISHED: 2025, SOURCE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 18, ISSUE: 9, PAGES: 2872-2885
414
TITLE: Keigo: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy (Extended Version)
AUTHORS: Rúben Adão; Zhongjie Wu; Changjun Zhou; Oana Balmau; João Paulo ; Ricardo Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.14630
AUTHORS: Rúben Adão; Zhongjie Wu; Changjun Zhou; Oana Balmau; João Paulo ; Ricardo Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.14630
INDEXED IN:
DBLP
415
TITLE: Knowledge-Aware Clinical Narrative Extraction Using Ontologies and Knowledge Graphs
AUTHORS: Maria Leite; Rita Rb Silva; Nuno Guimarães ; Lise Stork; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 26-41
AUTHORS: Maria Leite; Rita Rb Silva; Nuno Guimarães ; Lise Stork; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 26-41
416
TITLE: L-GTA: Latent Generative Modeling for Time Series Augmentation
AUTHORS: Luis Roque; Carlos Soares ; Vítor Cerqueira; Luís Torgo ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.23615
AUTHORS: Luis Roque; Carlos Soares ; Vítor Cerqueira; Luís Torgo ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.23615
INDEXED IN:
DBLP
417
TITLE: Land Surface Influence on Boundary Layer Air over the Atlantic Ocean from Environmental Radioactivity Full Text
AUTHORS: Dias, Nuno ; Barbosa, Susana ;
PUBLISHED: 2025, SOURCE: JOURNAL OF APPLIED METEOROLOGY AND CLIMATOLOGY, VOLUME: 64, ISSUE: 8, PAGES: 933-942
AUTHORS: Dias, Nuno ; Barbosa, Susana ;
PUBLISHED: 2025, SOURCE: JOURNAL OF APPLIED METEOROLOGY AND CLIMATOLOGY, VOLUME: 64, ISSUE: 8, PAGES: 933-942
418
TITLE: Large Language Model Framework for Log Sequence Anomaly Detection
AUTHORS: João Reis; Miguel Areias ; Jorge G Barbosa;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 324-334
AUTHORS: João Reis; Miguel Areias ; Jorge G Barbosa;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 324-334
419
TITLE: Large Language Model-Based Generation of Discharge Summaries
AUTHORS: Tiago Rodrigues; Carla Teixeira Lopes ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2512.06812
AUTHORS: Tiago Rodrigues; Carla Teixeira Lopes ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2512.06812
INDEXED IN:
DBLP
420
TITLE: Layer-based management of collaborative interior design in extended reality Full Text
AUTHORS: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLISHED: 2025, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, PAGES: 1-17
AUTHORS: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLISHED: 2025, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, PAGES: 1-17