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 |
Einbettungen in das Transformationsmonoid einer vergesslichen Warteschlange C Köcher Technische Universität Ilmenau, 2016 | 4 | 2016 |
Forwards- and Backwards-Reachability for Cooperating Multi-Pushdown Systems C Köcher, D Kuske 24th International Symposium on Fundamentals of Computation Theory 14292 …, 2023 | 3 | 2023 |
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 |
Regular Separators for VASS Coverability Languages C Köcher, G Zetzsche 43rd IARCS Annual Conference on Foundations of Software Technology and …, 2023 | 1 | 2023 |
Verification of Automata with Storage Mechanisms C Köcher BoD–Books on Demand, 2023 | 1 | 2023 |
Analyse der Entscheidbarkeit diverser Probleme in automatischen Graphen C Köcher Technische Universität Ilmenau, 2014 | 1 | 2014 |
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 |
Backwards-Reachability for Cooperating Multi-Pushdown Systems C Köcher, D Kuske Available at SSRN 4643578, 0 | | |