Marcello Bonsangue
AuthID: R-006-WSY
1
TITLE: Completeness and Incompleteness of Synchronous Kleene Algebra
AUTHORS: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, VOLUME: 11825
AUTHORS: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, VOLUME: 11825
INDEXED IN: 
DBLP
DBLP2
TITLE: Completeness and Incompleteness of Synchronous Kleene Algebra PDF
AUTHORS: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1905.08554
AUTHORS: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1905.08554
INDEXED IN: DBLP 
arXiv
DBLP arXiv3
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
DBLP4
TITLE: Enhanced coalgebraic bisimulation
AUTHORS: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
AUTHORS: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLISHED: 2017, SOURCE: Mathematical Structures in Computer Science, VOLUME: 27, ISSUE: 7
INDEXED IN: DBLP
DBLP5
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
DBLP6
TITLE: A coalgebraic view on decorated traces
AUTHORS: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7
AUTHORS: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7
INDEXED IN: 
WOS DBLP
WOS DBLP7
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
CrossRef8
TITLE: Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm Full Text
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Helle H Hansen; Prakash Panangaden; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, ISSUE: 1
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Helle H Hansen; Prakash Panangaden; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, ISSUE: 1
9
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
DBLP10
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
CrossRef