Chris Köcher

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 10

Top Topics

Picture Languages

Data Compression

Transformation Parameters

Top Venues

Theory Comput. Syst.

Publications

Pascal Bergsträßer, Chris Köcher, Anthony Widjaja Lin, Georg Zetzsche
The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective. CoRR (2024)
Chris Köcher, Dietrich Kuske
Forwards- and Backwards-Reachability for Cooperating Multi-pushdown Systems. FCT (2023)
Chris Köcher, Georg Zetzsche
Regular Separators for VASS Coverability Languages. FSTTCS (2023)
Chris Köcher
Rational, recognizable, and aperiodic partially lossy queue languages. Int. J. Algebra Comput. 32 (3) (2022)
Chris Köcher
Reachability Problems on Reliable and Lossy Queue Automata. Theory Comput. Syst. 65 (8) (2021)
Chris Köcher
Reachability Problems on Partially Lossy Queue Automata. RP (2019)
Chris Köcher
Rational, Recognizable, and Aperiodic Sets in the Partially Lossy Queue Monoid. STACS (2018)
Faried Abu Zaid, Chris Köcher
The Cayley-Graph of the Queue Monoid: Logic and Decidability. FSTTCS (2018)
Chris Köcher, Dietrich Kuske, Olena Prianychnykova
The inclusion structure of partially lossy queue monoids and their trace submonoids. RAIRO Theor. Informatics Appl. 52 (1) (2018)
Chris Köcher, Dietrich Kuske
The Transformation Monoid of a Partially Lossy Queue. CSR (2017)