CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 10591

535 Team Members
Filters -> Year: 2026
121
TÍTULO: Animating Rebeca
AUTORES: Maurice H ter Beek; José Proença ;
PUBLICAÇÃO: 2025, FONTE: Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, VOLUME: 15560, PÁGINAS: 182-194
INDEXADO EM: Scopus DBLP CrossRef
122
TÍTULO: Anomaly Detection and Root Cause Analysis in Cloud-Native Environments Using Large Language Models and Bayesian Networks
AUTORES: Pedroso, Diego Frazatto; Almeida, Luis; Pulcinelli, Lucas Eduardo Gulka; Aisawa, William Akihiro Alves; Dutra, Ines ; Bruschi, Sarita Mazzini;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 77550-77564
INDEXADO EM: Scopus WOS DBLP CrossRef
123
TÍTULO: Anomaly Detection in Pet Behavioural Data
AUTORES: Silva, Ines; Ribeiro, Rita P. ; Gama, Joao ;
PUBLICAÇÃO: 2025, FONTE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PÁGINAS: 137-153
INDEXADO EM: Scopus WOS DBLP
124
TÍTULO: Application of a Genetic Algorithm for Optimising the Location of Electric Vehicle Charging Stations
AUTORES: Pinto, Joao; Mejia, Mario A.; Macedo, Leonardo H.; Filipe, Vitor ; Pinto, Tiago ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT III, VOLUME: 14969, PÁGINAS: 148-159
INDEXADO EM: Scopus WOS DBLP CrossRef
125
TÍTULO: Applying Large Language Models to Software Development: Enhancing Requirements, Design and Code
AUTORES: Santos, Goncalo; Silveira, Clara; Santos, Vitor; Santos, Arnaldo ; Mamede, Henrique ;
PUBLICAÇÃO: 2025, FONTE: 5th International Conference on Disruptive Technologies Tech Ethics and Artificial Intelligence-DITTET-Annual in NEW TRENDS IN DISRUPTIVE TECHNOLOGIES, TECH ETHICS AND ARTIFICIAL INTELLIGENCE, DITTET 2025, VOLUME: 1465, PÁGINAS: 226-239
INDEXADO EM: WOS CrossRef
126
TÍTULO: Approaches to Conflict-free Replicated Data Types  Full Text
AUTORES: Almeida, Paulo sergio ;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2, PÁGINAS: 51:1-51:36
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
127
TÍTULO: Are Users More Willing to Use Formally Verified Password Managers?
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.02124, PÁGINAS: 185-202
INDEXADO EM: Scopus DBLP
128
TÍTULO: Artificial Intelligence and Energy  Full Text
AUTORES: Silva, Catia; Pereira, Vania Sofia; Baptista, Jose ; Pinto, Tiago ;
PUBLICAÇÃO: 2025, FONTE: ENERGIES, VOLUME: 18, NÚMERO: 18, PÁGINAS: 4823
INDEXADO EM: Scopus WOS CrossRef
129
TÍTULO: Artificial Intelligence in Recruitment: A Multivocal Review of Benefits, Challenges, and Strategies
AUTORES: Hugo Trovao; Henrique São Mamede ; Paulo Trigo; Vitor Duarte dos Santos;
PUBLICAÇÃO: 2025, FONTE: Emerging Science Journal, VOLUME: 9, NÚMERO: 6, PÁGINAS: 3458-3485
INDEXADO EM: Scopus CrossRef
130
TÍTULO: Assessing Adversarial Effects of Noise in Missing Data Imputation
AUTORES: Mangussi, Arthur Dantas; Pereira, Ricardo Cardoso; Abreu, Pedro Henriques ; Lorena, Ana Carolina;
PUBLICAÇÃO: 2025, FONTE: 34th Brazilian Conference on Intelligent Systems in INTELLIGENT SYSTEMS, BRACIS 2024, PT I, VOLUME: 15412, PÁGINAS: 200-214
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
131
TÍTULO: Assessing the information security posture of online public services worldwide: Technical insights, trends, and policy implications☆
AUTORES: Ribeiro, Diogo ; Fonte, Vitor ; Ramos, Luis Felipe; Silva, Marco ;
PUBLICAÇÃO: 2025, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 42, NÚMERO: 2, PÁGINAS: 102031
INDEXADO EM: Scopus WOS DBLP CrossRef
132
TÍTULO: Association between maximal handgrip strength and force-time curve indicators with functional status in a multicentre cross-sectional sample of heart failure outpatients from the nutric project
AUTORES: Cunha C Rodrigues; R. Guerra; R. Valdiviesso; F. Martins ; A. Teixeira; I. Marques; R. Baptista; N. Borges; T.F. Amaral ;
PUBLICAÇÃO: 2025, FONTE: Clinical Nutrition ESPEN, VOLUME: 69, PÁGINAS: 838
INDEXADO EM: CrossRef Unpaywall
133
TÍTULO: Attention-Capture Damaging Patterns in UI Design: In Search of a Socio-Technical Mitigation Strategy
AUTORES: Tales Gomes; Daniel Schneider; António Correia ;
PUBLICAÇÃO: 2025, FONTE: CEUR Workshop Proceedings, VOLUME: 3957, PÁGINAS: 506-515
INDEXADO EM: Scopus
134
TÍTULO: Augmented Reality in Information Design
AUTORES: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PÁGINAS: 30-41
INDEXADO EM: Scopus WOS CrossRef
135
TÍTULO: Automated Construction and Semantic Interoperability for Digital Twins: Integrating Heterogeneous Data with Large Language Models
AUTORES: Leonardo Pilarski; Luiz E Luiz; Gonçalo S Gomes; Tiago Pinto ; Vítor Manuel Filipe; João Barroso ; Gonçalo Rijo;
PUBLICAÇÃO: 2025, FONTE: 3rd IEEE Conference on Artificial Intelligence, CAI 2025 in IEEE Conference on Artificial Intelligence, CAI 2025, Santa Clara, CA, USA, May 5-7, 2025, PÁGINAS: 47-48
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
136
TÍTULO: Automated optical system for quality inspection on reflective parts  Full Text
AUTORES: Nascimento, Rui ; Rocha, Claudia D. ; Gonzalez, Dibet Garcia; Silva, Tiago; Moreira, Rui; Silva, Manuel F. ; Filipe, Vitor ; Rocha, Luis F. ;
PUBLICAÇÃO: 2025, FONTE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 137, NÚMERO: 5-6, PÁGINAS: 2665-2680
INDEXADO EM: Scopus WOS CrossRef: 1
137
TÍTULO: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTORES: Melissa Silva; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PÁGINAS: 149-160
INDEXADO EM: DBLP
138
TÍTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLICAÇÃO: 2025, FONTE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PÁGINAS: 138-154
INDEXADO EM: Scopus WOS DBLP CrossRef
139
TÍTULO: Automating Code Generation from User Interface Prototypes
AUTORES: João Peixoto Castro; José Creissac Campos ;
PUBLICAÇÃO: 2025, FONTE: 2025 International Conference on Graphics and Interaction (ICGI), PÁGINAS: 1-8
INDEXADO EM: CrossRef
140
TÍTULO: Automating Data Extraction from PDF Sleep Reports Using Data Mining Techniques
AUTORES: Fábio Teixeira; João Costa; Pedro Amorim; Nuno Guimarães ; Daniela Ferreira Santos ;
PUBLICAÇÃO: 2025, FONTE: Studies in health technology and informatics, VOLUME: 327, PÁGINAS: 898-899
INDEXADO EM: Scopus CrossRef

Results per Page: 20.
Página 7 de 530. Total de resultados: 10591.