Data | Título | Autor(es) | Tipo | Acesso |
2019 | d'Artagnan: a trusted NoSQL database on untrusted clouds | Pontes, Rogerio; Maia, Francisco; Vilaça, Ricardo Manuel Pereira, et al. | Artigo em ata de conferência | Acesso aberto |
2018 | Falcon: a practical log-based analysis tool for distributed systems | Neves, Francisco Nuno Teixeira; Machado, Nuno; Pereira, José | Artigo em ata de conferência | Acesso restrito UMinho |
2021 | Horus: non-intrusive causal analysis of distributed systems logs | Neves, Francisco; Machado, Nuno; Vilaca, Ricardo, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
Fev-2020 | Minha: large-scale distributed systems testing made practical | Machado, Nuno; Maia, Francisco; Neves, Francisco Nuno Teixeira, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
2019 | Proteasome inhibition prevents cell death induced by the chemotherapeutic agent cisplatin downstream of DNA damage | Costa, Ana Rita Martins; Machado, Nuno; Rego, António, et al. | Artigo | Acesso aberto |
2020 | Testing for race conditions in distributed systems via smt solving | Pereira, João Carlos; Machado, Nuno; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |