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