Chris Köcher

Available identifiers

zbMath Open kocher.chrisMaRDI QIDQ825975

List of research outcomes

Publication	Date of Publication	Type
Backwards-reachability for cooperating multi-pushdown systems	2024-12-27	Paper
Forwards- and backwards-reachability for cooperating multi-pushdown systems	2024-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q5090942	2022-07-21	Paper
Rational, recognizable, and aperiodic partially lossy queue languages	2022-05-11	Paper
Reachability problems on reliable and lossy queue automata	2021-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q3304144	2020-08-05	Paper
Reachability problems on partially lossy queue automata	2019-10-22	Paper
The inclusion structure of partially lossy queue monoids and their trace submonoids	2018-11-01	Paper
The transformation monoid of a partially lossy queue	2017-08-22	Paper

Research outcomes over time

This page was built for person: Chris Köcher