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

531 Team Members
Filters -> Year: 2025
1
TÍTULO: A new proposed model to assess the digital organizational readiness to maximize the results of the digital transformation in SMEs
AUTORES: Silva, Rui Pedro; Mamede, Henrique Sao ; Santos, Vitor;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF INNOVATION & KNOWLEDGE, VOLUME: 10, NÚMERO: 1, PÁGINAS: 100644
INDEXADO EM: Scopus WOS CrossRef Unpaywall
2
TÍTULO: A Pattern Language for Engineering Software for the Cloud
AUTORES: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLICAÇÃO: 2025, FONTE: Transactions on Pattern Languages of Programming V, PÁGINAS: 1-66
INDEXADO EM: CrossRef Unpaywall
4
TÍTULO: A Tight Security Proof for SPHINCS+, Formally Verified
AUTORES: Manuel Barbosa ; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub;
PUBLICAÇÃO: 2025, FONTE: 30th Annual International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15487 LNCS, PÁGINAS: 35-67
INDEXADO EM: Scopus CrossRef
5
TÍTULO: Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers
AUTORES: Lodovica Marchesi; Alfredo Goldman; Maria Ilaria Lunesu; Adam Przybylek; Ademar Aguiar ; Lorraine Morgan; Xiaofeng Wang; Andrea Pinna;
PUBLICAÇÃO: 2025, FONTE: XP Workshops, VOLUME: 524
INDEXADO EM: DBLP
6
TÍTULO: Alloy Repair Hint Generation Based on Historical Data
AUTORES: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PÁGINAS: 104-121
INDEXADO EM: Scopus WOS DBLP CrossRef
7
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
8
TÍTULO: Atlas, a modular and efficient open-source BFT framework
AUTORES: Neto, Nuno; Rolando Martins ; Veiga, Luis;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PÁGINAS: 112317
INDEXADO EM: Scopus WOS DBLP CrossRef
9
TÍTULO: Augmented Reality in Information Design
AUTORES: Luciane Maria Fadel; António Coelho ;
PUBLICAÇÃO: 2025, FONTE: Springer Series in Design and Innovation, VOLUME: 51, PÁGINAS: 30-41
INDEXADO EM: Scopus CrossRef
10
TÍTULO: Bayesian Modelling of Time Series of Counts with Missing Data
AUTORES: SILVA, ISABEL ; Maria Eduarda Silva ; Isabel Pereira ;
PUBLICAÇÃO: 2025, FONTE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PÁGINAS: 83-98
INDEXADO EM: Scopus CrossRef
11
TÍTULO: Clustering and Classification of Compositional Data Using Distributions Defined on the Hypersphere
AUTORES: Adelaide Figueiredo ;
PUBLICAÇÃO: 2025, FONTE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PÁGINAS: 423-435
INDEXADO EM: Scopus CrossRef
12
TÍTULO: Contributions for the Development of Personae: Method for Creating Persona Templates (MCPT)
AUTORES: Fábio Couto ; Mariana Curado Malta ;
PUBLICAÇÃO: 2025, FONTE: 26th International Conference on Human-Computer Interaction, HCII 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 15374 LNCS, PÁGINAS: 3-22
INDEXADO EM: Scopus CrossRef
13
TÍTULO: Decision-making systems improvement based on explainable artificial intelligence approaches for predictive maintenance  Full Text
AUTORES: Lala H Rajaoarisoa; Raubertin Randrianandraina; Grzegorz J Nalepa; João Gama ;
PUBLICAÇÃO: 2025, FONTE: Eng. Appl. Artif. Intell., VOLUME: 139, PÁGINAS: 109601
INDEXADO EM: Scopus DBLP CrossRef
14
TÍTULO: Digital Innovation in Health Care: Addressing Medication Non-adherence
AUTORES: Laxmi Bhandari; Manuel José Fonseca; António B. Fernandes; Jorge Esparteiro Garcia ;
PUBLICAÇÃO: 2025, FONTE: Marketing and Smart Technologies, PÁGINAS: 849-861
INDEXADO EM: CrossRef Unpaywall
15
TÍTULO: Does Every Computer Scientist Need to Know Formal Methods?  Full Text
AUTORES: Manfred Broy; Achim D Brucker; Alessandro Fantechi; Mario Gleirscher; Klaus Havelund; Markus Alexander Kuppe; Alexandra Mendes ; André Platzer; Jan Oliver Ringert; Allison Sullivan;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects Comput., VOLUME: 37, NÚMERO: 1, PÁGINAS: 6:1-6:17
INDEXADO EM: Scopus DBLP CrossRef: 6
16
TÍTULO: Early Failure Detection for Air Production Unit in Metro Trains
AUTORES: Zafra, Amelia; Veloso, Bruno ; Gama, Joao ;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Hybrid Artificial Intelligence Systems in HYBRID ARTIFICIAL INTELLIGENT SYSTEM, PT I, HAIS 2024, VOLUME: 14857, PÁGINAS: 339-351
INDEXADO EM: Scopus WOS DBLP CrossRef
17
TÍTULO: Empowering open data sharing for social good: a privacy-aware approach
AUTORES: Carvalho, Tania; Antunes, Luis ; Costa Santos, Cristina; Moniz, Nuno;
PUBLICAÇÃO: 2025, FONTE: SCIENTIFIC DATA, VOLUME: 12, NÚMERO: 1, PÁGINAS: 248-
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
18
TÍTULO: Estimating Completeness of Consensus Models: Geometrical and Distributional Approaches
AUTORES: Pedro Strecht ; João Mendes-Moreira ; Carlos Soares ;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Machine Learning, Optimization, and Data Science, PÁGINAS: 464-478
INDEXADO EM: CrossRef
19
TÍTULO: Evaluating the Therapeutic Potential of Exercise in Hypoxia and Low-Carbohydrate, High-Fat Diet in Managing Hypertension in Elderly Type 2 Diabetes Patients: A Novel Intervention Approach  Full Text
AUTORES: Kindlovits, Raquel; Sousa, Ana Catarina; Viana, Joao Luis; Milheiro, Jaime; Oliveira, Bruno M. P. M. ; Marques, Franklim; Santos, Alejandro; Teixeira, Vitor Hugo;
PUBLICAÇÃO: 2025, FONTE: NUTRIENTS, VOLUME: 17, NÚMERO: 3, PÁGINAS: 522
INDEXADO EM: Scopus WOS CrossRef
20
TÍTULO: Extending the Quantitative Pattern-Matching Paradigm
AUTORES: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLICAÇÃO: 2025, FONTE: 22nd Asian Symposium on Programming Languages and Systems in PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, VOLUME: 15194, PÁGINAS: 84-105
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 1 de 434. Total de resultados: 8661.