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
421
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
422
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
DBLP423
TITLE: Let's Talk About It: Making Scientific Computational Reproducibility Easier
AUTHORS: Lázaro Costa; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: VL/HCC, PAGES: 46-56
AUTHORS: Lázaro Costa; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: VL/HCC, PAGES: 46-56
INDEXED IN: DBLP
DBLP424
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
DBLP425
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
426
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
427
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
428
TITLE: LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs
AUTHORS: Rincon, Andre Mesquita; VINCENZI, AURI M. R. ; Faria, Joao Pascoal ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW in 2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, PAGES: 21-28
AUTHORS: Rincon, Andre Mesquita; VINCENZI, AURI M. R. ; Faria, Joao Pascoal ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW in 2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, PAGES: 21-28
429
TITLE: LLM-Based Framework for Synthetic Data Generation in Portuguese Clinical NER
AUTHORS: Luís Henriques; Nuno Guimarães ; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 335-347
AUTHORS: Luís Henriques; Nuno Guimarães ; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: EPIA (1), VOLUME: 16121 LNAI, PAGES: 335-347
430
TITLE: LLMs4All: A Review on Large Language Models for Research and Applications in Academic Disciplines
AUTHORS: Yanfang Ye; Zheyuan Zhang; Tianyi Ma; Zehong Wang; Yiyang Li; Shifu Hou; Weixiang Sun; Kaiwen Shi; Yijun Ma; Wei Song; Ahmed Abbasi; Ying Cheng; Jane Cleland Huang; Steven Corcelli; Robert Goulding; Ming Hu; Ting Hua; John Lalor; Fang Liu; Tengfei Luo; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2509.19580
AUTHORS: Yanfang Ye; Zheyuan Zhang; Tianyi Ma; Zehong Wang; Yiyang Li; Shifu Hou; Weixiang Sun; Kaiwen Shi; Yijun Ma; Wei Song; Ahmed Abbasi; Ying Cheng; Jane Cleland Huang; Steven Corcelli; Robert Goulding; Ming Hu; Ting Hua; John Lalor; Fang Liu; Tengfei Luo; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2509.19580
INDEXED IN: DBLP
DBLP431
TITLE: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PAGES: 101023
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PAGES: 101023
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP432
TITLE: LP-GRU Model: A Graph Analytics Approach to Detect Misinformation Infiltrators in Online Communities
AUTHORS: Devlina Karmakar; Mariana Curado Malta ; Giridhar Maji; Animesh Dutta;
PUBLISHED: 2025, SOURCE: 17th International Conference on COMmunication Systems and NETworkS, COMSNETS 2025 in International Conference on Communication Systems and Networks, COMSNETS, ISSUE: 2025, PAGES: 862-866
AUTHORS: Devlina Karmakar; Mariana Curado Malta ; Giridhar Maji; Animesh Dutta;
PUBLISHED: 2025, SOURCE: 17th International Conference on COMmunication Systems and NETworkS, COMSNETS 2025 in International Conference on Communication Systems and Networks, COMSNETS, ISSUE: 2025, PAGES: 862-866
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef433
TITLE: Machine Learning and Knowledge Discovery in Databases. Research Track. European Conference, ECML PKDD 2025, Porto, Portugal, September 15–19, 2025, Proceedings, Part VII
AUTHORS: Rita P Ribeiro ; Bernhard Pfahringer; Nathalie Japkowicz; Pedro Larrañaga; Alípio M Jorge; Carlos Soares; Pedro H Abreu; João Gama;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science
AUTHORS: Rita P Ribeiro ; Bernhard Pfahringer; Nathalie Japkowicz; Pedro Larrañaga; Alípio M Jorge; Carlos Soares; Pedro H Abreu; João Gama;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef434
TITLE: Machine Learning for Decision Support and Automation in Games: A Study on Vehicle Optimal Path Full Text
AUTHORS: Penelas, Goncalo; Barbosa, Luis ; Reis, Arsenio; Barroso, Joao ; Pinto, Tiago ;
PUBLISHED: 2025, SOURCE: ALGORITHMS, VOLUME: 18, ISSUE: 2, PAGES: 106
AUTHORS: Penelas, Goncalo; Barbosa, Luis ; Reis, Arsenio; Barroso, Joao ; Pinto, Tiago ;
PUBLISHED: 2025, SOURCE: ALGORITHMS, VOLUME: 18, ISSUE: 2, PAGES: 106
435
TITLE: Machine Learning Models for Indoor Positioning Using Bluetooth RSSI and Video Data: A Case Study Full Text
AUTHORS: Mamede, Tomas; Silva, Nuno; Marques, Eduardo R. B. ; Lopes, Luis M. B. ;
PUBLISHED: 2025, SOURCE: SENSORS, VOLUME: 25, ISSUE: 21, PAGES: 6640
AUTHORS: Mamede, Tomas; Silva, Nuno; Marques, Eduardo R. B. ; Lopes, Luis M. B. ;
PUBLISHED: 2025, SOURCE: SENSORS, VOLUME: 25, ISSUE: 21, PAGES: 6640
436
TITLE: Machine Learning Regression-Based Prediction for Improving Performance and Energy Consumption in HPC Platforms
AUTHORS: Coelho, Micaella; Ocana, Kary; Pereira, Andre ; Porto, Alexandre; Cardoso, Douglas O.; Lorenzon, Arthur; Oliveira, Rui ; Navaux, Philippe O. A.; Osthoff, Carla;
PUBLISHED: 2025, SOURCE: 11th Latin American Conference on High Performance Computing in HIGH PERFORMANCE COMPUTING, CARLA 2024, VOLUME: 2270, PAGES: 186-200
AUTHORS: Coelho, Micaella; Ocana, Kary; Pereira, Andre ; Porto, Alexandre; Cardoso, Douglas O.; Lorenzon, Arthur; Oliveira, Rui ; Navaux, Philippe O. A.; Osthoff, Carla;
PUBLISHED: 2025, SOURCE: 11th Latin American Conference on High Performance Computing in HIGH PERFORMANCE COMPUTING, CARLA 2024, VOLUME: 2270, PAGES: 186-200
437
TITLE: Mast: interpretable stress testing via meta-learning for forecasting model robustness evaluation
AUTHORS: Inacio, Ricardo ; Cerqueira, Vitor; Barandas, Marilia; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING, VOLUME: 114, ISSUE: 11, PAGES: 251
AUTHORS: Inacio, Ricardo ; Cerqueira, Vitor; Barandas, Marilia; Soares, Carlos ;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING, VOLUME: 114, ISSUE: 11, PAGES: 251
438
TITLE: MASTFM: Meta-learning and Data Augmentation to Stress Test Forecasting Models
AUTHORS: Ricardo Inácio; Vítor Cerqueira; Marília Barandas; Carlos Soares ;
PUBLISHED: 2025, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2025 in ECML/PKDD (10), VOLUME: 16022, PAGES: 427-431
AUTHORS: Ricardo Inácio; Vítor Cerqueira; Marília Barandas; Carlos Soares ;
PUBLISHED: 2025, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2025 in ECML/PKDD (10), VOLUME: 16022, PAGES: 427-431
INDEXED IN: Scopus DBLP
Scopus DBLP439
TITLE: Maximizing PV Hosting Capacity in Unbalanced and Active Distribution Systems With EVs and Demand Response
AUTHORS: Yumbla, Jairo; Home Ortiz, Juan M.; Pinto, Tiago ; Roberto Sanches Mantovani, Jose;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 152800-152811
AUTHORS: Yumbla, Jairo; Home Ortiz, Juan M.; Pinto, Tiago ; Roberto Sanches Mantovani, Jose;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 152800-152811
440
TITLE: mdatagen: A python library for the artificial generation of missing data Full Text
AUTHORS: Mangussi, Arthur Dantas; Santos, Miriam Seoane ; Lopes, Filipe Loyola; Pereira, Ricardo Cardoso; Lorena, Ana Carolina; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 625, PAGES: 129478
AUTHORS: Mangussi, Arthur Dantas; Santos, Miriam Seoane ; Lopes, Filipe Loyola; Pereira, Ricardo Cardoso; Lorena, Ana Carolina; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: NEUROCOMPUTING, VOLUME: 625, PAGES: 129478
