Chris Köcher

17 papers A* 1A 1B 2Misc 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Backwards-reachability for cooperating multi-pushdown systems.
J. Comput. Syst. Sci.
Chris Köcher, Dietrich Kuske
2025 J jnl
NoPE: The Counting Power of Transformers with No Positional Encodings.
CoRR
Chris Köcher, Alexander Kozachinskiy, Anthony Widjaja Lin, Marco Sälzer, Georg Zetzsche
2025 J jnl
Reachability in Trace-Pushdown Systems.
CoRR
Chris Köcher, Dietrich Kuske
2025 B conf
The Complexity of Separability for Semilinear Sets and Parikh Automata.
MFCS
Elias Rojas Collins, Chris Köcher, Georg Zetzsche
2024 J jnl
The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective.
CoRR
Pascal Bergsträßer, Chris Köcher, Anthony Widjaja Lin, Georg Zetzsche
2024 A* conf
The Power of Hard Attention Transformers on Data Sequences: A formal language theoretic perspective.
NeurIPS
Pascal Bergsträßer, Chris Köcher, Anthony Widjaja Lin, Georg Zetzsche
2024 J jnl
The complexity of separability for semilinear sets and Parikh automata.
CoRR
Elias Rojas Collins, Chris Köcher, Georg Zetzsche
2023 B conf
Forwards- and Backwards-Reachability for Cooperating Multi-pushdown Systems.
FCT
Chris Köcher, Dietrich Kuske
2023 — conf
Regular Separators for VASS Coverability Languages.
FSTTCS
Chris Köcher, Georg Zetzsche
2022 J jnl
Rational, recognizable, and aperiodic partially lossy queue languages.
Int. J. Algebra Comput.
Chris Köcher
2022 — —
Verification of Automata with Storage Mechanisms.
Chris Köcher
2021 J jnl
Reachability Problems on Reliable and Lossy Queue Automata.
Theory Comput. Syst.
Chris Köcher
2019 — conf
Reachability Problems on Partially Lossy Queue Automata.
RP
Chris Köcher
2018 A conf
Rational, Recognizable, and Aperiodic Sets in the Partially Lossy Queue Monoid.
STACS
Chris Köcher
2018 — conf
The Cayley-Graph of the Queue Monoid: Logic and Decidability.
FSTTCS
Faried Abu Zaid, Chris Köcher
2018 J jnl
The inclusion structure of partially lossy queue monoids and their trace submonoids.
RAIRO Theor. Informatics Appl.
Chris Köcher, Dietrich Kuske, Olena Prianychnykova
2017 Misc conf
The Transformation Monoid of a Partially Lossy Queue.
CSR
Chris Köcher, Dietrich Kuske