Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 43 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2017On infinitary equational hybrid logicMartins, M. A.; Madeira, Alexandre Leite Castro; Barbosa, L. S.Capítulo de livroAcesso aberto
Abr-2018A note on reactive transitions and Reo connectorsFigueiredo, Daniel; Martins, Manuel A.; Barbosa, L. S.Capítulo de livroAcesso aberto
Out-2019On the generation of equational dynamic logics for weighted imperative programsGomes, Leandro Rafael Moreira; Madeira, Alexandre; Jain, Manisha; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2017On kleene algebras for weighted computationGomes, Leandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Abr-2019Reactive models for biological regulatory networksFigueiredo, Daniel; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Out-2017Digital governance for sustainable developmentBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2019Generalising KAT to verify weighted computationsGomes, Leandro; Madeira, Alexandre; Barbosa, L. S.ArtigoAcesso aberto
2020Towards a register-based census in OmanAl-Lawati, Ali Hussain; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Out-2018Hierarchical hybrid logicMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Martins, Manuel A.; Barbosa, L. S.ArtigoAcesso aberto
2017Modeling families of public licensing services: a case studyCledou, Maria Guillermina; Barbosa, Luís SoaresArtigo em ata de conferênciaAcesso aberto