Marcello Bonsangue
AuthID: R-006-WSY
31
TITLE: An Algebra for Kripke Polynomial Coalgebras
AUTHORS: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA
AUTHORS: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA
32
TITLE: Formal Methods for Components and Objects
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Eric Madelaine;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Eric Madelaine;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
33
TITLE: Formal Methods for Components and Objects. 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
AUTHORS: Marcello M Bonsangue; Susanne Graf; Willem Paul de Roever;
PUBLISHED: 2009
AUTHORS: Marcello M Bonsangue; Susanne Graf; Willem Paul de Roever;
PUBLISHED: 2009
INDEXED IN: Openlibrary
34
TITLE: Coalgebraic Logic and Synthesis of Mealy Machines
AUTHORS: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2008, SOURCE: 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
AUTHORS: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2008, SOURCE: 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
35
TITLE: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLISHED: 2008, SOURCE: FMCO, VOLUME: 5382
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLISHED: 2008, SOURCE: FMCO, VOLUME: 5382
INDEXED IN: DBLP
36
TITLE: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLISHED: 2007, SOURCE: FMCO, VOLUME: 4709
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Susanne Graf; Willem P de Roever;
PUBLISHED: 2007, SOURCE: FMCO, VOLUME: 4709
INDEXED IN: DBLP
37
TITLE: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures
AUTHORS: Frank de d Boer; Marcello M Bonsangue; Susanne Graf; Willem de d Roever;
PUBLISHED: 2005, SOURCE: FMCO, VOLUME: 3657
AUTHORS: Frank de d Boer; Marcello M Bonsangue; Susanne Graf; Willem de d Roever;
PUBLISHED: 2005, SOURCE: FMCO, VOLUME: 3657
INDEXED IN: DBLP