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: 10646
536 Team MembersFilters -> Year: 2026
481
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
DBLP482
TITLE: Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Barthe, Gilles; Blatter, Lionel; Delerue, Gustavo; Duarte, Joao Diogo; Gregoire, Benjamin; Oliveira, Tiago; Quaresma, Miguel; Strub, Pierre Yves; Tsai, Ming Hsien; Wang, Bow Yaw; Yang, Bo Yin;
PUBLISHED: 2025, SOURCE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025, PAGES: 1409-1423
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Barthe, Gilles; Blatter, Lionel; Delerue, Gustavo; Duarte, Joao Diogo; Gregoire, Benjamin; Oliveira, Tiago; Quaresma, Miguel; Strub, Pierre Yves; Tsai, Ming Hsien; Wang, Bow Yaw; Yang, Bo Yin;
PUBLISHED: 2025, SOURCE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025, PAGES: 1409-1423
INDEXED IN: 
WOS DBLP
WOS DBLP483
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
DBLP484
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
485
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
486
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
487
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
DBLP488
TITLE: L-GTA: Latent Generative Modeling for Time Series Augmentation
AUTHORS: Luis Roque; Carlos Soares ; vitor cerqueira ; Luís Torgo ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.23615
AUTHORS: Luis Roque; Carlos Soares ; vitor cerqueira ; Luís Torgo ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.23615
INDEXED IN: DBLP
DBLP489
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
490
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
DBLP491
TITLE: Large Language Models and Intelligent Agents in Education
AUTHORS: Walkir T Brito; António Paulino; Mateus Mendes; Arsénio Reis ;
PUBLISHED: 2025, SOURCE: 4th International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2024 in Communications in Computer and Information Science, VOLUME: 2479 CCIS, PAGES: 118-131
AUTHORS: Walkir T Brito; António Paulino; Mateus Mendes; Arsénio Reis ;
PUBLISHED: 2025, SOURCE: 4th International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2024 in Communications in Computer and Information Science, VOLUME: 2479 CCIS, PAGES: 118-131
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef492
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
493
TITLE: Leakage-Free Probabilistic Jasmin Programs
AUTHORS: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLISHED: 2025, SOURCE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PAGES: 3-16
AUTHORS: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLISHED: 2025, SOURCE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PAGES: 3-16
494
TITLE: LegionITS: A Federated Intrusion-Tolerant System Architecture
AUTHORS: Tadeu Freitas; Carlos Novo; Manuel Eduardo Correia ; Rolando Martins;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2512.14242
AUTHORS: Tadeu Freitas; Carlos Novo; Manuel Eduardo Correia ; Rolando Martins;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2512.14242
INDEXED IN: DBLP
DBLP495
TITLE: Let's Talk About It: Making Scientific Computational Reproducibility Easier
AUTHORS: Lázaro Costa; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2025 in VL/HCC, PAGES: 46-56
AUTHORS: Lázaro Costa; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2025 in VL/HCC, PAGES: 46-56
INDEXED IN: Scopus DBLP
Scopus DBLP496
TITLE: Leveraging Artificial Intelligence to Bridge Gaps in Pediatric Oncology Care for Marginalized Spanish-Speaking Communities
AUTHORS: Grigorii Khvatskii; Angélica García Martínez; Deng Pan; Matthew Belcher; Gerónimo Medrano Loera; Dayana Pineda Pérez; Juan Emmanuel Ferrari Muñoz Ledo; Horacio Márquez González; Nuno Moniz ; Nitesh V Chawla;
PUBLISHED: 2025, SOURCE: IJCAI, PAGES: 9763-9771
AUTHORS: Grigorii Khvatskii; Angélica García Martínez; Deng Pan; Matthew Belcher; Gerónimo Medrano Loera; Dayana Pineda Pérez; Juan Emmanuel Ferrari Muñoz Ledo; Horacio Márquez González; Nuno Moniz ; Nitesh V Chawla;
PUBLISHED: 2025, SOURCE: IJCAI, PAGES: 9763-9771
INDEXED IN: DBLP
DBLP497
TITLE: Leveraging Feature Extraction to Perform Time-Efficient Selection for Machine Learning Applications
AUTHORS: Coelho, Duarte; Madureira, Ana ; Pereira, Ivo ; Goncalves, Ramiro ; Nicola, Susana; Cesar, Ines; de Oliveira, Daniel Alves;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 15, PAGES: 8196
AUTHORS: Coelho, Duarte; Madureira, Ana ; Pereira, Ivo ; Goncalves, Ramiro ; Nicola, Susana; Cesar, Ines; de Oliveira, Daniel Alves;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 15, PAGES: 8196
498
TITLE: Leveraging LLMs to Improve Human Annotation Efficiency with INCEpTION
AUTHORS: Luís Filipe Cunha ; Nana Yu; Purificação Silvano ; Ricardo Campos ; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: ECIR (5), VOLUME: 15576 LNCS, PAGES: 53-58
AUTHORS: Luís Filipe Cunha ; Nana Yu; Purificação Silvano ; Ricardo Campos ; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: ECIR (5), VOLUME: 15576 LNCS, PAGES: 53-58
499
TITLE: Leveraging Synthetic Data to Develop a Machine Learning Model for Voiding Flow Rate Prediction From Audio Signals
AUTHORS: Alvarez, Marcos Lazaro; Bahillo, Alfonso; Arjona, Laura; Nogueira, Diogo Marcelo ; Gomes, EF ; Jorge, Alipio M. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 127240-127251
AUTHORS: Alvarez, Marcos Lazaro; Bahillo, Alfonso; Arjona, Laura; Nogueira, Diogo Marcelo ; Gomes, EF ; Jorge, Alipio M. ;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 127240-127251
500
TITLE: Lightweight Performance Monitoring of Real-Time Applications in RISC-V Platforms
AUTHORS: Soares, Nuno; Carvalho, Tiago ; Pinho, Luis M. ;
PUBLISHED: 2025, SOURCE: 28th Euromicro Conference on Digital System Design-DSD in 2025 28TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, DSD, PAGES: 402-409
AUTHORS: Soares, Nuno; Carvalho, Tiago ; Pinho, Luis M. ;
PUBLISHED: 2025, SOURCE: 28th Euromicro Conference on Digital System Design-DSD in 2025 28TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, DSD, PAGES: 402-409
