Full name: Marcello Bonsangue
Formal name: Dr. M.M. Bonsangue
Function: Temporarily Assigned
Email: Marcello.Bonsangue@cwi.nl
Telephone +31(0)20 592 4001
Room: L214
Research groups:
(SEN3) Foundations of software engineering
Formal name: Dr. M.M. Bonsangue
Function: Temporarily Assigned
Email: Marcello.Bonsangue@cwi.nl
Telephone +31(0)20 592 4001
Room: L214
Research groups:
(SEN3) Foundations of software engineering
Career
| 2009 - 2012 | Temporarily assigned SEN3 - Foundations of Software Engineering |
Recent Publications
| A. Silva, F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten. Quantitative Kleene coalgebras. Information and Computation 209, 822–849, 2011. |
| M.M. Bonsangue, S. Milius, A. Silva. Sound and complete axiomatizations of coalgebraic language equivalence. Computing Research Repository abs/1104.2803, 2011. |
| M.M. Bonsangue, D. Clarke, M. Izadi. Buchi Automata for Modeling Component Connectors. Software and System Modelling 10, 183–200, 2011. |
| B.K. Aichernig, F.S. de Boer, M.M. Bonsangue. Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey. , Lecture Notes in Computer Science 6957, 1–386 Springer., 2011. |
| J. Winter, M.M. Bonsangue, J.J.M.M. Rutten. Context-free languages, coalgebraically.. Proceedings of Conference on Algebra and Coalgebra in Computer Science 2011, Lecture Notes in Computational Science and Engineering 6859, 359–376, 2011. |
