| Rational, Recognizable, and Aperiodic Sets in the Partially Lossy Queue Monoid C Köcher 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018) 96 …, 2018 | 6 | 2018 |
| The inclusion structure of partially lossy queue monoids and their trace submonoids C Köcher, D Kuske, O Prianychnykova RAIRO-Theoretical Informatics and Applications 52 (1), 55-86, 2018 | 5 | 2018 |
| Regular separators for VASS coverability languages C Köcher, G Zetzsche 43rd IARCS Annual Conference on Foundations of Software Technology and …, 2023 | 4 | 2023 |
| Forwards- and Backwards-Reachability for Cooperating Multi-Pushdown Systems C Köcher, D Kuske 24th International Symposium on Fundamentals of Computation Theory 14292 …, 2023 | 4 | 2023 |
| Einbettungen in das Transformationsmonoid einer vergesslichen Warteschlange C Köcher Technische Universität Ilmenau, 2016 | 4 | 2016 |
| Reachability Problems on Reliable and Lossy Queue Automata C Köcher Theory of Computing Systems 65 (8), 1211-1242, 2021 | 3 | 2021 |
| The transformation monoid of a partially lossy queue C Köcher, D Kuske Computer Science–Theory and Applications: 12th International Computer …, 2017 | 3 | 2017 |
| Reachability Problems on Partially Lossy Queue Automata C Köcher 13th International Conference on Reachability Problems 11674, 149-163, 2019 | 2 | 2019 |
| Analyse der Entscheidbarkeit diverser Probleme in automatischen Graphen C Köcher Technische Universität Ilmenau, 2014 | 2 | 2014 |
| Backwards-Reachability for Cooperating Multi-Pushdown Systems C Köcher, D Kuske Journal of Computer and System Sciences 148, 1-14, 2025 | 1 | 2025 |
| The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective P Bergsträßer, C Köcher, AW Lin, G Zetzsche NeurIPS 2024, 1-18, 2024 | 1 | 2024 |
| Verification of Automata with Storage Mechanisms C Köcher BoD–Books on Demand, 2023 | 1 | 2023 |
| Reachability in Trace-Pushdown Systems C Köcher, D Kuske arXiv preprint arXiv:2502.11630, 2025 | | 2025 |
| The complexity of separability for semilinear sets and Parikh automata ER Collins, C Köcher, G Zetzsche arXiv preprint arXiv:2410.00548, 2024 | | 2024 |
| Rational, recognizable, and aperiodic partially lossy queue languages C Köcher International Journal of Algebra and Computation 32 (03), 483-528, 2022 | | 2022 |
| The Cayley-Graph of the Queue Monoid: Logic and Decidability F Abu Zaid, C Köcher 38th IARCS Annual Conference on Foundations of Software Technology and …, 2018 | | 2018 |
