Full name: Joost Winter
Formal name: M.sc. J. Winter
Function: PhD student
Email: Joost.Winter@cwi.nl
Room: L216
Research groups: Formal Methods
Formal name: M.sc. J. Winter
Function: PhD student
Email: Joost.Winter@cwi.nl
Room: L216
Research groups: Formal Methods
Career
| 2013 - | Scientific staff member FM - Formal methods |
| 2010 - 2013 | 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. |
