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

530 Team Members
Filters -> Year: 2025
81
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
82
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: 2 Unpaywall
83
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
84
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
85
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
INDEXED IN: DBLP
86
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
87
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
88
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
89
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
90
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: 2
91
TITLE: Classification for a folded von Mises-Fisher distribution
AUTHORS: Adelaide Maria Sousa Figueiredo ; Fernanda Otília Figueiredo ;
PUBLISHED: 2025, SOURCE: Research in Statistics, VOLUME: 3, ISSUE: 1
INDEXED IN: Scopus CrossRef
92
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
93
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
94
TITLE: Coastal Crete: A Digital Twin of the Ocean for Oil Spill Identification and Forecasting
AUTHORS: Metheniti, Vassiliki; Parasyris, Antonios; Fazzini, Noemi; Outmani, Sabrina; Correia, Miguel; Goddard, Jonny; Alexandrakis, George; Kozyrakis, Georgios V.; Vettorello, Laura; Keeble, Simon; Oliveira, Marco A. ; Quarta, Maria Luisa; Kampanis, Nikolaos;
PUBLISHED: 2025, SOURCE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PAGES: 1-8
INDEXED IN: Scopus WOS CrossRef Unpaywall
95
TITLE: Collaborating with Algorithms: AI for Collaborative Supply Chain Management
AUTHORS: Couto, Fábio ; Mariana Curado Malta ; António Lucas Soares ;
PUBLISHED: 2025, SOURCE: IFIP advances in information and communication technology, PAGES: 185-200
INDEXED IN: CrossRef Unpaywall
96
TITLE: Community-based voting approach to enhance the spreading dynamics by identifying a group of influential spreaders in complex networks
AUTHORS: Nandi, Suman; Malta, Mariana Curado ; Maji, Giridhar; Dutta, Animesh;
PUBLISHED: 2025, SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 86, PAGES: 102540
INDEXED IN: Scopus WOS CrossRef
97
TITLE: Comparative insights into semantic archival modelling: evaluating RiC-O and ArchOnto representation capabilities
AUTHORS: Giagnolini, Lucia; Koch, Ines ; Tomasi, Francesca; Teixeira Lopes, Carla ;
PUBLISHED: 2025, SOURCE: JOURNAL OF DOCUMENTATION, VOLUME: 81, ISSUE: 4, PAGES: 1003-1031
INDEXED IN: Scopus WOS CrossRef
98
TITLE: Comparison of two problem transformation-based methods in detecting the best performing branch-and-bound procedures for the RCPSP  Full Text
AUTHORS: Guo, WK; Vanhoucke, M; Coelho, J ;
PUBLISHED: 2025, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 281, PAGES: 127383
INDEXED IN: Scopus WOS CrossRef: 1 Unpaywall
99
TITLE: Competitive and Cooperative Player-Oriented GWAPs for Enhancing Crowdsourcing Campaigns - An Evidence-Based Synthesis  Full Text
AUTHORS: Guimaraes, Diogo; Correia, Antonio ; Paulino, Dennis ; Paredes, Hugo;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, PAGES: 1-27
INDEXED IN: Scopus WOS CrossRef
100
TITLE: ConflictSync: Bandwidth Efficient Synchronization of Divergent State
AUTHORS: Pedro Silva Gomes; Miguel Boaventura Rodrigues; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2505.01144
INDEXED IN: DBLP

Results per Page: 20.
Page 5 of 453. Total results: 9060.