Data | Título | Autor(es) | Tipo | Acesso |
13-Nov-2020 | Analysis of message passing software using electrum | Carvalho, Bruno Renato Fernandes | Dissertação de mestrado | Acesso aberto |
2020 | Experiences on teaching alloy with an automated assessment platform | Macedo, Nuno; Cunha, Alcino; Pereira, José, et al. | Artigo em ata de conferência | Acesso aberto |
2020 | Glioblastoma: is there any blood biomarker with true clinical relevance? | Linhares, Paulo; Carvalho, Bruno; Vaz, Rui, et al. | Artigo | Acesso aberto |
2020 | Verification of system-wide safety properties of ROS applications | Carvalho, Renato; Cunha, Alcino; Macedo, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |