Data | Título | Autor(es) | Tipo | Acesso |
2009 | Automata for context-dependent connectors | Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra | 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 | 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 |
2012 | Left-handed completeness | Kozen, Dexter; 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 |
2011 | Stochastic reo: a case study | Verhoef, Chrétien; Stam, Andries; Moon, Young-Joo, et al. | Artigo em ata de conferência | Acesso aberto |
2015 | Trace semantics via determinization | Jacobs, Bart; Silva, Alexandra; Sokolova, Ana | Artigo | Acesso aberto |