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