Joost Winter

According to our database, Joost Winter authored at least 10 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Product Rules and Distributive Laws.

Joost Winter

Proceedings of the Coalgebraic Methods in Computer Science, 2016

2015

Context-free coalgebras.

Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten

J. Comput. Syst. Sci., 2015

A Completeness Result for Finite λ-bisimulations.

Joost Winter

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

A Final Coalgebra for k-regular Sequences.

Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Coalgebraic Characterizations of Context-Free Languages.

Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten

Log. Methods Comput. Sci., 2013

QStream: A Suite of Streams.

Joost Winter

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

A modal logic for abstract delta modeling.

Frank S. de Boer, Michiel Helvensteijn, Joost Winter

Proceedings of the 16th International Software Product Line Conference, 2012

Defining Context-Free Power Series Coalgebraically.

Marcello M. Bonsangue, Jan J. M. M. Rutten, Joost Winter

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011

Context-Free Languages, Coalgebraically.

Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2007

Is P = PSPACE for Infinite Time Turing Machines?

Joost Winter

Proceedings of the Infinity in Logic and Computation, International Conference, 2007