Data | Título | Autor(es) | Tipo | Acesso |
Fev-2014 | Algebra - coalgebra duality in Brzozowski's minimization algorithm | Bonchi, Filippo; Rutten, Jan; Panangaen, Prakash, et al. | Artigo | Acesso aberto |
2012 | A coalgebraic perspective on linear weighted automata | Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele, et al. | Artigo | Acesso aberto |
2014 | A compositional model to reason about end-to-end QoS in stochastic reo connectors | Arbab, Farhad; Moon, Young-Joo; Silva, Alexandra M., et al. | Artigo | Acesso aberto |
2014 | How to kill epsilons with a dagger: a coalgebraic take on systems with algebraic label structure | Bonchi, Filippo; Milius, Stefan; Silva, Alexandra M., et al. | Artigo em ata de conferência | Acesso aberto |
2014 | Quantitative analysis of reo- based service coordination | Oliveira, Nuno; Silva, Alexandra M.; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2013 | Sound and complete axiomatizations of coalgebraic language equivalence | Bonsangue, Marcello; Milius, Stefan; Silva, Alexandra M. | Artigo | Acesso aberto |
2006 | Strong types for relational databases: functional pearl | Visser, Joost; Silva, Alexandra M. | Artigo em ata de conferência | Acesso aberto |