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

535 Team Members
Filters -> Year: 2026
141
TITLE: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTHORS: Melissa Silva; João Pascoal Faria ;
PUBLISHED: 2025, SOURCE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PAGES: 149-160
INDEXED IN: DBLP
142
TITLE: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTHORS: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PAGES: 138-154
INDEXED IN: Scopus WOS DBLP CrossRef
143
TITLE: Automating Code Generation from User Interface Prototypes
AUTHORS: João Peixoto Castro; José Creissac Campos ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Graphics and Interaction (ICGI), PAGES: 1-8
INDEXED IN: CrossRef
144
TITLE: Automating Data Extraction from PDF Sleep Reports Using Data Mining Techniques
AUTHORS: Fábio Teixeira; João Costa; Pedro Amorim; Nuno Guimarães ; Daniela Ferreira Santos ;
PUBLISHED: 2025, SOURCE: Studies in health technology and informatics, VOLUME: 327, PAGES: 898-899
INDEXED IN: Scopus CrossRef
145
TITLE: Barcoding the Caatinga biome bees: a practical review
AUTHORS: Rodrigues, Pedro ; Teixeira, Claudia; Guimaraes, Laura ; Ferreira, Nuno G. C.;
PUBLISHED: 2025, SOURCE: MOLECULAR BIOLOGY REPORTS, VOLUME: 52, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 2
146
TITLE: Barrett's paradox of cooperation in the case of quasi-linear utilities  Full Text
AUTHORS: Accinelli, Elvio; Afsar, Atefeh; Martins, Filipe ; Martins, Jose ; Oliveira, Bruno M. P. M. ; Oviedo, Jorge; Pinto, Alberto A. ; Quintas, Luis;
PUBLISHED: 2025, SOURCE: MATHEMATICAL METHODS IN THE APPLIED SCIENCES, VOLUME: 48, ISSUE: 2, PAGES: 2493-2516
INDEXED IN: Scopus WOS CrossRef Unpaywall
147
TITLE: Bayesian Modelling of Time Series of Counts with Missing Data
AUTHORS: SILVA, ISABEL ; Maria Eduarda Silva ; Isabel Pereira ;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 83-98
INDEXED IN: Scopus CrossRef
148
TITLE: Bayesian Quantum Amplitude Estimation
AUTHORS: Alexandra Ramôa; Luís Paulo Santos ;
PUBLISHED: 2025, SOURCE: Quantum, VOLUME: 9, PAGES: 1856
INDEXED IN: Scopus CrossRef: 2
149
TITLE: Benchmarking Time Series Feature Extraction for Algorithm Selection
AUTHORS: Moisés Rocha dos Santos; Vítor Cerqueira; Carlos Soares ;
PUBLISHED: 2025, SOURCE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 269-281
INDEXED IN: Scopus DBLP
150
TITLE: Beyond algorithms: Artificial intelligence driven talent identification with human insight
AUTHORS: Franca, Tiago Jacob Fernandes; Sao Mamede, Jose Henrique Pereira ; Barroso, Joao Manuel Pereira ; dos Santos, Vitor Manuel Pereira Duarte;
PUBLISHED: 2025, SOURCE: INTELLIGENT SYSTEMS WITH APPLICATIONS, VOLUME: 28, PAGES: 200604
INDEXED IN: Scopus WOS CrossRef Unpaywall
151
TITLE: Beyond Physical Boundaries: Assessing Managers' Intentions to Adopt Virtual Reality Technology in Wine Tourism
AUTHORS: Sousa, Nuno; Alen, Elisa; Losada, Nieves; Melo, Miguel ;
PUBLISHED: 2025, SOURCE: TOURISM & MANAGEMENT STUDIES, VOLUME: 21, ISSUE: 2, PAGES: 53-66
INDEXED IN: WOS CrossRef: 1
153
TITLE: Blockchain governance: reducing trusted third parties with Decred project
AUTHORS: Marcelo Martins; Pedro Campos ; Isabel Mota;
PUBLISHED: 2025, SOURCE: International Journal of Information Technology and Management, VOLUME: 24, ISSUE: 1-2, PAGES: 162-189
INDEXED IN: Scopus CrossRef Handle
154
TITLE: Blockchain hybrid-model scheme for scalable cross-domain authorisation
AUTHORS: Mukhandi, Munkenyi; Granjal, Jorge; Vilela, Joao P. ;
PUBLISHED: 2025, SOURCE: BLOCKCHAIN-RESEARCH AND APPLICATIONS, VOLUME: 6, ISSUE: 4, PAGES: 100293
INDEXED IN: Scopus WOS CrossRef
155
TITLE: Blockchain-Assisted Device as a Service (DaaS)
AUTHORS: Tavares, Maria C.; Mendonca, Rui P.; Meneses, Diogo; Santos, Andre; Pinto, Antonio ;
PUBLISHED: 2025, SOURCE: 6th International Congress on Blockchain and Applications-BLOCKCHAIN-Annual in BLOCKCHAIN AND APPLICATIONS, 6TH INTERNATIONAL CONGRESS, VOLUME: 1256, PAGES: 110-119
INDEXED IN: Scopus WOS DBLP CrossRef
156
TITLE: Bridging Emotional Design with mobile technology: Towards the needs of Dementia informal caregivers
AUTHORS: Jessica Teixeira; Andreia Pinto De Sousa; Bruno Giesteira ;
PUBLISHED: 2025, SOURCE: 16th International Conference on ENTERprise Information Systems, CENTERIS 2024 - 12th International Conference on Project MANagement, ProjMAN 2024 - 14th International Conference on Health and Social Care Information Systems and Technologies, HCist 2024 in Procedia Computer Science, VOLUME: 256, PAGES: 933-941
INDEXED IN: Scopus CrossRef
157
TITLE: Bridging resource theory and quantum key distribution: geometric analysis and statistical testing  Full Text
AUTHORS: D'Urbano, Andrea; de Oliveira, Michael; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: QUANTUM INFORMATION PROCESSING, VOLUME: 24, ISSUE: 9, PAGES: 289
INDEXED IN: Scopus WOS DBLP
158
TITLE: Bridging the gaps: an updated mapping of the uses of immersive learning environments  Full Text
AUTHORS: Morgado, Leonel ; Beck, Dennis; O'Shea, Patrick;
PUBLISHED: 2025, SOURCE: VIRTUAL REALITY, VOLUME: 29, ISSUE: 3, PAGES: 134
INDEXED IN: Scopus WOS DBLP CrossRef
159
TITLE: Budget-Constrained Collaborative Renewable Energy Forecasting Market  Full Text
AUTHORS: Goncalves, Carla ; Bessa, Ricardo J. ; Teixeira, Tiago; Vinagre, Joao ;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 16, ISSUE: 2, PAGES: 1440-1452
INDEXED IN: Scopus WOS CrossRef: 3 Unpaywall
160
TITLE: Budget-constrained Collaborative Renewable Energy Forecasting Market
AUTHORS: Carla Gonçalves; Ricardo J Bessa; Tiago Teixeira; João Vinagre ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.12367
INDEXED IN: DBLP

Results per Page: 20.
Page 8 of 533. Total results: 10655.