Data | Título | Autor(es) | Tipo | Acesso |
20-Dez-2021 | Lightweight trustworthy high-level software design | Liu, Chong | Tese de doutoramento | Acesso aberto |
1-Jan-2020 | Merging cloned alloy models with colorful refactorings | Liu, Chong; Macedo, Nuno; Cunha, Alcino | Artigo em ata de conferência | Acesso aberto |
2022 | Merging cloned Alloy models with colorful refactorings | Liu, Chong; Macedo, Nuno; Cunha, Alcino | Artigo | Acesso aberto |
2019 | Peptide-biofunctionalization of biomaterials for osteochondral tissue regeneration in early stage osteoarthritis: challenges and opportunities | Bicho, Diana Stefania Faria; Ajami, S.; Liu, Chong, et al. | Artigo | Acesso aberto |
2019 | Simplifying the analysis of software design variants with a colorful alloy | Liu, Chong; Macedo, Nuno; Cunha, Alcino | Artigo em ata de conferência | Acesso aberto |
2020 | Validating multiple variants of an automotive light system with electrum | Cunha, Alcino; Macedo, Nuno; Liu, Chong | Artigo em ata de conferência | Acesso aberto |