Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

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

1707 Team Members
Filters -> Year: 2025
61
TÍTULO: Ancient Greek Technology: An Immersive Learning Use Case Described Using a Co-Intelligent Custom ChatGPT Assistant
AUTORES: Vlasis Kasapakis; Leonel Morgado ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2502.04110
INDEXADO EM: DBLP
62
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
63
TÍTULO: Application of Cloud Simulation Techniques for Robotic Software Validation  Full Text
AUTORES: Vieira, Diogo; Oliveira, Miguel; Arrais, Rafael; Melo, Pedro ;
PUBLICAÇÃO: 2025, FONTE: SENSORS, VOLUME: 25, NÚMERO: 6, PÁGINAS: 1693
INDEXADO EM: Scopus WOS CrossRef
64
TÍTULO: Application of Time Series Clustering for Improving Forecasts in Energy Markets
AUTORES: Ines Araujo; Rita Teixeira; John Penaloza Moran; Tiago Pinto; Jose Baptista ;
PUBLICAÇÃO: 2025, FONTE: 21st International Conference on the European Energy Market, EEM 2025 in International Conference on the European Energy Market, EEM, PÁGINAS: 1-5
INDEXADO EM: Scopus CrossRef
65
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
66
TÍTULO: AR/VR Digital Twin for simulation and data collection of robotic environments
AUTORES: Martins, Joao G.; Nutonen, Karle; Costa, Paulo; Kuts, Vladimir; Otto, Tauno; Sousa, Armando ; Petry, Marcelo R. ;
PUBLICAÇÃO: 2025, FONTE: 2025 International Conference on Autonomous Robot Systems and Competitions-ICARSC-Annual in 2025 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, NÚMERO: 2025, PÁGINAS: 198-203
INDEXADO EM: Scopus WOS DBLP CrossRef
67
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
INDEXADO EM: DBLP
68
TÍTULO: Artificial Intelligence for Control in Laser-Based Additive Manufacturing: A Systematic Review
AUTORES: Sousa, Joao; Brandau, Benedikt; Darabi, Roya; Sousa, Armando ; Brueckner, Frank; Reis, Ana ; Reis, Luis Paulo ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 30845-30860
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
69
TÍTULO: Artificial Intelligence in the Lot-Sizing Problem: An Overview and Future Paths
AUTORES: André Ribeiro; André S Santos; Leonilde R Varela ; Olena Hrybiuk; Miguel Bastos Gomes; José Machado;
PUBLICAÇÃO: 2025, FONTE: EAI/Springer Innovations in Communication and Computing - 9th EAI International Conference on Management of Manufacturing Systems, PÁGINAS: 127-137
INDEXADO EM: CrossRef
70
TÍTULO: Assessing the impact of high-performance computing on digital transformation: benefits, challenges, and size-dependent differences  Full Text
AUTORES: Fernando Almeida ; Edet Okon;
PUBLICAÇÃO: 2025, FONTE: The Journal of Supercomputing, VOLUME: 81, NÚMERO: 6
INDEXADO EM: CrossRef
71
TÍTULO: Assessing the Impacts of Selective Logging on the Forest Understory in the Amazon Using Airborne LiDAR  Full Text
AUTORES: Ferreira, Leilson; Bias, Edilson de Souza; Barros, Quetila Souza; Padua, Luis ; Matricardi, Eraldo Aparecido Trondoli; Sousa, Joaquim J. ;
PUBLICAÇÃO: 2025, FONTE: FORESTS, VOLUME: 16, NÚMERO: 1, PÁGINAS: 130
INDEXADO EM: Scopus WOS CrossRef
72
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
73
TÍTULO: Atlas, a modular and efficient open-source BFT framework
AUTORES: Neto, Nuno; Martins, Rolando ; Veiga, Luis;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PÁGINAS: 112317
INDEXADO EM: Scopus WOS DBLP CrossRef
74
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
75
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
76
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
77
TÍTULO: Automatic characterisation of the urban grid of cities in developing countries from satellite images - A review
AUTORES: Marcelo Correia; António Cunha ; Sandra Pereira;
PUBLICAÇÃO: 2025, FONTE: 16th International Conference on ENTERprise Information Systems, CENTERIS 2024 - 12th International Conference on Project MANagement, ProjMAN 2024 - 14th International Conference on Health and Social Care Information Systems and Technologies, HCist 2024 in Procedia Computer Science, VOLUME: 256, PÁGINAS: 423-430
INDEXADO EM: Scopus CrossRef
78
TÍTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLICAÇÃO: 2025, FONTE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, VOLUME: 15593, PÁGINAS: 138-154
INDEXADO EM: Scopus DBLP CrossRef
79
TÍTULO: Automatic Identification in Building Images of Biological Growths
AUTORES: Andreia Henrique; António Cunha ; Jorge Pinto; Dibet Gonzalez; Sandra Pereira;
PUBLICAÇÃO: 2025, FONTE: 16th International Conference on ENTERprise Information Systems, CENTERIS 2024 - 12th International Conference on Project MANagement, ProjMAN 2024 - 14th International Conference on Health and Social Care Information Systems and Technologies, HCist 2024 in Procedia Computer Science, VOLUME: 256, PÁGINAS: 657-664
INDEXADO EM: Scopus CrossRef
80
TÍTULO: Barrett's paradox of cooperation in the case of quasi-linear utilities  Full Text
AUTORES: Accinelli, Elvio; Afsar, Atefeh; Martins, Filipe ; Martins, Jose ; Oliveira, Bruno M. P. M. ; Oviedo, Jorge; Pinto, Alberto A. ; Quintas, Luis;
PUBLICAÇÃO: 2025, FONTE: MATHEMATICAL METHODS IN THE APPLIED SCIENCES, VOLUME: 48, NÚMERO: 2, PÁGINAS: 2493-2516
INDEXADO EM: Scopus WOS CrossRef Unpaywall

Results per Page: 20.
Página 4 de 987. Total de resultados: 19725.