| Context-free languages, coalgebraically J Winter, MM Bonsangue, J Rutten International Conference on Algebra and Coalgebra in Computer Science, 359-376, 2011 | 31 | 2011 |
| Coalgebraic characterizations of context-free languages J Winter, JJM Rutten, MM Bonsangue Logical Methods in Computer Science 9, 2013 | 26 | 2013 |
| Defining context-free power series coalgebraically MM Bonsangue, J Rutten, J Winter Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS …, 2012 | 16 | 2012 |
| Context-free coalgebras J Winter, MM Bonsangue, JJMM Rutten Journal of Computer and System Sciences 81 (5), 911-939, 2015 | 14 | 2015 |
| Coalgebraic characterizations of automata-theoretic classes J Winter Sl: sn, 2014 | 13 | 2014 |
| Space complexity in infinite time Turing machines J Winter | 9 | 2007 |
| Is P = PSPACE for Infinite Time Turing Machines? J Winter International Conference on Infinity in Logic and Computation, 126-137, 2007 | 8 | 2007 |
| QStream: a suite of streams J Winter Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013 | 6 | 2013 |
| A Completeness Result for Finite λ-bisimulations J Winter International Conference on Foundations of Software Science and Computation …, 2015 | 5 | 2015 |
| A Final Coalgebra for k-regular Sequences HH Hansen, C Kupke, J Rutten, J Winter Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to …, 2014 | 3 | 2014 |
| Lindenmayer systems, coalgebraically BT y Widemann, J Winter Draft Proc. CMCS, 2012 | 3 | 2012 |
| On language equations and grammar coalgebras for context-free languages J Rot, J Winter Proceeding CALCO Early Ideas, 2013 | 2 | 2013 |
| Product rules and distributive laws J Winter Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International …, 2016 | 1 | 2016 |
| Erratum to various proofs of Christol’s theorem J Winter | 1 | 2015 |
| A modal logic for abstract delta modeling F de Boer, M Helvensteijn, J Winter Proceedings of the 16th International Software Product Line Conference …, 2012 | 1 | 2012 |
| A completeness result for finite bisimulations up-to congruence J Winter CALCO EARLY IDEAS 2017, 8, 2017 | | 2017 |
| Lindenmayer Systems, Coalgebraically B Trancón y Widemann, J Winter | | 2012 |
| A Coalgebraic View on Context-Free Languages and Streams J Winter | | 2011 |
| A Coalgebraic Treatment of Context-free Languages J Winter | | 2011 |
| Coalgebra, Coinduction, and Languages J Winter | | 2011 |
Jan RuttenCWIVerified email at cwi.nl
