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

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 Review of Voicing Decision in Whispered Speech: From Rules to Machine Learning
AUTORES: João Miguel Pinto Pereira da Silva; Gonçalo Duarte Nunes ; Aníbal Ferreira;
PUBLICAÇÃO: 2025
INDEXADO EM: CrossRef Unpaywall
3
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
4
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
5
TÍTULO: Approaches to Conflict-free Replicated Data Types
AUTORES: Almeida, Paulo sergio ;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2, PÁGINAS: 1-36
INDEXADO EM: Scopus WOS DBLP CrossRef
6
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
7
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
8
TÍTULO: Bayesian Modelling of Time Series of Counts with Missing Data
AUTORES: SILVA, ISABEL ; Maria Eduarda Silva ; Isabel Pereira;
PUBLICAÇÃO: 2025, FONTE: Springer Proceedings in Mathematics & Statistics - New Frontiers in Statistics and Data Science, PÁGINAS: 83-98
INDEXADO EM: CrossRef
9
TÍTULO: Clustering and Classification of Compositional Data Using Distributions Defined on the Hypersphere
AUTORES: Adelaide Figueiredo ;
PUBLICAÇÃO: 2025, FONTE: Springer Proceedings in Mathematics & Statistics - New Frontiers in Statistics and Data Science, PÁGINAS: 423-435
INDEXADO EM: CrossRef
10
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
11
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
12
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: Raquel Kindlovits; Ana Catarina Sousa; João Luís Viana; Jaime Milheiro; Bruno M P M Oliveira ; Franklim Marques; Alejandro Santos; Vitor Hugo Teixeira;
PUBLICAÇÃO: 2025, FONTE: Nutrients, VOLUME: 17, NÚMERO: 3, PÁGINAS: 522
INDEXADO EM: CrossRef
13
TÍTULO: Forest Fire Risk Prediction Using Machine Learning
AUTORES: Vilaças D Nogueira; Solteiro J Pires; Arsénio Reis; de Moura Oliveira, PB ; António Pereira; João Barroso;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Soft Computing Models in Industrial and Environmental Applications, SOCO 2024 in Lecture Notes in Networks and Systems, VOLUME: 889 LNNS, PÁGINAS: 221-230
INDEXADO EM: Scopus CrossRef Unpaywall
14
TÍTULO: GAMFLEW: serious game to teach white-box testing
AUTORES: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1, PÁGINAS: 5
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
15
TÍTULO: Histopoly: A serious game for teaching histology to 1st year veterinary students  Full Text
AUTORES: Marcos, Ricardo; Gomes, Andre; Santos, Marta; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: ANATOMICAL SCIENCES EDUCATION
INDEXADO EM: Scopus WOS CrossRef Unpaywall
16
TÍTULO: IC-SNI: measuring nodes' influential capability in complex networks through structural and neighboring information  Full Text
AUTORES: Nandi, Suman; Malta, Mariana Curado ; Maji, Giridhar; Dutta, Animesh;
PUBLICAÇÃO: 2025, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, NÚMERO: 2, PÁGINAS: 1309-1350
INDEXADO EM: Scopus WOS CrossRef: 1 Unpaywall
17
TÍTULO: Leakage-Free Probabilistic Jasmin Programs
AUTORES: José Bacelar Almeida ; Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025, PÁGINAS: 3-16
INDEXADO EM: DBLP CrossRef
18
TÍTULO: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno; Proenca, Jose ; Neves, Renato;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PÁGINAS: 101023
INDEXADO EM: Scopus WOS DBLP
19
TÍTULO: Modeling Electricity Markets and Energy Systems: Challenges and Opportunities  Full Text
AUTORES: Aliabadi, Danial Esmaeili; Pinto, Tiago ;
PUBLICAÇÃO: 2025, FONTE: ENERGIES, VOLUME: 18, NÚMERO: 2, PÁGINAS: 245
INDEXADO EM: Scopus WOS CrossRef
20
TÍTULO: Multilanguage Detection of Design Pattern Instances  Full Text
AUTORES: Hugo Andrade; João Bispo; Filipe F Correia ;
PUBLICAÇÃO: 2025, FONTE: Journal of Software: Evolution and Process, VOLUME: 37, NÚMERO: 2
INDEXADO EM: CrossRef

Results per Page: 20.
Página 1 de 432. Total de resultados: 8623.