Mostrar 10-29 de um total de 35 resultados.
< anterior
próximo >
| Data | Título | Autor(es) | Tipo | Acesso |
| 2019 | Generalising KAT to verify weighted computations | Gomes, Leandro; Madeira, Alexandre; Barbosa, L. S. | Artigo | Acesso aberto |
| Set-2013 | Giving ALLOY a family | Neves, Renato; Madeira, Alexandre; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
| Out-2018 | Hierarchical hybrid logic | Madeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Martins, Manuel A., et al. | Artigo | Acesso aberto |
| 2011 | Hybrid specification of reactive systems: an institutional approach | Madeira, A.; Faria, José Miguel; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
| 2013 | Hybridisation at work | Neves, Renato; Madeira, Alexandre; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
| 2011 | Hybridization of institutions | Martins, Manuel A.; Madeira, A.; Diaconescu, R., et al. | Artigo em ata de conferência | Acesso aberto |
| 2014 | Introducing hierarquical hybrid logic | Madeira, Alexandre; Neves, Renato Jorge Araújo; Barbosa, L. S., et al. | Artigo em ata de conferência | Acesso aberto |
| Mar-2020 | Introducing synchrony in fuzzy automata | Gomes, Leandro Rafael Moreira; Madeira, Alexandre; Barbosa, L. S. | Artigo | Acesso aberto |
| 2015 | A Logic for robotics? | Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
| 2018 | A logic for the stepwise development of reactive systems | Madeira, Alexandre Leite Castro; Barbosa, Luís S.; Hennicker, Rolf, et al. | Artigo | Acesso aberto |
| 2016 | A method for rigorous design of reconfigurable systems | Madeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Barbosa, L. S., et al. | Artigo | Acesso aberto |
| Fev-2015 | Modelling and verifying smell-free architectures with the Archery language | Sanchez, Alejandro; Barbosa, L. S.; Madeira, Alexandre Leite Castro | Artigo em ata de conferência | Acesso restrito UMinho |
| 2017 | On infinitary equational hybrid logic | Martins, M. A.; Madeira, Alexandre Leite Castro; Barbosa, L. S. | Capítulo de livro | Acesso aberto |
| 2017 | On kleene algebras for weighted computation | Gomes, Leandro; Madeira, Alexandre Leite Castro; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
| Out-2019 | On the generation of equational dynamic logics for weighted imperative programs | Gomes, Leandro Rafael Moreira; Madeira, Alexandre; Jain, Manisha, et al. | Artigo em ata de conferência | Acesso aberto |
| 2015 | On the verification of architectural reconfigurations | Sanchez, Alejandro; Madeira, Alexandre Leite Castro; Barbosa, L. S. | Artigo | Acesso restrito UMinho |
| 2016 | Proof theory for hybrid(ised) logics | Neves, Renato; Madeira, Alexandre; Martins, Manuel A., et al. | Artigo | 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 |
