Context-free languages, coalgebraically J Winter, MM Bonsangue, J Rutten International Conference on Algebra and Coalgebra in Computer Science, 359-376, 2011 | 30 | 2011 |
Coalgebraic characterizations of context-free languages J Winter, JJM Rutten, MM Bonsangue arXiv preprint arXiv:1308.1228, 2013 | 22 | 2013 |
Defining context-free power series coalgebraically MM Bonsangue, J Rutten, J Winter International Workshop on Coalgebraic Methods in Computer Science, 20-39, 2012 | 15 | 2012 |
Context-free coalgebras J Winter, MM Bonsangue, JJMM Rutten Journal of Computer and System Sciences 81 (5), 911-939, 2015 | 11 | 2015 |
Coalgebraic characterizations of automata-theoretic classes J Winter [Sl: sn], 2014 | 8 | 2014 |
Space complexity in infinite time Turing machines J Winter | 7 | 2007 |
QStream: a suite of streams J Winter International Conference on Algebra and Coalgebra in Computer Science, 353-358, 2013 | 6 | 2013 |
Is P = PSPACE for Infinite Time Turing Machines? J Winter International Conference on Infinity in Logic and Computation, 126-137, 2007 | 6 | 2007 |
A Completeness Result for Finite λ-bisimulations J Winter International Conference on Foundations of Software Science and Computation …, 2015 | 5 | 2015 |
Lindenmayer systems, coalgebraically BT y Widemann, J Winter Draft Proc. CMCS, 2012 | 3 | 2012 |
A Final Coalgebra for k-regular Sequences HH Hansen, C Kupke, J Rutten, J Winter Horizons of the Mind. A Tribute to Prakash Panangaden, 363-383, 2014 | 2 | 2014 |
On language equations and grammar coalgebras for context-free languages J Rot, J Winter Proceeding CALCO Early Ideas, 2013 | 2 | 2013 |
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 |
Product rules and distributive laws J Winter International Workshop on Coalgebraic Methods in Computer Science, 114-135, 2016 | | 2016 |
Erratum to various proofs of Christol’s theorem J Winter | | 2015 |
Coalgebraic Characterizations of Context-Free Languages MM Bonsangue, JJM Rutten, J Winter Logical Methods in Computer Science 9, 2013 | | 2013 |
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 |