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: 9043
530 Team MembersFilters -> Year: 2025
301
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
302
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
DBLP303
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
304
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
305
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
CrossRef306
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
DBLP307
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
DBLP308
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
309
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
DBLP310
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
311
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
312
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
313
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 CrossRef314
TITLE: The hierarchical importance of patent's characteristics to licensing: An analysis through Random Forest Full Text
AUTHORS: Reis, Alexander Araujo; Leite, Rafael Angelo Santos; Walter, Cicero Eduardo; Reis, Igor Bezerra; Goncalves, Ramiro ; Martins, Jose; Branco, Frederico ; Au Yong Oliveira, Manuel;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
AUTHORS: Reis, Alexander Araujo; Leite, Rafael Angelo Santos; Walter, Cicero Eduardo; Reis, Igor Bezerra; Goncalves, Ramiro ; Martins, Jose; Branco, Frederico ; Au Yong Oliveira, Manuel;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
315
TITLE: The impact of digital influencers on product/service purchase decision making-An exploratory case study of Portuguese people Full Text
AUTHORS: Caiado, Fabio; Fonseca, Joana; Silva, Joana; Neves, Soraia; Moreira, Ana; Goncalves, Ramiro ; Martins, Jose ; Branco, Frederico ; Au Yong Oliveira, Manuel ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 1
AUTHORS: Caiado, Fabio; Fonseca, Joana; Silva, Joana; Neves, Soraia; Moreira, Ana; Goncalves, Ramiro ; Martins, Jose ; Branco, Frederico ; Au Yong Oliveira, Manuel ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 1
316
TITLE: The impact of digital marketing on the esports industry: Preliminary approach. Preliminary Approach
AUTHORS: Tiago Braga Fernandes; Bruno Barbosa Sousa; Jorge Esparteiro Garcia ; Manuel José Serra da Fonseca;
PUBLISHED: 2025, SOURCE: Evolving Strategies for Organizational Management and Performance Evaluation, PAGES: 581-602
AUTHORS: Tiago Braga Fernandes; Bruno Barbosa Sousa; Jorge Esparteiro Garcia ; Manuel José Serra da Fonseca;
PUBLISHED: 2025, SOURCE: Evolving Strategies for Organizational Management and Performance Evaluation, PAGES: 581-602
317
TITLE: The molecular impact of cigarette smoking resembles aging across tissues Full Text
AUTHORS: Jose Miguel Ramirez; Rogério Ribeiro; Oleksandra Soldatkina; Athos Moraes; Raquel García-Pérez; Pedro G Ferreira ; Marta Melé;
PUBLISHED: 2025, SOURCE: GENOME MEDICINE, VOLUME: 17, ISSUE: 1
AUTHORS: Jose Miguel Ramirez; Rogério Ribeiro; Oleksandra Soldatkina; Athos Moraes; Raquel García-Pérez; Pedro G Ferreira ; Marta Melé;
PUBLISHED: 2025, SOURCE: GENOME MEDICINE, VOLUME: 17, ISSUE: 1
318
TITLE: The relationship between digital transformation and digital literacy - an explanatory model: Systematic literature review
AUTHORS: José Arnaud; Henrique São Mamede ; Frederico Augusto Branco ;
PUBLISHED: 2025, SOURCE: F1000Research, VOLUME: 13, PAGES: 253
AUTHORS: José Arnaud; Henrique São Mamede ; Frederico Augusto Branco ;
PUBLISHED: 2025, SOURCE: F1000Research, VOLUME: 13, PAGES: 253
319
TITLE: The Role of Deep Learning in Financial Asset Management: A Systematic Review
AUTHORS: Pedro Reis; Ana Paula Serra; João Gama ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.01591
AUTHORS: Pedro Reis; Ana Paula Serra; João Gama ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.01591
INDEXED IN: DBLP
DBLP320
TITLE: The SAIL dataset of marine atmospheric electric field observations over the Atlantic Ocean Full Text
AUTHORS: Barbosa, Susana ; Dias, Nuno ; Almeida, Carlos ; Amaral, Guilherme ; Ferreira, Antonio; Camilo, Antonio; Silva, Eduardo ;
PUBLISHED: 2025, SOURCE: EARTH SYSTEM SCIENCE DATA, VOLUME: 17, ISSUE: 4, PAGES: 1393-1405
AUTHORS: Barbosa, Susana ; Dias, Nuno ; Almeida, Carlos ; Amaral, Guilherme ; Ferreira, Antonio; Camilo, Antonio; Silva, Eduardo ;
PUBLISHED: 2025, SOURCE: EARTH SYSTEM SCIENCE DATA, VOLUME: 17, ISSUE: 4, PAGES: 1393-1405
