Data | Título | Autor(es) | Tipo | Acesso |
2010 | Assertion-based slicing and slice graphs | Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo em ata de conferência | Acesso aberto |
2014 | Autonomous multi-dimensional slicing for large-scale distributed systems | Pasquet, Mathieu; Maia, Francisco António Ferraz Martins Almeida; Rivière, Étienne, et al. | Artigo em ata de conferência | Acesso aberto |
2001 | "Bagatelle in C arranged for VDM SoLo" | Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |
2010 | Contract-based slicing | Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |
2018 | On the optimal object orientation in additive manufacturing | Pereira, Sérgio; Vaz, A. Ismael F.; Vicente, L. N. | Artigo | Acesso restrito UMinho |
2020 | Path generation, control, and monitoring | Faria, Carlos; Martins, Daniela; Matos, Marina A., et al. | Capítulo de livro | Acesso restrito autor |