Full name: Joost Winter
Formal name: M.Sc. J. Winter
Function: PhD student
Email: J.Winter@cwi.nl
Telephone +31(0)20 592 4053
Room: L216
Research groups:
(SEN3) Foundations of software engineering
Formal name: M.Sc. J. Winter
Function: PhD student
Email: J.Winter@cwi.nl
Telephone +31(0)20 592 4053
Room: L216
Research groups:
(SEN3) Foundations of software engineering
Career
| 2010 - | PhD student SEN3 - Foundations of Software Engineering |
Recent Publications
| F.S. de Boer, M. Helvensteijn, J. Winter. A modal logic for abstract delta modeling.. Proceedings of Software Product Line Conferences 2012, 2012. |
| F.S. de Boer, M. Helvensteijn, J. Winter. A Modal Logic for Abstract Delta Modeling. Proceedings of the 16th International Software Product Line Conference - Volume 2, 45–52, 2012. |
| M.M. Bonsangue, J.J.M.M. Rutten, J. Winter. Defining context-free power series coalgebraically.. Proceedings of Coalgebraic Methods in Computer Science 2012, 2012. |
| 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. |
