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

535 Team Members
Filters -> Year: 2026
361
TITLE: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTHORS: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025, PAGES: 41-45
INDEXED IN: DBLP CrossRef
362
TITLE: Innovative Approaches in Sensory Food Science: From Digital Tools to Virtual Reality
AUTHORS: Cosme, Fernanda; Rocha, Tania; Marques, Catarina; Barroso, Joao ; Vilela, Alice;
PUBLISHED: 2025, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 15, ISSUE: 8, PAGES: 4538
INDEXED IN: Scopus WOS CrossRef: 18
363
TITLE: Insights into LLM-Based Conversational Search: A Study of Tetun-Speaking Users' Search Behavior
AUTHORS: de Jesus, Gabriel ; Nunes, Sergio ;
PUBLISHED: 2025, SOURCE: 2025 International Conference on Innovative Concepts and Theories in Information Retrieval-ICTIR in PROCEEDINGS OF THE 2025 INTERNATIONAL ACM SIGIR CONFERENCE ON INNOVATIVE CONCEPTS AND THEORIES IN INFORMATION RETRIEVAL, ICTIR 2025, PAGES: 297-306
INDEXED IN: Scopus WOS CrossRef
364
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
365
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
366
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
367
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
368
TITLE: Interpretable Predictive Maintenance: Combining Anomaly Detection with Quantitative Root Cause Analysis
AUTHORS: Inês Barbosa ; João Gama ; Bruno Veloso ;
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 II, VOLUME: 16122, PAGES: 232-245
INDEXED IN: Scopus DBLP CrossRef Unpaywall
369
TITLE: Interpretable Rules for Online Failure Prediction: A Case Study on the Metro do Porto dataset
AUTHORS: Matthias Jakobs; Bruno Veloso ; João Gama ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.07394
INDEXED IN: DBLP
370
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
373
TITLE: Introduction
AUTHORS: Leontios Hadjileontiadis; Habiba Al Safar; João Barroso ; Hugo Paredes;
PUBLISHED: 2025, SOURCE: ACM International Conference Proceeding Series
INDEXED IN: Scopus
374
TITLE: Introduction to the Special Collection from FACS 2022  Full Text
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
375
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
376
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
378
TITLE: Is There Hypothesis for Attribute Grammars?
AUTHORS: Emanuel Rodrigues; José Nuno Macedo; João Saraiva ;
PUBLISHED: 2025, SOURCE: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia, VOLUME: 134, PAGES: 19:1-19:15
INDEXED IN: DBLP
379
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
380
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: The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025
INDEXED IN: DBLP

Results per Page: 20.
Page 19 of 534. Total results: 10669.