Is P = PSPACE for Infinite Time Turing Machines? - Joost Winter (ILC, 2007)

Context-Free Languages, Coalgebraically. - Joost Winter; Marcello M. Bonsangue; Jan J. M. M. Rutten (CALCO, 2011)

Defining Context-Free Power Series Coalgebraically. - Marcello M. Bonsangue; Jan J. M. M. Rutten; Joost Winter (CMCS, 2012)

A modal logic for abstract delta modeling. - Frank S. de Boer; Michiel Helvensteijn; Joost Winter (SPLC (2), 2012)

QStream: A Suite of Streams. - Joost Winter (CALCO, 2013)

Coalgebraic Characterizations of Context-Free Languages. - Joost Winter; Marcello M. Bonsangue; Jan J. M. M. Rutten (Log. Methods Comput. Sci., 2013)

A Final Coalgebra for k-regular Sequences. - Helle Hvid Hansen; Clemens Kupke; Jan Rutten; Joost Winter (Horizons of the Mind, 2014)

A Completeness Result for Finite λ-bisimulations. - Joost Winter (FoSSaCS, 2015)

Context-free coalgebras. - Joost Winter; Marcello M. Bonsangue; Jan J. M. M. Rutten (J. Comput. Syst. Sci., 2015)

Product Rules and Distributive Laws. - Joost Winter (CMCS, 2016)