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

536 Team Members
Filters -> Year: 2026
21
TITLE: Attitudes of Generations X, Y and Z Towards Corporate Social Responsibility: Impact on Purchase Intention and Perception of Greenwashing
AUTHORS: Manuel José Serra da Fonseca; Teresa Pereira; Andreia Teixeira; Bruno Barbosa Sousa; Jorge Esparteiro Garcia ;
PUBLISHED: 2026, SOURCE: Smart Innovation, Systems and Technologies - Marketing and Smart Technologies, PAGES: 642-653
INDEXED IN: CrossRef
22
TITLE: Auto-active verification of distributed systems and specification refinements with Why3-do
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2026, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 247, PAGES: 103352
INDEXED IN: Scopus WOS DBLP CrossRef
23
TITLE: Automated privacy-preserving techniques via meta-learning
AUTHORS: Carvalho, Tania ; Moniz, Nuno ; Antunes, Luis ;
PUBLISHED: 2026, SOURCE: INFORMATION FUSION, VOLUME: 127, PAGES: 103893
INDEXED IN: Scopus WOS DBLP CrossRef: 1
24
TITLE: Before the Interface. Designing User Research Instruments and Methods to Enable Digital Health Innovation for ALS Patients With Partial Locked-In Syndrome
AUTHORS: Bruno Giesteira ; Eliana Santiago; Andreia Sousa; Pedro Amado; Filipe Gonçalves;
PUBLISHED: 2026, SOURCE: Reshaping Health Promotion and Disease Prevention Through Digital Innovation, PAGES: 381-412
INDEXED IN: CrossRef
25
TITLE: Benchmarking Time Series Feature Extraction for Algorithm Selection
AUTHORS: Santos, Moises; Cerqueira, Vitor; Soares, Carlos ;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Progress in Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2025, PT I, VOLUME: 16121, PAGES: 269-281
INDEXED IN: Scopus WOS DBLP
26
TITLE: Building of transformer-based RUL predictors supported by explainability techniques: Application on real industrial datasets
AUTHORS: Dinten, Ricardo; Zorrilla, Marta; Veloso, Bruno ; Gama, Joao ;
PUBLISHED: 2026, SOURCE: INFORMATION FUSION, VOLUME: 127, PAGES: 103892
INDEXED IN: Scopus WOS DBLP CrossRef
27
TITLE: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTHORS: Carreira, Carolina; Silva, Alvaro; Abreu, Alexandre; Mendes, Alexandra ;
PUBLISHED: 2026, SOURCE: 23rd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025, VOLUME: 16192, PAGES: 203-220
INDEXED IN: Scopus WOS DBLP CrossRef: 1
28
TITLE: Challenges and Opportunities for Designing Digital Communication Interfaces for Persons with Partial Locked-In Syndrome
AUTHORS: Amado, Pedro; Penedos Santiago, Eliana; Lima, Claudia; Simoes, Silvia; Giesteira, Bruno ; Pecaibes, Viviane;
PUBLISHED: 2026, SOURCE: 13th International Conference on Arts and Technologies Interactivity and Game Creation-ARTSIT in ARTSIT, INTERACTIVITY AND GAME CREATION, ARTSIT 2024, PT II, VOLUME: 651, PAGES: 132-147
INDEXED IN: Scopus WOS CrossRef
29
TITLE: CitiLink-Minutes: A Multilayer Annotated Dataset of Municipal Meeting Minutes
AUTHORS: Ricardo Campos; Ana Filipa Pacheco; Ana Luísa Fernandes; Inês Cantante; Rute Rebouças; Luís Filipe Cunha; José Isidro; José Pedro Evans; Miguel Marques; Rodrigo Batista; Evelin Amorim; Alípio Jorge; Nuno Guimarães; Sérgio Nunes ; Antonio Leal; Purificação Silvano;
PUBLISHED: 2026, SOURCE: 48th European Conference on Information Retrieval, ECIR 2026 in ECIR (4), VOLUME: 16486 LNCS, PAGES: 511-527
INDEXED IN: Scopus DBLP CrossRef
30
TITLE: CitiLink: Enhancing Municipal Transparency and Citizen Engagement Through Searchable Meeting Minutes
AUTHORS: Rodrigo Silva; José Pedro Evans; José Isidro; Miguel Marques; Afonso Fonseca; Ricardo Morais; João Canavilhas; Arian Pasquali; Purificação Silvano ; Alípio Jorge; Nuno Guimarães; Sérgio Nunes ; Ricardo Campos ;
PUBLISHED: 2026, SOURCE: 48th European Conference on Information Retrieval, ECIR 2026 in ECIR (4), VOLUME: 16486 LNCS, PAGES: 193-199
INDEXED IN: Scopus DBLP CrossRef
31
TITLE: ClaimPT: A Portuguese Dataset of Annotated Claims in News Articles
AUTHORS: Ricardo Campos ; Raquel Sequeira; Sara Nerea; Inês Cantante; Diogo Folques; Luís Filipe Cunha; João Canavilhas; António Branco; Alípio Jorge; Sérgio Nunes ; Nuno Guimarães; Purificação Silvano;
PUBLISHED: 2026, SOURCE: ECIR (4), VOLUME: 16486 LNCS, PAGES: 544-560
INDEXED IN: Scopus DBLP CrossRef
33
TITLE: Collaborating with Algorithms: AI for Collaborative Supply Chain Management
AUTHORS: Couto, Fábio ; Malta, Mariana Curado ; Soares, Antonio Lucas ;
PUBLISHED: 2026, SOURCE: 26th Conference on Virtual Enterprises-PRO-VE-Annual in HYBRID HUMAN-AI COLLABORATIVE NETWORKS, PRO-VE 2025, PT I, VOLUME: 770, PAGES: 185-200
INDEXED IN: WOS CrossRef Unpaywall
34
TITLE: Combining Large Language Models with Procedural Grammars for Scenario Generation in Driving Simulations
AUTHORS: Nelson B. Rodrigues ; António Coelho; Rosaldo Rossetti;
PUBLISHED: 2026, SOURCE: Proceedings of the 21st International Conference on Computer Graphics, Interaction and Visualization Theory and Applications, PAGES: 388-395
INDEXED IN: CrossRef Unpaywall
35
TITLE: Comparative Evaluation of Multimodal Large Language Models for Technical Content Simplification and Visual Interpretation
AUTHORS: Pilarski, Leonardo; Luiz, Luiz E.; Gomes, Goncalo S.; Pinto, Tiago; Filipe, Vitor M.; Rijo, Goncalo; Barroso, Joao ;
PUBLISHED: 2026, SOURCE: 13th World Conference on Information Systems and Technologies-WORLDCIST-Annual in EMERGING TRENDS IN INFORMATION SYSTEMS AND TECHNOLOGIES, WORLDCIST 2025, VOL 4, VOLUME: 1583, PAGES: 455-467
INDEXED IN: Scopus WOS CrossRef Unpaywall
36
TITLE: Comparing Abstract and Realistic Agent-Led Instructions for Language Learning in Virtual Environments: A Study on Presence effects
AUTHORS: Guilherme Goncalves; Monica Romao; Bruno Peixoto ; Luciana Bessa; Miguel Melo ;
PUBLISHED: 2026, SOURCE: Revista Iberoamericana de Tecnologias del Aprendizaje, PAGES: 1-1
INDEXED IN: Scopus CrossRef Unpaywall
37
TITLE: Comparing and extending satisfiability solution methods for the resource-constrained project scheduling problem
AUTHORS: Coelho, Jose ; Vanhoucke, Mario;
PUBLISHED: 2026, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 186, PAGES: 107308
INDEXED IN: Scopus WOS CrossRef Unpaywall
38
TITLE: Comparing Higher Education Rankings with Social Media Posting Strategies
AUTHORS: Bruna Rocha; Alvaro Reis Figueira ;
PUBLISHED: 2026, SOURCE: 17th International Conference on Social Networks Analysis and Mining, ASONAM 2025 in Lecture Notes in Computer Science, VOLUME: 16324 LNCS, PAGES: 476-492
INDEXED IN: Scopus CrossRef
39
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: 2026, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, VOLUME: 42, ISSUE: 4, PAGES: 2647-2673
INDEXED IN: Scopus WOS DBLP CrossRef
40
TITLE: Cross-Lingual Information Retrieval in Tetun for Ad-Hoc Search
AUTHORS: Araujo, Altedio; de Jesus, Gabriel ; Nunes, Sergio ;
PUBLISHED: 2026, SOURCE: 24th EPIA Conference on Progress in Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2025, PT II, VOLUME: 16122, PAGES: 262-275
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall

Results per Page: 20.
Page 2 of 536. Total results: 10711.