Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 17 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.ArtigoAcesso aberto
2015A Logic for robotics?Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Refinement by interpretation in φ-institutionsRodrigues, César J.; Martins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2016Encoding hybridised institutions into first order logicDiaconescu, Razvan; Madeira, AlexandreArtigoAcesso aberto
2013When even the interface evolves...Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2015Refinement in hybridised institutionsMadeira, Alexandre Leite Castro; Martins, Manuel A.; Barbosa, L. S.; Hennicker, RolfArtigoAcesso aberto
2017On kleene algebras for weighted computationGomes, Leandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Hybrid specification of reactive systems: an institutional approachMadeira, A.; Faria, José Miguel; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
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
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
1-10 de um total de 17 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir