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: 8985

530 Team Members
Filters -> Year: 2025
1
TITLE: A framework for supporting the reproducibility of computational experiments in multiple scientific domains
AUTHORS: Lázaro Costa ; Susana Barbosa ; Jácome Cunha ;
PUBLISHED: 2026, SOURCE: Future Gener. Comput. Syst., VOLUME: 174, PAGES: 107924
INDEXED IN: Scopus DBLP CrossRef: 1
2
TITLE: An Explosion of the Uses of Immersive Learning Environments: A Mapping of Reviews Update
AUTHORS: Dennis Beck; Leonel Caseiro Morgado ; Patrick O’Shea;
PUBLISHED: 2026, SOURCE: 11th Annual International Conference of the Immersive Learning Research Network, iLRN 2025 in Communications in Computer and Information Science, VOLUME: 2598 CCIS, PAGES: 48-65
INDEXED IN: Scopus CrossRef
3
TITLE: Auto-active verification of distributed systems and specification refinements with Why3-do
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2026, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 247, PAGES: 103352
INDEXED IN: Scopus WOS DBLP CrossRef
4
TITLE: On Quantitative Solution Iteration in QAlloy
AUTHORS: Pedro Silva; Nuno Macedo ; José Nuno Oliveira;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State-Based Methods, ABZ 2025 in Lecture Notes in Computer Science, VOLUME: 15728 LNCS, PAGES: 88-105
INDEXED IN: Scopus CrossRef
5
TITLE: Real-Time Prediction of Wikipedia Articles’ Quality
AUTHORS: Pedro Miguel Moás; Carla Teixeira Lopes ;
PUBLISHED: 2026, SOURCE: 29th International Conference on Theory and Practice of Digital Libraries, TPDL 2025 in Lecture Notes in Computer Science, VOLUME: 16097 LNCS, PAGES: 304-320
INDEXED IN: Scopus Unpaywall
6
TITLE: A Computer-Aided Approach to Canine Hip Dysplasia Assessment: Measuring Femoral Head-Acetabulum Distance with Deep Learning
AUTHORS: Franco Goncalo, Pedro; Leite, Pedro; Alves Pimenta, Sofia; Colaco, Bruno; Goncalves, Lio; Filipe, Vitor ; McEvoy, Fintan; Ferreira, Manuel; Ginja, Mario;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 9, PAGES: 5087
INDEXED IN: WOS CrossRef
7
TITLE: A Control Chart for Zero‐Inflated Semi‐Continuous Data
AUTHORS: Fernanda Otília FIGUEIREDO; Adelaide FIGUEIREDO ; Ivette I GOMES;
PUBLISHED: 2025, SOURCE: Data Analysis and Related Applications 5, PAGES: 65-77
INDEXED IN: CrossRef
8
TITLE: A Dataset For Computational Reproducibility
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08684
INDEXED IN: DBLP
9
TITLE: A Deep Learning Framework for Medium-Term Covariance Forecasting in Multi-Asset Portfolios
AUTHORS: Pedro Reis; Ana Paula Serra; João Gama ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.01581
INDEXED IN: DBLP
10
TITLE: A Domain-Agnostic Virtual Choreography Framework for Digital Twins: an Oil Spill application
AUTHORS: Cassola, Fernando ; Cavaleiro, Vitor; Lacet, Demetrius; Correia, Miguel; Oliveira, Marco Amaro; de Carvalho, Alexandre Valle; Morgado, Leonel ;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-8
INDEXED IN: Scopus WOS CrossRef Unpaywall
11
TITLE: A Hybrid Deep Learning Approach for Enhanced Classification of Lung Pathologies From Chest X‐Ray  Full Text
AUTHORS: Samira Sajed; Habib Rostami; Jorge Esparteiro Garcia ; Ahmad Keshavarz; Andreia Teixeira;
PUBLISHED: 2025, SOURCE: International Journal of Imaging Systems and Technology, VOLUME: 35, ISSUE: 6
INDEXED IN: CrossRef
12
TITLE: A Look at Prevalent Vulnerabilities in Web and Mobile Applications: A Brief Systematic Review
AUTHORS: Alexandre Ferreira; João Barroso ; Arsénio Reis; António Jorge Gouveia;
PUBLISHED: 2025, SOURCE: Multidisciplinary International Conference of Research Applied to Defense and Security, MICRADS 2024 in Smart Innovation, Systems and Technologies, VOLUME: 423, PAGES: 281-291
INDEXED IN: Scopus CrossRef
13
TITLE: A new proposed model to assess the digital organizational readiness to maximize the results of the digital transformation in SMEs
AUTHORS: Silva, Rui Pedro; Mamede, Henrique Sao ; Santos, Vitor;
PUBLISHED: 2025, SOURCE: JOURNAL OF INNOVATION & KNOWLEDGE, VOLUME: 10, ISSUE: 1, PAGES: 100644
INDEXED IN: Scopus WOS CrossRef: 2 Unpaywall
14
TITLE: A Pattern Language for Engineering Software for the Cloud
AUTHORS: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLISHED: 2025, SOURCE: Transactions on Pattern Languages of Programming V, VOLUME: 5, PAGES: 1-66
INDEXED IN: Scopus DBLP CrossRef Unpaywall
15
TITLE: A Personalized Digital Solution to Assist Task Organization and Time Management for People with Attention Deficit/Hyperactivity Disorder (ADHD)
AUTHORS: Joana Oliveira; Tânia Rocha; João Barroso ;
PUBLISHED: 2025, SOURCE: Technology for Inclusion and Participation for All: Recent Achievements and Future Directions, PAGES: 372-377
INDEXED IN: CrossRef
16
TITLE: A Reinforcement Learning Based Recommender System Framework for Web Apps: Radio and Game Aggregators Scenarios
AUTHORS: Batista, Andre; Jose M Torres ; Sobral, Pedro; Moreira, Rui S. ; Christophe Soares ; Pereira, Ivo ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PAGES: 421-434
INDEXED IN: Scopus WOS DBLP CrossRef
18
TITLE: A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources  Full Text
AUTHORS: Freitas, Tadeu; Novo, Carlos; Dutra, Ines; Soares, Joao; Correia, Manuel E. ; Shariati, Benham; Martins, Rolando ;
PUBLISHED: 2025, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: abs/2508.13364
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
19
TITLE: A ROS2-based middleware for flexible integration and task performance across diverse environments: Preliminary Results
AUTHORS: Rúben Carreira; Nuno Alexandre Ribeiro Costa; João Ramos; Luis Alexandre Lopes Frazao; 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: 239-244
INDEXED IN: Scopus CrossRef
20
TITLE: A Scalable Approach for Unified Large Events Models in Soccer
AUTHORS: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLISHED: 2025, SOURCE: Lecture notes in computer science, PAGES: 354-371
INDEXED IN: CrossRef Unpaywall

Results per Page: 20.
Page 1 of 450. Total results: 8985.