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: 8097
531 Team MembersFilters -> Year: 2024
81
TITLE: Eight Weeks of Intermittent Exercise in Hypoxia, with or without a Low-Carbohydrate Diet, Improves Bone Mass and Functional and Physiological Capacity in Older Adults with Type 2 Diabetes 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: 2024, SOURCE: NUTRIENTS, VOLUME: 16, ISSUE: 11, PAGES: 1624
AUTHORS: Kindlovits, Raquel; Sousa, Ana Catarina; Viana, Joao Luis; Milheiro, Jaime; Oliveira, Bruno M. P. M. ; Marques, Franklim; Santos, Alejandro ; Teixeira, Vitor Hugo ;
PUBLISHED: 2024, SOURCE: NUTRIENTS, VOLUME: 16, ISSUE: 11, PAGES: 1624
82
TITLE: Embracing modern C++ features: An empirical assessment on the KDE community
AUTHORS: Walter Lucas; Fausto Carvalho; Rafael Campos Nunes; Rodrigo Bonifácio; João Saraiva ; Paola R G Accioly;
PUBLISHED: 2024, SOURCE: J. Softw. Evol. Process., VOLUME: 36, ISSUE: 5
AUTHORS: Walter Lucas; Fausto Carvalho; Rafael Campos Nunes; Rodrigo Bonifácio; João Saraiva ; Paola R G Accioly;
PUBLISHED: 2024, SOURCE: J. Softw. Evol. Process., VOLUME: 36, ISSUE: 5
INDEXED IN: 
DBLP
DBLP83
TITLE: Energy-efficient job shop scheduling problem with transport resources considering speed adjustable resources Full Text
AUTHORS: Fontes, Dalila B. M. M. ; Homayouni, Seyed Mahdi ; Fernandes, Joao Chaves ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 62, ISSUE: 3, PAGES: 867-890
AUTHORS: Fontes, Dalila B. M. M. ; Homayouni, Seyed Mahdi ; Fernandes, Joao Chaves ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 62, ISSUE: 3, PAGES: 867-890
84
TITLE: Enhancing Object Detection in Maritime Environments Using Metadata
AUTHORS: Fernandes, Diogo Samuel; Bispo, Joao ; Bento, Luis Conde; Figueiredo, Monica;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT II, VOLUME: 14470, PAGES: 76-89
AUTHORS: Fernandes, Diogo Samuel; Bispo, Joao ; Bento, Luis Conde; Figueiredo, Monica;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT II, VOLUME: 14470, PAGES: 76-89
85
TITLE: Enhancing Weather Forecasting Integrating LSTM and GA
AUTHORS: Teixeira, Rita; Cerveira, Adelaide ; Pires, Eduardo J. Solteiro; Baptista, Jose ;
PUBLISHED: 2024, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 14, ISSUE: 13, PAGES: 5769
AUTHORS: Teixeira, Rita; Cerveira, Adelaide ; Pires, Eduardo J. Solteiro; Baptista, Jose ;
PUBLISHED: 2024, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 14, ISSUE: 13, PAGES: 5769
86
TITLE: ESG in Advertising Narratives: Case Analysis of Golden Lion Winning Campaigns at Cannes 2022
AUTHORS: de Araujo, Daniel Ladeira; Garcia, Jorge Esparteiro ; Serra da Fonseca, Manuel Jose ; Andrade, Jose Gabriel;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PAGES: 43-50
AUTHORS: de Araujo, Daniel Ladeira; Garcia, Jorge Esparteiro ; Serra da Fonseca, Manuel Jose ; Andrade, Jose Gabriel;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PAGES: 43-50
87
TITLE: Estimating the Likelihood of Financial Behaviours Using Nearest Neighbors A case study on market sensitivities. A case study on market sensitivities Full Text
AUTHORS: Mendes Neves, Tiago ; Seca, Diogo; Sousa, Ricardo ; Ribeiro, Claudia ; Mendes Moreira, Joao ;
PUBLISHED: 2024, SOURCE: COMPUTATIONAL ECONOMICS, VOLUME: 63, ISSUE: 4, PAGES: 1477-1491
AUTHORS: Mendes Neves, Tiago ; Seca, Diogo; Sousa, Ricardo ; Ribeiro, Claudia ; Mendes Moreira, Joao ;
PUBLISHED: 2024, SOURCE: COMPUTATIONAL ECONOMICS, VOLUME: 63, ISSUE: 4, PAGES: 1477-1491
88
TITLE: Evaluating Tools for Enhancing Reproducibility in Computational Scientific Experiments
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2024, SOURCE: Proceedings of the 2nd ACM Conference on Reproducibility and Replicability, ACM REP 2024, Rennes, France, June 18-20, 2024
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2024, SOURCE: Proceedings of the 2nd ACM Conference on Reproducibility and Replicability, ACM REP 2024, Rennes, France, June 18-20, 2024
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef89
TITLE: Exploring Frama-C Resources by Verifying Space Software
AUTHORS: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2024, SOURCE: Computer Science Foundations and Applied Logic, PAGES: 583-615
AUTHORS: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2024, SOURCE: Computer Science Foundations and Applied Logic, PAGES: 583-615
INDEXED IN: CrossRef 
Unpaywall
CrossRef Unpaywall90
TITLE: Exploring students' opinion on software testing courses
AUTHORS: Cammaerts, Felix; Tramontana, Porfirio; Paiva, Ana C. R. ; Flores, Nuno ; Ricos, Fernando Pastor; Snoeck, Monique;
PUBLISHED: 2024, SOURCE: 28th International Conference on Evaluation and Assessment in Software Engineering (EASE) in PROCEEDINGS OF 2024 28TH INTERNATION CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2024, PAGES: 570-579
AUTHORS: Cammaerts, Felix; Tramontana, Porfirio; Paiva, Ana C. R. ; Flores, Nuno ; Ricos, Fernando Pastor; Snoeck, Monique;
PUBLISHED: 2024, SOURCE: 28th International Conference on Evaluation and Assessment in Software Engineering (EASE) in PROCEEDINGS OF 2024 28TH INTERNATION CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2024, PAGES: 570-579
91
TITLE: Factors Affecting Cloud Computing Adoption in the Education Context-Systematic Literature Review
AUTHORS: Santos, Antonio; Martins, Jose; Pestana, Pedro Duarte; Goncalves, Ramiro; Mamede, Henrique Sao ; Branco, Frederico ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 71641-71674
AUTHORS: Santos, Antonio; Martins, Jose; Pestana, Pedro Duarte; Goncalves, Ramiro; Mamede, Henrique Sao ; Branco, Frederico ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 71641-71674
92
TITLE: Federated Learning in Medical Image Analysis: A Systematic Survey Full Text
AUTHORS: da Silva, Fabiana Rodrigues; Camacho, Rui ; João Manuel R. S. Tavares;
PUBLISHED: 2024, SOURCE: ELECTRONICS, VOLUME: 13, ISSUE: 1, PAGES: 47
AUTHORS: da Silva, Fabiana Rodrigues; Camacho, Rui ; João Manuel R. S. Tavares;
PUBLISHED: 2024, SOURCE: ELECTRONICS, VOLUME: 13, ISSUE: 1, PAGES: 47
93
TITLE: Forecasting financial market structure from network features using machine learning PDF
AUTHORS: Castilho, Douglas; Souza, Tharsis T. P.; Kang, Soong Moon; Gama, Joao ; de Carvalho, Andre C. P. L. F.;
PUBLISHED: 2024, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: abs/2110.11751
AUTHORS: Castilho, Douglas; Souza, Tharsis T. P.; Kang, Soong Moon; Gama, Joao ; de Carvalho, Andre C. P. L. F.;
PUBLISHED: 2024, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: abs/2110.11751
INDEXED IN: 
Scopus 
WOS DBLP 
arXiv
Scopus WOS DBLP arXiv94
TITLE: Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt
AUTHORS: José Bacelar Almeida; Santiago Arranz Olmos; Manuel Barbosa; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Cameron Low; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference, CRYPTO 2024 in IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 843
AUTHORS: José Bacelar Almeida; Santiago Arranz Olmos; Manuel Barbosa; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Cameron Low; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference, CRYPTO 2024 in IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 843
INDEXED IN: Scopus DBLP
Scopus DBLP95
TITLE: Foundations for a Rust-Like Borrow Checker for C
AUTHORS: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PAGES: 155-165
AUTHORS: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PAGES: 155-165
96
TITLE: Framework for adaptive serious games Full Text
AUTHORS: Pistono, Alvaro Marcos Antonio de Araujo; dos Santos, Arnaldo Manuel Pinto; Baptista, Ricardo Jose Vieira; Mamede, Henrique Sao ;
PUBLISHED: 2024, SOURCE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION
AUTHORS: Pistono, Alvaro Marcos Antonio de Araujo; dos Santos, Arnaldo Manuel Pinto; Baptista, Ricardo Jose Vieira; Mamede, Henrique Sao ;
PUBLISHED: 2024, SOURCE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION
97
TITLE: From fault detection to anomaly explanation: A case study on predictive maintenance
AUTHORS: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLISHED: 2024, SOURCE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PAGES: 100821
AUTHORS: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLISHED: 2024, SOURCE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PAGES: 100821
98
TITLE: From Random to Informed Data Selection: A Diversity-Based Approach to Optimize Human Annotation and Few-Shot Learning
AUTHORS: Alexandre Alcoforado; Lucas Hideki Okamura; Israel Campos Fama; Bárbara Fernandes Dias Bueno; Arnold Moya Lavado; Thomas Palmeira Ferraz; Bruno Veloso ; Anna Helena Reali Costa;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PAGES: 492-502
AUTHORS: Alexandre Alcoforado; Lucas Hideki Okamura; Israel Campos Fama; Bárbara Fernandes Dias Bueno; Arnold Moya Lavado; Thomas Palmeira Ferraz; Bruno Veloso ; Anna Helena Reali Costa;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PAGES: 492-502
INDEXED IN: DBLP
DBLP99
TITLE: Fundamentals of a Digital Marketing Plan for a Tourism Infrastructure in Alentejo
AUTHORS: Popova, Mariia; Serra da Fonseca, Manuel Jose ; Garcia, Jorge Esparteiro ; Andrade, Jose Gabriel;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PAGES: 61-70
AUTHORS: Popova, Mariia; Serra da Fonseca, Manuel Jose ; Garcia, Jorge Esparteiro ; Andrade, Jose Gabriel;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PAGES: 61-70
100
TITLE: Fusion of Time-of-Flight Based Sensors with Monocular Cameras for a Robotic Person Follower Full Text
AUTHORS: Sarmento, Jose ; dos Santos, Filipe Neves ; Aguiar, Andre Silva ; Filipe, Vitor ; Valente, Antonio ;
PUBLISHED: 2024, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 110, ISSUE: 1
AUTHORS: Sarmento, Jose ; dos Santos, Filipe Neves ; Aguiar, Andre Silva ; Filipe, Vitor ; Valente, Antonio ;
PUBLISHED: 2024, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 110, ISSUE: 1
