Marcello Bonsangue
AuthID: R-006-WSY
1
TÃTULO: Completeness and Incompleteness of Synchronous Kleene Algebra
AUTORES: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, VOLUME: 11825
AUTORES: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, VOLUME: 11825
INDEXADO EM: DBLP
2
TÃTULO: Completeness and Incompleteness of Synchronous Kleene Algebra PDF
AUTORES: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1905.08554
AUTORES: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1905.08554
INDEXADO EM: DBLP arXiv
3
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
4
TÃTULO: Enhanced coalgebraic bisimulation
AUTORES: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
AUTORES: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
5
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
6
TÃTULO: A coalgebraic view on decorated traces
AUTORES: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 7
AUTORES: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 7
INDEXADO EM: WOS DBLP
7
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
8
TÃTULO: Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm Full Text
AUTORES: Filippo Bonchi; Marcello M Bonsangue; Helle H Hansen; Prakash Panangaden; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, NÚMERO: 1
AUTORES: Filippo Bonchi; Marcello M Bonsangue; Helle H Hansen; Prakash Panangaden; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, NÚMERO: 1
9
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
10
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