Marcello Bonsangue
AuthID: R-006-WSY
31
TÃTULO: An Algebra for Kripke Polynomial Coalgebras
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA
32
TÃTULO: Formal Methods for Components and Objects
AUTORES: Frank S de Boer; Marcello M Bonsangue; Eric Madelaine;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science
AUTORES: Frank S de Boer; Marcello M Bonsangue; Eric Madelaine;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
33
TÃTULO: Coalgebraic Logic and Synthesis of Mealy Machines
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2008, FONTE: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, VOLUME: 4962
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2008, FONTE: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, VOLUME: 4962
34
TÃTULO: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
AUTORES: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLICAÇÃO: 2008, FONTE: FMCO, VOLUME: 5382
AUTORES: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLICAÇÃO: 2008, FONTE: FMCO, VOLUME: 5382
INDEXADO EM: DBLP
35
TÃTULO: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
AUTORES: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLICAÇÃO: 2007, FONTE: FMCO, VOLUME: 4709
AUTORES: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLICAÇÃO: 2007, FONTE: FMCO, VOLUME: 4709
INDEXADO EM: DBLP
36
TÃTULO: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures
AUTORES: Frank de d Boer; Marcello M Bonsangue; Susanne Graf; Willem de d Roever;
PUBLICAÇÃO: 2005, FONTE: FMCO, VOLUME: 3657
AUTORES: Frank de d Boer; Marcello M Bonsangue; Susanne Graf; Willem de d Roever;
PUBLICAÇÃO: 2005, FONTE: FMCO, VOLUME: 3657
INDEXADO EM: DBLP