Percorrer por autor 6444 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 18-35 de um total de 35 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2015A Logic for robotics?Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
2018A logic for the stepwise development of reactive systemsMadeira, Alexandre Leite Castro; Barbosa, Luís S.; Hennicker, Rolf, et al.ArtigoAcesso aberto
2016A method for rigorous design of reconfigurable systemsMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Barbosa, L. S., et al.ArtigoAcesso 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
2017On infinitary equational hybrid logicMartins, M. A.; Madeira, Alexandre Leite Castro; Barbosa, L. S.Capítulo de livroAcesso aberto
2017On kleene algebras for weighted computationGomes, Leandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Out-2019On the generation of equational dynamic logics for weighted imperative programsGomes, Leandro Rafael Moreira; Madeira, Alexandre; Jain, Manisha, et al.Artigo em ata de conferênciaAcesso aberto
2015On the verification of architectural reconfigurationsSanchez, Alejandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.ArtigoAcesso restrito UMinho
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.ArtigoAcesso aberto
2009Refinement by interpretation in a general settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.ArtigoAcesso aberto
2011Refinement by interpretation in φ-institutionsRodrigues, César J.; Martins, Manuel A.; Madeira, A., et al.Artigo em ata de conferênciaAcesso aberto
2015Refinement in hybridised institutionsMadeira, Alexandre Leite Castro; Martins, Manuel A.; Barbosa, L. S., et al.ArtigoAcesso aberto
2009Refinement via interpretationMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2016Reuse and integration of specification logics: the hybridisation perspectiveBarbosa, L. S.; Martins, Manuel A.; Madeira, Alexandre Leite Castro, et al.Capítulo de livroAcesso aberto
2021A semantics and a logic for Fuzzy Arden SyntaxGomes, Leandro Rafael Moreira; Madeira, Alexandre Leite Castro; Barbosa, L. S.ArtigoAcesso aberto
2014The role of logical interpretations on program developmentMartins, Manuel A.; Madeira, Alexandre; Barbosa, L. S.ArtigoAcesso aberto
2021Towards a specification theory for fuzzy modal logicJain, Manisha; Gomes, Leandro; Madeira, Alexandre, et al.Artigo em ata de conferênciaAcesso aberto
2013When even the interface evolves...Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 18-35 de um total de 35 resultados. < anterior