Data | Título | Autor(es) | Tipo | Acesso |
2013 | Bisimilarity and refinement for hybrid(ised) logics | Madeira, Alexandre; Martins, Manuel M.; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
29-Jan-2021 | Fuzzy automata as coalgebras | Liu, Ai; Wang, Shun; Barbosa, L. S., et al. | Artigo | Acesso aberto |
Out-2018 | Languages and models for hybrid automata: A coalgebraic perspective | Neves, Renato Jorge Araújo; Barbosa, L. S. | Artigo | Acesso aberto |
31-Out-2022 | On symmetric higher-dimensional automata and bisimilarity | Kahl, Thomas | Artigo | Acesso aberto |
2015 | Refinement in hybridised institutions | Madeira, Alexandre Leite Castro; Martins, Manuel A.; Barbosa, L. S., et al. | Artigo | Acesso aberto |