Marcello Bonsangue
AuthID: R-006-WSY
11
TÃTULO: A coalgebraic view on decorated traces
AUTORES: BONCHI, F; BONSANGUE, M; CALTAIS, G; RUTTEN, J; SILVA, A ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 26, NÚMERO: 07
AUTORES: BONCHI, F; BONSANGUE, M; CALTAIS, G; RUTTEN, J; SILVA, A ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 26, NÚMERO: 07
12
TÃTULO: Automatic equivalence proofs for non-deterministic coalgebras Full Text
AUTORES: Marcello Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 9
AUTORES: Marcello Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 9
13
TÃTULO: Generalizing determinization from automata to coalgebras PDF Full Text
AUTORES: Alexandra Silva ; Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLICAÇÃO: 2013, FONTE: Logical Methods in Computer Science, VOLUME: 9, NÚMERO: 1
AUTORES: Alexandra Silva ; Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLICAÇÃO: 2013, FONTE: Logical Methods in Computer Science, VOLUME: 9, NÚMERO: 1
14
TÃTULO: Automatic Equivalence Proofs for Non-deterministic Coalgebras PDF
AUTORES: Marcello M. Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.1994
AUTORES: Marcello M. Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.1994
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv15
TÃTULO: Sound and Complete Axiomatizations of Coalgebraic Language Equivalence Full Text
AUTORES: Marcello M Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: ACM Trans. Comput. Log., VOLUME: 14, NÚMERO: 1
AUTORES: Marcello M Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: ACM Trans. Comput. Log., VOLUME: 14, NÚMERO: 1
16
TÃTULO: A coalgebraic perspective on linear weighted automata Full Text
AUTORES: Filippo Bonchi; Marcello Bonsangue; Michele Boreale; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 211
AUTORES: Filippo Bonchi; Marcello Bonsangue; Michele Boreale; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 211
17
TÃTULO: Brzozowski's algorithm (Co)algebraically
AUTORES: Bonchi, F; Bonsangue, MM; Rutten, JJMM; Silva, A ;
PUBLICAÇÃO: 2012, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7230 LNCS
AUTORES: Bonchi, F; Bonsangue, MM; Rutten, JJMM; Silva, A ;
PUBLICAÇÃO: 2012, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7230 LNCS
18
TÃTULO: Final semantics for decorated traces
AUTORES: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLICAÇÃO: 2012, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 286
AUTORES: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLICAÇÃO: 2012, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 286
19
TÃTULO: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
AUTORES: Bernhard K Aichernig; Frank de d Boer; Marcello M Bonsangue;
PUBLICAÇÃO: 2012, FONTE: FMCO, VOLUME: 6957
AUTORES: Bernhard K Aichernig; Frank de d Boer; Marcello M Bonsangue;
PUBLICAÇÃO: 2012, FONTE: FMCO, VOLUME: 6957
INDEXADO EM: DBLP
DBLP20
TÃTULO: A model of context-dependent component connectors Full Text
AUTORES: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: Sci. Comput. Program., VOLUME: 77, NÚMERO: 6
AUTORES: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: Sci. Comput. Program., VOLUME: 77, NÚMERO: 6
