Marcello Bonsangue
AuthID: R-006-WSY
1
TITLE: Data Science and Artificial Intelligence. Second International Conference, DSAI 2024, Medan, Indonesia, November 13-15, 2024, Proceedings
AUTHORS: Chutiporn Anutariya; Marcello M Bonsangue;
PUBLISHED: 2024
AUTHORS: Chutiporn Anutariya; Marcello M Bonsangue;
PUBLISHED: 2024
INDEXED IN: 
Openlibrary
Openlibrary2
TITLE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Jan Rutten;
PUBLISHED: 2018, SOURCE: It's All About Coordination, VOLUME: 10865
AUTHORS: Frank S de Boer; Marcello M Bonsangue; Jan Rutten;
PUBLISHED: 2018, SOURCE: It's All About Coordination, VOLUME: 10865
INDEXED IN: 
DBLP
DBLP3
TITLE: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
AUTHORS: Erika Ábrahám; Marcello M Bonsangue; Einar Broch Johnsen;
PUBLISHED: 2016, SOURCE: Theory and Practice of Formal Methods, VOLUME: 9660
AUTHORS: Erika Ábrahám; Marcello M Bonsangue; Einar Broch Johnsen;
PUBLISHED: 2016, SOURCE: Theory and Practice of Formal Methods, VOLUME: 9660
INDEXED IN: DBLP
DBLP4
TITLE: Theory and Practice of Formal Methods
AUTHORS: Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science
AUTHORS: Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef5
TITLE: Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
AUTHORS: Marcello M Bonsangue;
PUBLISHED: 2014, SOURCE: CMCS, VOLUME: 8446
AUTHORS: Marcello M Bonsangue;
PUBLISHED: 2014, SOURCE: CMCS, VOLUME: 8446
INDEXED IN: DBLP
DBLP6
TITLE: Coalgebraic Methods in Computer Science
AUTHORS: Marcello M Bonsangue;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science
AUTHORS: Marcello M Bonsangue;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef7
TITLE: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
AUTHORS: Bernhard K Aichernig; Frank de d Boer; Marcello M Bonsangue;
PUBLISHED: 2012, SOURCE: FMCO, VOLUME: 6957
AUTHORS: Bernhard K Aichernig; Frank de d Boer; Marcello M Bonsangue;
PUBLISHED: 2012, SOURCE: FMCO, VOLUME: 6957
INDEXED IN: DBLP
DBLP8
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
CrossRef9
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
DBLP10
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
CrossRef