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

530 Team Members
Filters -> Year: 2025
121
TITLE: Detecting Resource Leaks on Android with Alpakka
AUTHORS: Santos, Gustavo; Bispo, Joao ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 199-211
INDEXED IN: Scopus WOS DBLP CrossRef
122
TITLE: DFDT: Dynamic Fast Decision Tree for IoT Data Stream Mining on Edge Devices
AUTHORS: Afonso Lourenço; João Rodrigo; João Gama ; Goreti Marreiros;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.14011
INDEXED IN: DBLP
123
TITLE: Differentially-private data synthetisation for efficient re-identification risk control  Full Text
AUTHORS: Carvalho, Tania; Moniz, Nuno; Antunes, Luis ; Chawla, Nitesh;
PUBLISHED: 2025, SOURCE: MACHINE LEARNING, VOLUME: 114, ISSUE: 7, PAGES: 164
INDEXED IN: Scopus WOS DBLP CrossRef: 1
124
TITLE: Digital Innovation in Health Care: Addressing Medication Non-adherence
AUTHORS: Laxmi Bhandari; Manuel José Fonseca; António Fernandes; Jorge Esparteiro Garcia ;
PUBLISHED: 2025, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 393, PAGES: 849-861
INDEXED IN: Scopus CrossRef Unpaywall
125
TITLE: Discovering user groups of active modes of transport in urban centers using clustering methods
AUTHORS: Felicio, Soraia; Hora, Joana ; Ferreira, Marta Campos ; Sobral, Thiago; Camacho, Rui ; Galvao, Teresa;
PUBLISHED: 2025, SOURCE: JOURNAL OF TRANSPORT & HEALTH, VOLUME: 44, PAGES: 102125
INDEXED IN: Scopus WOS CrossRef Unpaywall
126
TITLE: Discriminant analysis for a folded Watson distribution  Full Text
AUTHORS: Figueiredo, Adelaide ; Figueiredo, Fernanda ;
PUBLISHED: 2025, SOURCE: JOURNAL OF APPLIED STATISTICS, PAGES: 1-19
INDEXED IN: Scopus WOS CrossRef Unpaywall
127
TITLE: Distance-based feature selection using Benford's law for malware detection
AUTHORS: Fernandes, Pedro; Ciardhuain, Seamus O.; Antunes, Mario ;
PUBLISHED: 2025, SOURCE: COMPUTERS & SECURITY, VOLUME: 158, PAGES: 104625
INDEXED IN: Scopus WOS DBLP
128
TITLE: Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
INDEXED IN: Scopus WOS DBLP
129
TITLE: Do We Need 3D to See? Impact of Dimensionality of the Virtual Environment on Attention
AUTHORS: Matos, Teresa; Mendes, Daniel ; Jacob, Joao; de Sousa, A. Augusto; Rodrigues, Rui ;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 1216-1217
INDEXED IN: Scopus WOS DBLP CrossRef
130
TITLE: Does Every Computer Scientist Need to Know Formal Methods?  Full Text
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
INDEXED IN: Scopus WOS DBLP CrossRef: 11
131
TITLE: Dynamic Online Parameter Configuration of Genetic Algorithms Using Reinforcement Learning
AUTHORS: Oliveira, Vitor; Pinto, Tiago ; Ramos, Carlos;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 172-183
INDEXED IN: Scopus WOS DBLP
132
TITLE: Dynamics of Fisheries in the Azores Islands: A Network Analysis Approach
AUTHORS: Nogueira, Brenda; Torres, Ana; Moniz, Nuno ; Menezes, Gui M.;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PAGES: 297-308
INDEXED IN: Scopus WOS DBLP CrossRef
133
TITLE: Early Failure Detection for Air Production Unit in Metro Trains
AUTHORS: Zafra, Amelia; Veloso, Bruno ; Gama, Joao ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Hybrid Artificial Intelligence Systems in HYBRID ARTIFICIAL INTELLIGENT SYSTEM, PT I, HAIS 2024, VOLUME: 14857, PAGES: 339-351
INDEXED IN: Scopus WOS DBLP CrossRef
134
TITLE: Effect of AI on Innovation Capacity in the context of Industry 5.0: Findings from a Qualitative study
AUTHORS: Adrien Bécue; Joao Gama ; Pedro Quelhas Brito;
PUBLISHED: 2025, SOURCE: Strategic Business Research, PAGES: 100006
INDEXED IN: CrossRef
135
TITLE: Efficient Instance Selection in Tree-Based Models for Data Streams Classification
AUTHORS: Paim, Aldo Marcelo; Gama, Joao ; Veloso, Bruno ; Enembreck, Fabricio; Ribeiro, Rita P. ;
PUBLISHED: 2025, SOURCE: 40th Symposium on Applied Computing-SAC in 40TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PAGES: 448-455
INDEXED IN: Scopus WOS DBLP CrossRef
136
TITLE: ElderMind: A Mobile Application for Cognitive Stimulation and User Engagement
AUTHORS: Arsénio Reis; João Manuel Pereira Barroso ; Tânia De Jesus Vilela Da Rocha;
PUBLISHED: 2025, SOURCE: 18th ACM International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2025 in Proceedings of the 18th ACM International Conference on PErvasive Technologies Related to Assistive Environments, PAGES: 161-170
INDEXED IN: Scopus CrossRef
137
TITLE: Electric Motorcycle Lifecycle Management: Preliminary Study
AUTHORS: Carvalho, Bruno; Gouveia, Antonio Jorge; Barroso, Joao ; Reis, Arsenio; Pendao, Cristiano;
PUBLISHED: 2025, SOURCE: 21st International Symposium on Distributed Computing and Artificial Intelligence in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, SPECIAL SESSIONS I, 21ST INTERNATIONAL CONFERENCE, VOLUME: 1198, PAGES: 198-206
INDEXED IN: Scopus WOS CrossRef
138
TITLE: Emotion-Enhanced Pain Assessment Protocol
AUTHORS: Alves, Bruna; Almeida, Ana; Silva, Catarina; Pais, Daniela; Ribeiro, Rita P. ; Gama, Joao ; Fernandes, Jose Maria; Bras, Susana ; Sebastiao, Raquel;
PUBLISHED: 2025, SOURCE: 3rd International Conference on Human and Artificial Rationalities-HAR-Annual in HUMAN AND ARTIFICIAL RATIONALITIES. ADVANCES IN COGNITION, COMPUTATION, AND CONSCIOUSNESS, HAR 2024, VOLUME: 15504, PAGES: 385-400
INDEXED IN: Scopus WOS DBLP CrossRef
139
TITLE: Emotionally Intelligent Customizable Conversational Agent for Elderly Care: Development and Impact of Chatto
AUTHORS: Carla Mendes; Rafael Pereira; Luis Alexandre Lopes Frazao; José Cb Ribeiro; Nuno Rodrigues; Nuno Alexandre Ribeiro Costa; João Manuel Pereira Barroso; Antonio Manuel Pereira ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PAGES: 208-214
INDEXED IN: Scopus CrossRef
140
TITLE: Empowering open data sharing for social good: a privacy-aware approach
AUTHORS: Carvalho, Tania; Antunes, Luis ; Costa Santos, Cristina ; Moniz, Nuno;
PUBLISHED: 2025, SOURCE: SCIENTIFIC DATA, VOLUME: 12, ISSUE: 1, PAGES: 248-
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall

Results per Page: 20.
Page 7 of 454. Total results: 9063.