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: 8976
530 Team MembersFilters -> Year: 2025
261
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
262
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 CrossRef263
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 CrossRef264
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 CrossRef265
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
DBLP266
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 CrossRef267
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
268
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 CrossRef269
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
270
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
271
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
DBLP272
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
273
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
274
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
DBLP275
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
DBLP276
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
277
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
DBLP278
TITLE: Testing infrastructures to support mobile application testing: A systematic mapping study Full Text
AUTHORS: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; VINCENZI, AURI M. R. ;
PUBLISHED: 2025, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PAGES: 107573
AUTHORS: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; VINCENZI, AURI M. R. ;
PUBLISHED: 2025, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PAGES: 107573
279
TITLE: The 8th International Workshop on Narrative Extraction from Texts: Text2Story 2025
AUTHORS: Ricardo Campos; Alípio Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak;
PUBLISHED: 2025, SOURCE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PAGES: 345-351
AUTHORS: Ricardo Campos; Alípio Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak;
PUBLISHED: 2025, SOURCE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PAGES: 345-351
280
TITLE: The Application of Machine Learning and Deep Learning with a Multi-Criteria Decision Analysis for Pedestrian Modeling: A Systematic Literature Review (1999-2023) Full Text
AUTHORS: Reyes Norambuena, Pedro; Pinto, Alberto Adrego ; Martinez, Javier; Karbassi Yazdi, Amir; Tan, Yong;
PUBLISHED: 2025, SOURCE: SUSTAINABILITY, VOLUME: 17, ISSUE: 1, PAGES: 41
AUTHORS: Reyes Norambuena, Pedro; Pinto, Alberto Adrego ; Martinez, Javier; Karbassi Yazdi, Amir; Tan, Yong;
PUBLISHED: 2025, SOURCE: SUSTAINABILITY, VOLUME: 17, ISSUE: 1, PAGES: 41
