• home
  • contact
  • intranet
  • search
Home
  •   jobs
  •   innovations
  •   research
  •   news
  •   events
  •   about CWI
  •   publications
About CWI
  •   general
    • mission
    • achievements
    • organization
    • annual report
    • scientific staff
    • service staff
    • spin-off companies
    • research partners
    • address
  •   ERCIM
    • contacts
Full name: Joost Winter
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.

All publications (link to repository)

Centrum Wiskunde & Informatica | Science Park 123  | 1098 XG Amsterdam | info@cwi.nl

Disclaimer | Report suggestions or problems to webmaster@cwi.nl | | ipv6 ready

.