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
161
TITLE: Burning Reality: Experiencing Climate Change through Virtual Reality
AUTHORS: Federico Calà; Mariana Magalhães ; António Coelho; Antonio Lanata;
PUBLISHED: 2025, SOURCE: 2025 IEEE 14th Global Conference on Consumer Electronics (GCCE), PAGES: 1066-1067
INDEXED IN: CrossRef Unpaywall
162
TITLE: C'est Tres CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM
AUTHORS: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488, PAGES: 3-33
INDEXED IN: Scopus WOS DBLP CrossRef: 2
163
TITLE: Can a large language model replace humans at rating lexical semantic relations strength?
AUTHORS: André Fernandes dos Santos ; José Paulo Leal;
PUBLISHED: 2025, SOURCE: Computational Linguistics, PAGES: 1-48
INDEXED IN: CrossRef
164
TITLE: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTHORS: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLISHED: 2025, SOURCE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PAGES: 130-138
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
165
TITLE: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.22370, PAGES: 203-220
INDEXED IN: Scopus DBLP
166
TITLE: Can Llama 3 Accurately Assess Readability? A Comparative Study Using Lead Sections from Wikipedia
AUTHORS: Rodrigues, Jose Frederico; Cardoso, Henrique Lopes; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PAGES: 89-97
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
167
TITLE: Can We Trust AI Benchmarks? An Interdisciplinary Review of Current Issues in AI Evaluation
AUTHORS: Maria Eriksson; Erasmo Purificato; Arman Noroozian; João Vinagre ; Guillaume Chaslot; Emilia Gómez; David Fernández Llorca;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.06559
INDEXED IN: DBLP
168
TITLE: CapyMOA: Efficient Machine Learning for Data Streams in Python
AUTHORS: Heitor Murilo Gomes; Anton Lee; Nuwan Gunasekara; Yibin Sun; Guilherme Weigert Cassales; Justin Liu; Marco Heyden; Vítor Cerqueira ; Maroua Bahri; Yun Sing Koh; Bernhard Pfahringer; Albert Bifet;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.07432
INDEXED IN: DBLP
169
TITLE: CART-based Synthetic Tabular Data Generation for Imbalanced Regression
AUTHORS: António Pedro Pinheiro; Rita P Ribeiro ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.02811
INDEXED IN: DBLP
170
TITLE: CCS25 - Artifact for "Jazzline: Composable CryptoLine functional correctness proofs for Jasmin programs"
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles BARTHE; Lionel Blatter; João Diogo Duarte; Gustavo Xavier Delerue Marinho Alves; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, PAGES: 1409-1423
INDEXED IN: Scopus DBLP CrossRef
171
TITLE: Challenges in Artificial Intelligence and Business: An Ethical Perspective
AUTHORS: Nelson deMatos; Belem Barbosa ; Marisol B Correia;
PUBLISHED: 2025, SOURCE: Contributions to management science, PAGES: 17-39
INDEXED IN: CrossRef Unpaywall
172
TITLE: Characterising Class Imbalance in Transportation Mode Detection: An Experimental Study
AUTHORS: Muhammad, Akilu Rilwan; Aguiar, Ana ; Mendes Moreira, Joao ;
PUBLISHED: 2025, SOURCE: 25th International Conference on Intelligent Data Engineering and Automated Learning in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2024, PT II, VOLUME: 15347, PAGES: 58-70
INDEXED IN: Scopus WOS DBLP CrossRef
173
TITLE: Charting a course at the human–AI frontier: a paradigm matrix informed by social sciences and humanities  Full Text
AUTHORS: Ramon Chaves; Carlos Eduardo Barbosa; Gustavo Araujo de Oliveira; Alan Lyra; Matheus Argôlo; Herbert Salazar; Yuri Lima; Daniel Schneider; António Correia ; Jano Moreira de Souza;
PUBLISHED: 2025, SOURCE: AI & SOCIETY
INDEXED IN: CrossRef: 2 Unpaywall
174
TITLE: Cherry-Picking in Time Series Forecasting: How to Select Datasets to Make Your Model Shine
AUTHORS: Roque, Luis; Cerqueira, Vitor ; Soares, Carlos; Torgo, Luis ;
PUBLISHED: 2025, SOURCE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 19, VOLUME: 39, ISSUE: 19, PAGES: 20192-20199
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
175
TITLE: Chronotype, Lifestyles, and Anthropometric and Biochemical Indices for Cardiovascular Risk Assessment Among Obese Individuals  Full Text
AUTHORS: Rabaca Alexandre, Margarida; Poinhos, Rui; Oliveira, Bruno M. P. M. ; Correia, Flora;
PUBLISHED: 2025, SOURCE: NUTRIENTS, VOLUME: 17, ISSUE: 11, PAGES: 1858
INDEXED IN: Scopus WOS CrossRef
176
TITLE: Class-Imbalanced Learning on Graphs: A Survey
AUTHORS: Yihong Ma; Yijun Tian; Nuno Moniz ; Nitesh V Chawla;
PUBLISHED: 2025, SOURCE: ACM Comput. Surv., VOLUME: 57, ISSUE: 8, PAGES: 207:1-207:16
INDEXED IN: DBLP CrossRef: 13
177
TITLE: Classification for a folded von Mises-Fisher distribution
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLISHED: 2025, SOURCE: Research in Statistics, VOLUME: 3, ISSUE: 1
INDEXED IN: Scopus CrossRef
178
TITLE: CLEF 2025 JOKER Lab: Humour in the Machine
AUTHORS: Liana Ermakova; Anne Gwenn Bosser; Tristan Miller; Ricardo Campos ;
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: 389-397
INDEXED IN: Scopus DBLP CrossRef: 1
179
TITLE: Clustering and Classification of Compositional Data Using Distributions Defined on the Hypersphere
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2025, SOURCE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PAGES: 423-435
INDEXED IN: Scopus CrossRef: 1
180
TITLE: Co-Creation Method for Fostering Cultural Tourism Impact
AUTHORS: Pasandideh, Shabnam; Martins, Joao; Pereira, Pedro ; Gandini, Alessandra; De la Cal, Mikel Zubiaga; Kalvet, Tarmo; Koor, Tatjana; Sopelana, Amaia; de Aguileta, Amaia Lopez;
PUBLISHED: 2025, SOURCE: 2023 International Conference on Cultural Tourism Advances in ADVANCES IN CULTURAL TOURISM RESEARCH, ICCT 2023, PAGES: 35-46
INDEXED IN: WOS CrossRef

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