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

536 Team Members
Filters -> Year: 2026
401
TITLE: Integrating a spatio-temporal diffusion model with a multi-criteria decision-making approach for optimal planning of electric vehicle charging infrastructure  Full Text
AUTHORS: Mejia, Mario A.; Macedo, Leonardo H.; Pinto, Tiago ; Franco, John F.;
PUBLISHED: 2025, SOURCE: APPLIED ENERGY, VOLUME: 395, PAGES: 126160
INDEXED IN: Scopus WOS CrossRef: 2
402
TITLE: Integrating artificial intelligence into scenario analysis: a validated framework for strategic planning under economic uncertainty
AUTHORS: Gabriela Bessa; Belem Barbosa ;
PUBLISHED: 2025, SOURCE: Global Economics Research, VOLUME: 1, ISSUE: 2, PAGES: 100007
INDEXED IN: CrossRef: 3
403
TITLE: Integration of Online Communication Channels and Online Consumer Behavior
AUTHORS: Paulo Botelho Pires; José Duarte Santos; Pedro Quelhas de Brito ;
PUBLISHED: 2025, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 393, PAGES: 491-505
INDEXED IN: Scopus
404
TITLE: INTELIGÊNCIA ARTIFICIAL E APRENDIZAGEM AUTORREGULADA: QUE DESAFIOS?
AUTHORS: Isolina Oliveira; Alda Pereira; Lúcia Amante; Vitor Rocio ;
PUBLISHED: 2025, SOURCE: Revista Docência e Cibercultura, VOLUME: 9, ISSUE: 1, PAGES: 1-19
INDEXED IN: CrossRef
405
TITLE: Interpretable Predictive Maintenance: Combining Anomaly Detection with Quantitative Root Cause Analysis
AUTHORS: Inês Barbosa ; João Gama ; Bruno Veloso ;
PUBLISHED: 2025, SOURCE: EPIA (2), VOLUME: 16122 LNAI, PAGES: 232-245
INDEXED IN: Scopus DBLP CrossRef Unpaywall
406
TITLE: Intersectional Divergence: Measuring Fairness in Regression
AUTHORS: Joe Germino; Nuno Moniz ; Nitesh V Chawla;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2505.00830
INDEXED IN: DBLP
409
TITLE: Introduction
AUTHORS: Leontios Hadjileontiadis; Habiba Al Safar; João Barroso ; Hugo Paredes;
PUBLISHED: 2025, SOURCE: ACM International Conference Proceeding Series
INDEXED IN: Scopus
410
TITLE: Introduction to the Special Collection from FACS 2022
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose ; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2, PAGES: 10:1-10:2
INDEXED IN: Scopus WOS DBLP CrossRef
411
TITLE: Introduction to the special issue on application of multi-agent systems, AI and blockchain in smart energy systems (VSI-sea)  Full Text
AUTHORS: Mazdak Zamani; Fernando de la Prieta Pintado; Tiago Pinto ;
PUBLISHED: 2025, SOURCE: Comput. Electr. Eng., VOLUME: 123, PAGES: 110274
INDEXED IN: Scopus DBLP CrossRef
412
TITLE: Is It Future or Is It Past?: From Self-contained Microtasks to AI-driven Collaborative Crowdsourcing
AUTHORS: Daniel Schneider; Marcos Antonio De Almeida; Ramon Chaves; Benjamim Fonseca ; Hesam Mohseni; Antonio Correia ;
PUBLISHED: 2025, SOURCE: 7th International Congress on Human-Computer Interaction, Optimization and Robotic Applications-ICHORA in 2025 7TH INTERNATIONAL CONGRESS ON HUMAN-COMPUTER INTERACTION, OPTIMIZATION AND ROBOTIC APPLICATIONS, ICHORA, PAGES: 1-4
INDEXED IN: Scopus WOS CrossRef Unpaywall
414
TITLE: Is There Hypothesis for Attribute Grammars?
AUTHORS: Emanuel Rodrigues; José Nuno Macedo; João Saraiva ;
PUBLISHED: 2025, SOURCE: Programming, PAGES: 19:1-19:15
INDEXED IN: DBLP
415
TITLE: Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; Gustavo Xavier Delerue Marinho Alves; João Diogo Duarte; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: CCS, PAGES: 1409-1423
INDEXED IN: DBLP
416
TITLE: Justice or Prejudice? Quantifying Biases in LLM-as-a-Judge
AUTHORS: Jiayi Ye; Yanbo Wang; Yue Huang; Dongping Chen; Qihui Zhang; Nuno Moniz ; Tian Gao; Werner Geyer; Chao Huang; Pin Yu Chen; Nitesh V Chawla; Xiangliang Zhang;
PUBLISHED: 2025, SOURCE: ICLR
INDEXED IN: DBLP
417
TITLE: KDBI special issue: Explainability feature selection framework application for LSTM multivariate time-series forecast self optimization  Full Text
AUTHORS: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 1
418
TITLE: KDBI special issue: Time-series pattern verification in CNC turning-A comparative study of one-class and binary classification
AUTHORS: da Silva, Joao Pinto ; Nogueira, Ana Rita ; Pinto, Jose ; Curral, Manuel; Alves, Antonio Correia; Sousa, Ricardo ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS, VOLUME: 42, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
419
TITLE: KEIGO: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy PDF
AUTHORS: Adao, Ruben; Wu, Zhongjie; Zhou, Changjun; Balmau, Oana; Paulo, Joao ; Macedo, Ricardo ;
PUBLISHED: 2025, SOURCE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 18, ISSUE: 9, PAGES: 2872-2885
INDEXED IN: Scopus WOS DBLP arXiv CrossRef DataCite Unpaywall
420
TITLE: Keigo: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy (Extended Version)
AUTHORS: Rúben Adão; Zhongjie Wu; Changjun Zhou; Oana Balmau; João Paulo ; Ricardo Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.14630
INDEXED IN: DBLP

Results per Page: 20.
Page 21 of 533. Total results: 10650.