Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 18 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2017On kleene algebras for weighted computationGomes, Leandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2017Modeling families of public licensing services: a case studyCledou, Maria Guillermina; Barbosa, Luís SoaresArtigo em ata de conferênciaAcesso aberto
2017A framework for certification of large-scale component-based parallel computing systems in a cloud computing platform for HPC servicesDantas, A. O.; Carvalho, F. H.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2012Analysing tactics in architectural patternsSanchez, Alejandro; Aguiar, Ademar; Barbosa, L. S.; Riesco, DanielArtigo em ata de conferênciaAcesso aberto
Fev-2015Modelling and verifying smell-free architectures with the Archery languageSanchez, Alejandro; Barbosa, L. S.; Madeira, Alexandre Leite CastroArtigo em ata de conferênciaAcesso restrito UMinho
2016Dynamic logic with binders and its application to the development of reactive systemsMadeira, Alexandre Leite Castro; Barbosa, L. S.; Hennicker, Rolf; Martins, Manuel A.Artigo em ata de conferênciaAcesso aberto
Out-2017Composing Families of Timed AutomataCledou, Guillermina; Proença, José Miguel Paiva; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Abr-2018Communities of practice as a tool to support the GCIO functionSantos, Luís Paulo; Barbosa, Luís Nuno; Bessa, Diogo Aires; Martins, Lúcia Pereira; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Set-2017Certification of workflows in a component-based cloud of high performance computing servicesde Oliveira Dantas, Allberson B.; de Carvalho Junior, F. Heron; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Abr-2018Transforming legal documents for visualization and analysisCarvalho, Nuno Ramos; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
1-10 de um total de 18 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir