Mostrar 1-20 de um total de 27 resultados.
próximo >
| Data | Título | Autor(es) | Tipo | Acesso |
| 2014 | An institution for Alloy and its translation to second-order logic | Neves, Renato; Madeira, Alexandre; Martins, Manuel A., et al. | Capítulo de livro | Acesso aberto |
| 2010 | Applying abstract algebraic logic to classical automata theory : an exercise | Descalço, Luís; Madeira, Alexandre; Martins, Manuel A. | Artigo em ata de conferência | Acesso aberto |
| 2013 | Boilerplates for reconfigurable systems: a language and its semantics | Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
| 12-Jul-2016 | Continuity as a computational effect | Neves, Renato; Barbosa, L. S.; Hofmann, Dirk, et al. | Artigo | Acesso aberto |
| 2015 | A dynamic logic for every season | Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
| 2016 | Dynamic logic with binders and its application to the development of reactive systems | Madeira, Alexandre Leite Castro; Barbosa, L. S.; Hennicker, Rolf, et al. | Artigo em ata de conferência | 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 |
| 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 |
| 2011 | Models as arrows: the role of dialgebras | Martins, Manuel A.; Madeira, A.; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
| Abr-2018 | A note on reactive transitions and Reo connectors | Figueiredo, Daniel; Martins, Manuel A.; Barbosa, L. S. | Capítulo de livro | Acesso aberto |
| 2011 | On requirements engineering for reactive systems: a formal methodology | Madeira, A.; Faria, José Miguel; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
| 2016 | Proof theory for hybrid(ised) logics | Neves, Renato; Madeira, Alexandre; Martins, Manuel A., et al. | Artigo | Acesso aberto |
| 2011 | Reasoning about complex requirements in a uniform setting | Martins, Manuel A.; Madeira, A.; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
