Marcello Bonsangue
AuthID: R-006-WSY
21
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
22
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
CrossRef23
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 arXiv24
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
25
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
DBLP26
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
27
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 arXiv28
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
DBLP29
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
30
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
