CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 8970

530 Team Members
Filters -> Year: 2025
261
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
INDEXED IN: Scopus WOS CrossRef
262
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
INDEXED IN: DBLP CrossRef
263
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
INDEXED IN: Scopus WOS CrossRef: 3 Unpaywall
264
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
INDEXED IN: Scopus WOS DBLP CrossRef
265
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
INDEXED IN: DBLP
266
TITLE: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTHORS: Nuno Policarpo; José Fragoso Santos; Alcino Cunha ; João Leitão; Pedro Ákos Costa;
PUBLISHED: 2025, SOURCE: 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2025 in 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025, PAGES: 63-73
INDEXED IN: Scopus DBLP CrossRef
267
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
INDEXED IN: Scopus WOS CrossRef
268
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
INDEXED IN: DBLP
269
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
INDEXED IN: DBLP
270
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
271
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
INDEXED IN: DBLP
272
TITLE: Testing infrastructures to support mobile application testing: A systematic mapping study
AUTHORS: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; Vincenzi, Auri Marcelo Rizzo;
PUBLISHED: 2025, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PAGES: 107573
INDEXED IN: Scopus WOS DBLP
273
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
INDEXED IN: Scopus DBLP CrossRef
274
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
INDEXED IN: Scopus WOS CrossRef
275
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
INDEXED IN: Scopus CrossRef
276
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
INDEXED IN: Scopus WOS DBLP CrossRef
277
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
278
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
INDEXED IN: Scopus CrossRef Unpaywall
279
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
INDEXED IN: Scopus WOS CrossRef: 3

Results per Page: 20.
Page 14 of 449. Total results: 8970.