Joost Winter

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Inductive Inference

Context Free Languages

Prime Implicates

Top Venues

J. Comput. Syst. Sci.

Publications

Joost Winter
Product Rules and Distributive Laws. CMCS (2016)
Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
Context-free coalgebras. J. Comput. Syst. Sci. 81 (5) (2015)
Joost Winter
A Completeness Result for Finite λ-bisimulations. FoSSaCS (2015)
Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter
A Final Coalgebra for k-regular Sequences. Horizons of the Mind (2014)
Joost Winter
QStream: A Suite of Streams. CALCO (2013)
Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
Coalgebraic Characterizations of Context-Free Languages. Log. Methods Comput. Sci. 9 (3) (2013)
Frank S. de Boer, Michiel Helvensteijn, Joost Winter
A modal logic for abstract delta modeling. SPLC (2) (2012)
Marcello M. Bonsangue, Jan J. M. M. Rutten, Joost Winter
Defining Context-Free Power Series Coalgebraically. CMCS (2012)
Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
Context-Free Languages, Coalgebraically. CALCO (2011)
Joost Winter
Is P = PSPACE for Infinite Time Turing Machines? ILC (2007)