Follow
Joost Winter
Title
Cited by
Cited by
Year
Context-free languages, coalgebraically
J Winter, MM Bonsangue, J Rutten
International Conference on Algebra and Coalgebra in Computer Science, 359-376, 2011
302011
Coalgebraic characterizations of context-free languages
J Winter, JJM Rutten, MM Bonsangue
Logical Methods in Computer Science 9, 2013
252013
Defining context-free power series coalgebraically
MM Bonsangue, J Rutten, J Winter
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS …, 2012
152012
Context-free coalgebras
J Winter, MM Bonsangue, JJMM Rutten
Journal of Computer and System Sciences 81 (5), 911-939, 2015
132015
Coalgebraic characterizations of automata-theoretic classes
J Winter
[Sl]:[Sn], 2014
122014
Space complexity in infinite time Turing machines
J Winter
82007
Is P = PSPACE for Infinite Time Turing Machines?
J Winter
International Conference on Infinity in Logic and Computation, 126-137, 2007
72007
QStream: a suite of streams
J Winter
Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013
62013
A Completeness Result for Finite ë-bisimulations
J Winter
International Conference on Foundations of Software Science and Computation …, 2015
52015
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
32014
Lindenmayer systems, coalgebraically
BT y Widemann, J Winter
Draft Proc. CMCS, 2012
32012
On language equations and grammar coalgebras for context-free languages
J Rot, J Winter
Proceeding CALCO Early Ideas, 2013
22013
Product rules and distributive laws
J Winter
Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International …, 2016
12016
Erratum to various proofs of Christol¢s theorem
J Winter
12015
A modal logic for abstract delta modeling
F de Boer, M Helvensteijn, J Winter
Proceedings of the 16th International Software Product Line Conference …, 2012
12012
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
The system can't perform the operation now. Try again later.
Articles 1–20