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: 9088
530 Team MembersFilters -> Year: 2025
321
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 CrossRef322
TITLE: SIMD Acceleration of Matrix-Vector Operations on RISC-V for Variable Precision Neural Networks
AUTHORS: Salinas, Gonzalo; Sequeira, Guilherme; Rodriguez, Alfonso; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2025, SOURCE: 2025 International Parallel and Distributed Processing Symposium Workshops-IPDPSW-Annual in 2025 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, IPDPSW, PAGES: 1140-1147
AUTHORS: Salinas, Gonzalo; Sequeira, Guilherme; Rodriguez, Alfonso; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2025, SOURCE: 2025 International Parallel and Distributed Processing Symposium Workshops-IPDPSW-Annual in 2025 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, IPDPSW, PAGES: 1140-1147
INDEXED IN: 
WOS 
DBLP
WOS DBLP323
TITLE: Simulating Ocean Futures: A Digital Twin Pilot for Environmental Scenarios
AUTHORS: Antonio, Vasilijevic; Bronner, Ute; Nepstad, Raymond; Oliveira, Marco Amaro ;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-6
AUTHORS: Antonio, Vasilijevic; Bronner, Ute; Nepstad, Raymond; Oliveira, Marco Amaro ;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-6
324
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 CrossRef325
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
326
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
327
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
328
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
DBLP329
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
330
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
331
TITLE: Strategic Alliances in NetLogo: A Flocking Algorithm with Reinforcement Learning
AUTHORS: Sónia Teixeira ; Pedro Campos;
PUBLISHED: 2025, SOURCE: Machine Learning Perspectives of Agent-Based Models, PAGES: 287-306
AUTHORS: Sónia Teixeira ; Pedro Campos;
PUBLISHED: 2025, SOURCE: Machine Learning Perspectives of Agent-Based Models, PAGES: 287-306
INDEXED IN: CrossRef
CrossRef332
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
DBLP333
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
DBLP334
TITLE: Survey on Detection of Fraudulent Documents
AUTHORS: Diogo Marcelo Nogueira ; Matilde Simões; Carlos Ferreira; Rita P Ribeiro; David Martínez-Rego; Amanda Cai; João Gama;
PUBLISHED: 2025
AUTHORS: Diogo Marcelo Nogueira ; Matilde Simões; Carlos Ferreira; Rita P Ribeiro; David Martínez-Rego; Amanda Cai; João Gama;
PUBLISHED: 2025
INDEXED IN: CrossRef
CrossRef335
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
336
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
DBLP337
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
338
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
339
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
340
TITLE: The Attitude of Young Portuguese Youth Toward Blood Donation Advertising Campaigns—an Exploratory Approach
AUTHORS: Manuel José Fonseca; Sara Lopes; Jorge Esparteiro Garcia ; Bruno Barbosa Sousa;
PUBLISHED: 2025, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2024 in Smart Innovation, Systems and Technologies, VOLUME: 439, PAGES: 547-556
AUTHORS: Manuel José Fonseca; Sara Lopes; Jorge Esparteiro Garcia ; Bruno Barbosa Sousa;
PUBLISHED: 2025, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2024 in Smart Innovation, Systems and Technologies, VOLUME: 439, PAGES: 547-556
INDEXED IN: Scopus CrossRef
Scopus CrossRef