Data | Título | Autor(es) | Tipo | Acesso |
2021 | Análise do contacto de engrenagens cónicas com dentado espiral: simulação numérica e validação experimental | Silva, Rafaela Luís da Costa | Dissertação de mestrado | Acesso aberto |
2017 | Animal facility videoendoscopic intubation station: tips and tricks from mice to rabbits | Miranda, Alice Augusta Macedo; Pêgo, José M.; Correia-Pinto, Jorge | Artigo | Acesso aberto |
Dez-2012 | A calculus for generic, QoS-aware component composition | Barbosa, L. S.; Meng, Sun | Artigo | Acesso aberto |
2005 | A coalgebraic semantic framework for component-based development in UML | Sun Meng; Aichernig, Bernhard K.; Barbosa, L. S., et al. | Artigo | Acesso aberto |
2006 | Components as coalgebras: the refinement dimension | Barbosa, L. S.; Sun Meng | Artigo | Acesso aberto |
2004 | On refinement of generic state-based software components | Meng, Sun; Barbosa, L. S. | Capítulo de livro | Acesso aberto |
2005 | On refinement of software architectures | Meng, Sun; Barbosa, L. S.; Naixiao, Zhang | Artigo em ata de conferência | Acesso aberto |
2004 | On semantics and refinement of UML statecharts: a coalgebraic view | Sun Meng; Zhang Naixiao; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
Fev-2017 | PhenoWorld: addressing animal welfare in a new paradigm to house and assess rat behaviour | Castelhano-Carlos, Magda João; Baumans, Vera; Sousa, Nuno | Artigo | Acesso restrito autor |
2006 | Pointfree factorization of operation refinement | Oliveira, José Nuno Fonseca; Rodrigues, César J. | Artigo em ata de conferência | Acesso aberto |
2009 | Refinement by interpretation in a general setting | Martins, Manuel A.; Madeira, A.; Barbosa, L. S. | Artigo | Acesso aberto |
2011 | Refinement by interpretation in φ-institutions | Rodrigues, César J.; Martins, Manuel A.; Madeira, A., et al. | Artigo em ata de conferência | Acesso aberto |
2015 | Refinement in hybridised institutions | Madeira, Alexandre Leite Castro; Martins, Manuel A.; Barbosa, L. S., et al. | Artigo | Acesso aberto |
Nov-2017 | A refinement relation for families of timed automata | Cledou, Guillermina; Proença, José Miguel Paiva; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2009 | Refinement via interpretation | Martins, Manuel A.; Madeira, A.; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2016 | ReFlO: an interactive tool for pipe-and-filter domain specification and program generation | Gonçalves, Rui Carlos Araújo; Batory, Don; Sobral, João Luís Ferreira | Artigo | Acesso restrito UMinho |
2009 | A single complete relational rule for coalgebraic refinement | Rodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S. | Artigo | Acesso aberto |
2006 | Transposing partial components: an exercise on coalgebraic refinement | Oliveira, José Nuno Fonseca; Barbosa, L. S. | Artigo | Acesso aberto |
Jun-2017 | Ultrasonic melt processing in the low pressure investment casting of Al alloys | Barbosa, J.; Puga, Hélder | Artigo | Acesso aberto |
2019 | Ultrasonic melt treatment of light alloys | Barbosa, J.; Puga, Hélder | Artigo | Acesso restrito UMinho |