Marcello Bonsangue
AuthID: R-006-WSY
21
TITLE: Formal Methods for Components and Objects
AUTHORS: Bernhard K Aichernig; Frank S de Boer; Marcello M Bonsangue;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science
AUTHORS: Bernhard K Aichernig; Frank S de Boer; Marcello M Bonsangue;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef22
TITLE: Sound and complete axiomatizations of coalgebraic language equivalence PDF
AUTHORS: Marcello M. Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1104.2803
AUTHORS: Marcello M. Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1104.2803
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv23
TITLE: Quantitative Kleene coalgebras Full Text
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2011, SOURCE: Inf. Comput., VOLUME: 209, ISSUE: 5
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2011, SOURCE: Inf. Comput., VOLUME: 209, ISSUE: 5
24
TITLE: Generalizing the powerset construction, coalgebraically
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2010, SOURCE: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, VOLUME: 8
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2010, SOURCE: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, VOLUME: 8
INDEXED IN: DBLP
DBLP25
TITLE: A Decision Procedure for Bisimilarity of Generalized Regular Expressions
AUTHORS: Marcello M Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
AUTHORS: Marcello M Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
26
TITLE: Non-Deterministic Kleene Coalgebras PDF
AUTHORS: Alexandra Silva ; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLISHED: 2010, SOURCE: Logical Methods in Computer Science, VOLUME: 6, ISSUE: 3
AUTHORS: Alexandra Silva ; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLISHED: 2010, SOURCE: Logical Methods in Computer Science, VOLUME: 6, ISSUE: 3
INDEXED IN: DBLP arXiv
DBLP arXiv27
TITLE: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
AUTHORS: Frank de d Boer; Marcello M Bonsangue; Eric Madelain;
PUBLISHED: 2009, SOURCE: FMCO, VOLUME: 5751
AUTHORS: Frank de d Boer; Marcello M Bonsangue; Eric Madelain;
PUBLISHED: 2009, SOURCE: FMCO, VOLUME: 5751
INDEXED IN: DBLP
DBLP28
TITLE: Deriving Syntax and Axioms for Quantitative Regular Behaviours
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, VOLUME: 5710
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, VOLUME: 5710
29
TITLE: Automata for Context-Dependent Connectors
AUTHORS: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, VOLUME: 5521
AUTHORS: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, VOLUME: 5521
30
TITLE: A Kleene Theorem for Polynomial Coalgebras
AUTHORS: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, VOLUME: 5504
AUTHORS: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, VOLUME: 5504
