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