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

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 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
3
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
4
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
5
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
6
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
7
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
8
TÍTULO: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTORES: João José Maranhão Junior; Filipe F. Correia ; Eduardo Martins Guerra;
PUBLICAÇÃO: 2025, FONTE: Agile Processes in Software Engineering and Extreme Programming – Workshops, PÁGINAS: 130-138
INDEXADO EM: CrossRef Unpaywall
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: 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
13
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
14
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
15
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
16
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
17
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
18
TÍTULO: Optimizing job shop scheduling with speed-adjustable machines and peak power constraints: A mathematical model and heuristic solutions
AUTORES: Homayouni, S. Mahdi; Fontes, Dalila B. M. M. ;
PUBLICAÇÃO: 2025, FONTE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 32, NÚMERO: 1, PÁGINAS: 194-220
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
19
TÍTULO: Post, Predict, and Rank: Exploring the Relationship Between Social Media Strategy and Higher Education Institution Rankings
AUTORES: Bruna Rocha; Álvaro Figueira ;
PUBLICAÇÃO: 2025, FONTE: Informatics, VOLUME: 12, NÚMERO: 1, PÁGINAS: 6
INDEXADO EM: CrossRef Unpaywall
20
TÍTULO: Promoting sustainable and personalized travel behaviors while preserving data privacy
AUTORES: Cláudia Brito ; Noela Pina; Tânia Esteves ; Ricardo Vitorino; Inês Cunha; João Paulo ;
PUBLICAÇÃO: 2025, FONTE: Transportation Engineering, VOLUME: 19, PÁGINAS: 100237
INDEXADO EM: Scopus CrossRef Unpaywall

Results per Page: 20.
Página 1 de 429. Total de resultados: 8566.