Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer 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: 1522

150 Team Members
Filters -> Year: 2025
21
TÍTULO: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTORES: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025, PÁGINAS: 41-45
INDEXADO EM: DBLP CrossRef
22
TÍTULO: Introduction to the Special Collection from FACS 2022
AUTORES: Silvia Lizeth Tapia Tarifa; José Proença; José N Oliveira ;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects Comput., VOLUME: 37, NÚMERO: 2, PÁGINAS: 10:1-10:2
INDEXADO EM: Scopus DBLP CrossRef
23
TÍTULO: Leakage-Free Probabilistic Jasmin Programs
AUTORES: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLICAÇÃO: 2025, FONTE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PÁGINAS: 3-16
INDEXADO EM: Scopus WOS DBLP CrossRef
24
TÍTULO: Let's Talk About It: Making Scientific Computational Reproducibility Easy
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.10134
INDEXADO EM: DBLP
25
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
26
TÍTULO: Machine Learning Regression-Based Prediction for Improving Performance and Energy Consumption in HPC Platforms
AUTORES: Coelho, Micaella; Ocana, Kary; Pereira, Andre ; Porto, Alexandre; Cardoso, Douglas O.; Lorenzon, Arthur; Oliveira, Rui; Navaux, Philippe O. A.; Osthoff, Carla;
PUBLICAÇÃO: 2025, FONTE: 11th Latin American Conference on High Performance Computing in HIGH PERFORMANCE COMPUTING, CARLA 2024, VOLUME: 2270, PÁGINAS: 186-200
INDEXADO EM: Scopus WOS CrossRef
27
TÍTULO: MedLink: Retrieval and Ranking of Case Reports to Assist Clinical Decision Making
AUTORES: Luís Filipe Cunha; Nuno Guimarães ; Alexandra Mendes ; Ricardo Campos; Alípio Jorge;
PUBLICAÇÃO: 2025, FONTE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PÁGINAS: 72-77
INDEXADO EM: Scopus DBLP CrossRef
28
TÍTULO: Mind the Gap: The Missing Features of the Tools to Support User Studies in Software Engineering
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.08647
INDEXADO EM: DBLP
29
TÍTULO: Modelling sustainability in cyber-physical systems: A systematic mapping study  Full Text
AUTORES: Barisic, Ankica; Cunha, Jacome ; Ruchkin, Ivan; Moreira, Ana; Araujo, Joao; Challenger, Moharram; Savic, Dusan; Amaral, Vasco;
PUBLICAÇÃO: 2025, FONTE: SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS, VOLUME: 45, PÁGINAS: 101051
INDEXADO EM: Scopus WOS DBLP CrossRef
30
TÍTULO: Multi-Partner Project: Green.Dat.AI: A Data Spaces Architecture for Enhancing Green AI Services
AUTORES: Ioannis Chrysakis; Evangelos Agorogiannis; Nikoleta Tsampanaki; Michalis Vourtzoumis; Eva Chondrodima; Yannis Theodoridis; Domen Mongus; Ben Capper; Martin Wagner; Aris Sotiropoulos; Fábio André Coelho; Cláudia Vanessa Brito ; Panos Protopapas; Despina Brasinika; Ioanna Fergadiotou; Christos Doulkeridis;
PUBLICAÇÃO: 2025, FONTE: Proceedings Design Automation and Test in Europe Date, PÁGINAS: 1-7
INDEXADO EM: Scopus CrossRef
31
TÍTULO: NoIC: PAKE from KEM without Ideal Ciphers
AUTORES: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki;
PUBLICAÇÃO: 2025, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PÁGINAS: 231
INDEXADO EM: DBLP
32
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
33
TÍTULO: Reducing measurement costs by recycling the Hessian in adaptive variational quantum algorithms
AUTORES: Ramoa, Mafalda; Santos, Luis Paulo ; Mayhall, Nicholas J.; Barnes, Edwin; Economou, Sophia E.;
PUBLICAÇÃO: 2025, FONTE: QUANTUM SCIENCE AND TECHNOLOGY, VOLUME: 10, NÚMERO: 1, PÁGINAS: 015031
INDEXADO EM: Scopus WOS CrossRef: 1
34
TÍTULO: Revisiting the Security and Privacy of FIDO2
AUTORES: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLICAÇÃO: 2025, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PÁGINAS: 459
INDEXADO EM: DBLP
35
TÍTULO: Risk Assessment Profiles for Caregiver Burden in Family Caregivers of Persons Living with Alzheimer's Disease: An Exploratory Study with Machine Learning
AUTORES: Brito, Laura; Cepa, Beatriz ; Brito, Claudia ; Leite, Angela; Pereira, M. Graca;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF INVESTIGATION IN HEALTH PSYCHOLOGY AND EDUCATION, VOLUME: 15, NÚMERO: 3, PÁGINAS: 41
INDEXADO EM: Scopus WOS CrossRef Unpaywall
36
TÍTULO: Social Compliance with NPIs, Mobility Patterns, and Reproduction Number: Lessons from COVID-19 in Europe
AUTORES: Daniele Baccega; Jose Aguilar; Carlos Baquero ; Antonio Fernández Anta; Juan Marcos Ramirez;
PUBLICAÇÃO: 2025
INDEXADO EM: CrossRef
37
TÍTULO: Specification of paraconsistent transition systems, revisited  Full Text
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PÁGINAS: 103196
INDEXADO EM: Scopus WOS DBLP CrossRef
38
TÍTULO: Towards Adaptive Transactional Consistency for Georeplicated Datastores
AUTORES: Rui Braga; José Pereira ; Fábio Coelho ;
PUBLICAÇÃO: 2025, FONTE: 40th Annual ACM Symposium on Applied Computing, SAC 2025 in Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025, PÁGINAS: 300-307
INDEXADO EM: Scopus DBLP
39
TÍTULO: Towards Quantum Ray Tracing
AUTORES: Santo, Luis Paulo ; Bashford Rogers, Thomas; Barbosa, Joao; Navratil, Paul;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOLUME: 31, NÚMERO: 4, PÁGINAS: 2223-2234
INDEXADO EM: Scopus WOS
40
TÍTULO: Uma extensão de Raft com propagação epidémica
AUTORES: André Gonçalves; Ana Nunes Alonso; José Pereira; Rui Oliveira ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.11068
INDEXADO EM: DBLP

Results per Page: 20.
Página 2 de 77. Total de resultados: 1522.