| Data | Título | Autor(es) | Tipo | Acesso |
| 1-Fev-2022 | A formal treatment of the role of verified compilers in secure computation | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo | Acesso aberto |
| Set-2023 | Formally verifying Kyber. Episode IV: implementation correctness | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo | Acesso aberto |
| 2021 | Detailed black-box monitoring of distributed systems | Neves, Francisco; Vilaça, Ricardo; Pereira, José | Artigo | Acesso restrito UMinho |
| 2023 | MRVs: enforcing numeric invariants in parallel updates to hotspots with randomized splitting | Faria, Nuno; Pereira, José | Artigo | Acesso restrito UMinho |
| 2023 | TiQuE: improving the transactional performance of analytical systems for true hybrid workloads | Faria, Nuno; Pereira, José; Alonso, Ana Nunes, et al. | Artigo | Acesso restrito UMinho |
| 2023 | The syntactic side of autonomous categories enriched over generalised metric spaces | Dahlqvist, Fredrik; Neves, Renato Jorge Araújo | Artigo | Acesso aberto |
| 2021 | Experiences on teaching alloy with an automated assessment platform | Macedo, Nuno; Cunha, Alcino; Pereira, José, et al. | Artigo | Acesso restrito UMinho |
| 2022 | Merging cloned Alloy models with colorful refactorings | Liu, Chong; Macedo, Nuno; Cunha, Alcino | Artigo | Acesso aberto |
| 2022 | Pardinus: a temporal relational model finder | Macedo, Nuno; Brunel, Julien; Chemouil, David, et al. | Artigo | Acesso aberto |
| 2023 | Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications | Espírito Santo, José; Frade, M. J.; Pinto, Luís F. | Artigo | Acesso aberto |
| 12-Ago-2022 | A tribute to José Manuel Valença | Oliveira, José Nuno Fonseca; Pinto, Jorge Sousa; Barbosa, L. S., et al. | Editorial em revista | Acesso restrito UMinho |
| 3-Abr-2023 | A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3 | Frade, M. J.; Pinto, Jorge Sousa | Artigo | Acesso aberto |
| 2022 | Coalgebra for the working software engineer | Barbosa, L. S. | Artigo | Acesso aberto |
| 2023 | Quantum bayesian decision‑making | Oliveira, Michael; Barbosa, L. S. | Artigo | Acesso aberto |
| 2021 | A semantics and a logic for Fuzzy Arden Syntax | Gomes, Leandro Rafael Moreira; Madeira, Alexandre Leite Castro; Barbosa, L. S. | Artigo | Acesso aberto |
| 2021 | Quantum tree-based planning | Sequeira, Andre; Santos, Luís Paulo; Barbosa, L. S. | Artigo | Acesso aberto |
| Mai-2021 | A deductive reasoning approach for database applications using verification conditions | Alam, Imran; Halder, Raju; Pinto, Jorge Sousa | Artigo | Acesso restrito UMinho |
| 2018 | Qualification offer in EGOV competencies in PALOP-TL | Silva, João Marco C.; Ramos, Luis Felipe M.; Fonte, Victor | Artigo em ata de conferência | Acesso aberto |
| 2020 | Decentralized privacy-preserving proximity tracing | Troncoso, Carmela; Pereira, José; Oliveira, Rui, et al. | Artigo | Acesso restrito UMinho |
| 2020 | A survey and classification of software-defined storage systems | Macedo, Ricardo; Paulo, Joao; Pereira, José, et al. | Artigo | Acesso aberto |
