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
arXiv preprint arXiv:1308.1228, 2013
222013
Defining context-free power series coalgebraically
MM Bonsangue, J Rutten, J Winter
International Workshop on Coalgebraic Methods in Computer Science, 20-39, 2012
152012
Context-free coalgebras
J Winter, MM Bonsangue, JJMM Rutten
Journal of Computer and System Sciences 81 (5), 911-939, 2015
112015
Coalgebraic characterizations of automata-theoretic classes
J Winter
[Sl: sn], 2014
82014
Space complexity in infinite time Turing machines
J Winter
72007
QStream: a suite of streams
J Winter
International Conference on Algebra and Coalgebra in Computer Science, 353-358, 2013
62013
Is P = PSPACE for Infinite Time Turing Machines?
J Winter
International Conference on Infinity in Logic and Computation, 126-137, 2007
62007
A Completeness Result for Finite λ-bisimulations
J Winter
International Conference on Foundations of Software Science and Computation …, 2015
52015
Lindenmayer systems, coalgebraically
BT y Widemann, J Winter
Draft Proc. CMCS, 2012
32012
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
22014
On language equations and grammar coalgebras for context-free languages
J Rot, J Winter
Proceeding CALCO Early Ideas, 2013
22013
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
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
The system can't perform the operation now. Try again later.
Articles 1–20