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: 9007
530 Team MembersFilters -> Year: 2025
281
TITLE: Salvador Urban Network Transportation (SUNT): A Landmark Spatiotemporal Dataset for Public Transportation
AUTHORS: Ferreira, Marcos V.; Souza, Matheus; Rios, Tatiane N.; Fernandes, Islame F. C.; Nery, Jorge; Gama, Joao ; Bifet, Albert; Rios, Ricardo A.;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1
AUTHORS: Ferreira, Marcos V.; Souza, Matheus; Rios, Tatiane N.; Fernandes, Islame F. C.; Nery, Jorge; Gama, Joao ; Bifet, Albert; Rios, Ricardo A.;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1
282
TITLE: Sampling approaches to reduce very frequent seasonal time series Full Text
AUTHORS: Baldo, Afonso; Ferreira, Paulo J. S.; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
AUTHORS: Baldo, Afonso; Ferreira, Paulo J. S.; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
283
TITLE: Screening Urban Soil Contamination in Rome: Insights from XRF and Multivariate Analysis
AUTHORS: Chandramohan, Monica Shree; Martinho da Silva, Isabel; Ribeiro, Rita P. ; Jorge, Alipio; Esteves da Silva, Joaquim ;
PUBLISHED: 2025, SOURCE: ENVIRONMENTS, VOLUME: 12, ISSUE: 4, PAGES: 126
AUTHORS: Chandramohan, Monica Shree; Martinho da Silva, Isabel; Ribeiro, Rita P. ; Jorge, Alipio; Esteves da Silva, Joaquim ;
PUBLISHED: 2025, SOURCE: ENVIRONMENTS, VOLUME: 12, ISSUE: 4, PAGES: 126
284
TITLE: Scrum4DO178C: An Agile Process to Enhance Aerospace Software Development for DO-178C Compliance - A Case Study at Criticality Level A
AUTHORS: Eduardo E Ferreira Ribeiro; João Gabriel Silva; Ademar Aguiar ;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 66318-66337
AUTHORS: Eduardo E Ferreira Ribeiro; João Gabriel Silva; Ademar Aguiar ;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 66318-66337
285
TITLE: Segmentation of coronary calcifications with a domain knowledge-based lightweight 3D convolutional neural network Full Text
AUTHORS: Rui Santos; Rui Castro; Rubén Baeza; Fábio Nunes; Vítor Manuel Filipe; Francesco Renna ; Hugo Paredes; Ricardo Fontes Carvalho; João Pedrosa;
PUBLISHED: 2025, SOURCE: Comput. Biol. Medicine, VOLUME: 196, PAGES: 110798
AUTHORS: Rui Santos; Rui Castro; Rubén Baeza; Fábio Nunes; Vítor Manuel Filipe; Francesco Renna ; Hugo Paredes; Ricardo Fontes Carvalho; João Pedrosa;
PUBLISHED: 2025, SOURCE: Comput. Biol. Medicine, VOLUME: 196, PAGES: 110798
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef286
TITLE: Sensory Analysis Lab 3DModel: Modeling an Integrated Oenology Laboratory in Blender. Modeling an Integrated Oenology Laboratory in Blender
AUTHORS: Tânia De Jesus Vilela Da Rocha; Vilela, A; João Manuel Pereira Barroso ; Mehdi Akbari;
PUBLISHED: 2025, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PAGES: 332-337
AUTHORS: Tânia De Jesus Vilela Da Rocha; Vilela, A; João Manuel Pereira Barroso ; Mehdi Akbari;
PUBLISHED: 2025, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PAGES: 332-337
INDEXED IN: 
Scopus CrossRef
Scopus CrossRef287
TITLE: Serious Game Design for Green Mobility: A Lean Inception Approach
AUTHORS: Brito, Walkir, WAT,AT; null; null; Silva, João Sousa, JSE,E; Nunes, Ricardo Rodrigues, RR,; Filipe, Manuel De Jesus, VMDJ,V ;
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: 217-224
AUTHORS: Brito, Walkir, WAT,AT; null; null; Silva, João Sousa, JSE,E; Nunes, Ricardo Rodrigues, RR,; Filipe, Manuel De Jesus, VMDJ,V ;
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: 217-224
INDEXED IN: Scopus CrossRef
Scopus CrossRef288
TITLE: SIMD Acceleration of Matrix-Vector Operations on RISC-V for Variable Precision Neural Networks
AUTHORS: Gonzalo Salinas; Guilherme Sequeira; Alfonso Rodríguez; João Bispo; Nuno Paulino ;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2025 - Workshops, Milano, Italy, June 3-7, 2025, PAGES: 1140-1147
AUTHORS: Gonzalo Salinas; Guilherme Sequeira; Alfonso Rodríguez; João Bispo; Nuno Paulino ;
PUBLISHED: 2025, SOURCE: 2025 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2025 - Workshops, Milano, Italy, June 3-7, 2025, PAGES: 1140-1147
INDEXED IN: DBLP
DBLP289
TITLE: Smart Environments Based on Peer-to-Peer oneM2M IoT Standard: Preliminary Results
AUTHORS: Nuno Alexandre Ribeiro Costa; João Manuel Pereira Barroso ; Antonio Manuel Pereira;
PUBLISHED: 2025, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PAGES: 233-238
AUTHORS: Nuno Alexandre Ribeiro Costa; João Manuel Pereira Barroso ; Antonio Manuel Pereira;
PUBLISHED: 2025, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PAGES: 233-238
INDEXED IN: Scopus CrossRef
Scopus CrossRef290
TITLE: Social Compliance With NPIs, Mobility Patterns, and Reproduction Number: Lessons From COVID-19 in Europe
AUTHORS: Baccega, Daniele; Aguilar, Jose; Baquero, Carlos ; Fernandez Anta, Antonio; Marcos Ramirez, Juan;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 134357-134375
AUTHORS: Baccega, Daniele; Aguilar, Jose; Baquero, Carlos ; Fernandez Anta, Antonio; Marcos Ramirez, Juan;
PUBLISHED: 2025, SOURCE: IEEE ACCESS, VOLUME: 13, PAGES: 134357-134375
291
TITLE: Social Compliance With NPIs, Mobility Patterns, and Reproduction Number: Lessons From COVID-19 in Europe
AUTHORS: Daniele Baccega; José Aguilar; Carlos Baquero ; Antonio Fernández Anta; Juan Marcos Ramirez;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 134357-134375
AUTHORS: Daniele Baccega; José Aguilar; Carlos Baquero ; Antonio Fernández Anta; Juan Marcos Ramirez;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 134357-134375
INDEXED IN: DBLP CrossRef
DBLP CrossRef292
TITLE: Spatio-Temporal Predictive Modeling Techniques for Different Domains: a Survey
AUTHORS: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2
AUTHORS: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2
293
TITLE: Specification of paraconsistent transition systems, revisited Full Text
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103196
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103196
294
TITLE: Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.03659
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.03659
INDEXED IN: DBLP
DBLP295
TITLE: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTHORS: Policarpo, Nuno; Santos, Jose Fragoso; Cunha, Alcino ; Leitao, Joao; Costa, Pedro Akos;
PUBLISHED: 2025, SOURCE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, PAGES: 63-73
AUTHORS: Policarpo, Nuno; Santos, Jose Fragoso; Cunha, Alcino ; Leitao, Joao; Costa, Pedro Akos;
PUBLISHED: 2025, SOURCE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, PAGES: 63-73
296
TITLE: STEERING INTO THE FUTURE: PUBLIC PERCEPTIONS AND ACCEPTANCE OF AUTONOMOUS BUSES
AUTHORS: Ejdys, Joanna; Gulc, Aleksandra; Budna, Klaudia; Esparteiro Garcia, Jorge ;
PUBLISHED: 2025, SOURCE: ECONOMICS AND ENVIRONMENT, VOLUME: 92, ISSUE: 1, PAGES: 1140
AUTHORS: Ejdys, Joanna; Gulc, Aleksandra; Budna, Klaudia; Esparteiro Garcia, Jorge ;
PUBLISHED: 2025, SOURCE: ECONOMICS AND ENVIRONMENT, VOLUME: 92, ISSUE: 1, PAGES: 1140
297
TITLE: Studying and Improving Graph Neural Network-based Motif Estimation
AUTHORS: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.15709
AUTHORS: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.15709
INDEXED IN: DBLP
DBLP298
TITLE: Survey about Teachers' Perspective on Software Testing Education
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLISHED: 2025
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLISHED: 2025
INDEXED IN: DBLP
DBLP299
TITLE: Survey on machine learning applied to CNC milling processes
AUTHORS: Pasandidehpoor, Mohammad; Nogueira, Ana Rita; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLISHED: 2025, SOURCE: ADVANCES IN MANUFACTURING
AUTHORS: Pasandidehpoor, Mohammad; Nogueira, Ana Rita; Mendes Moreira, Joao ; Sousa, Ricardo;
PUBLISHED: 2025, SOURCE: ADVANCES IN MANUFACTURING
300
TITLE: Tempo: ML-KEM to PAKE Compiler Resilient to Timing Attacks
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 1399
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 1399
INDEXED IN: DBLP
DBLP