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 |
2009 | Automata for context-dependent connectors | Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra | Artigo em ata de conferência | Acesso aberto |
2020 | Building a needs-based curriculum in data science and artificial intelligence: case studies in Indonesia, Sri Lanka, and Thailand | Anutariya, Chutiporn; Bonsangue, Marcello; Abidin, Taufik F., et al. | Artigo em ata de conferência | Acesso aberto |
2008 | Coalgebraic logic and synthesis of mealy machines | Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra | Artigo em ata de conferência | Acesso aberto |
2012 | A coalgebraic perspective on linear weighted automata | Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele, et al. | Artigo | Acesso aberto |
2012 | Final semantics for decorated traces | Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana, et al. | Artigo | Acesso aberto |
2009 | A Kleene theorem for polynomial coalgebras | Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra | Artigo em ata de conferência | Acesso aberto |
2011 | Quantitative kleene coalgebras | Rutten, Jan; Bonsangue, Marcello; Bonchi, Filippo, et al. | Artigo | Acesso aberto |
2013 | Sound and complete axiomatizations of coalgebraic language equivalence | Bonsangue, Marcello; Milius, Stefan; Silva, Alexandra M. | Artigo | Acesso aberto |