Christian Rauch

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On Jaffe's pumping lemma, revisited (edit) Information and Computation	2026-03-20	Paper
The pumping lemma for regular languages is hard International Journal of Foundations of Computer Science	2026-02-17	Paper
More on language families with a decidable pumping-problem (extended abstract)	2026-02-10	Paper
The pumping lemma for context-free languages is undecidable	2025-01-31	Paper
On pumping preserving homomorphisms and the complexity of the pumping problem (extended abstract)	2025-01-20	Paper
On Minimal Pumping Constants for Regular Languages Electronic Proceedings in Theoretical Computer Science	2024-04-09	Paper
The pumping lemma for regular languages is hard Implementation and Application of Automata	2024-02-28	Paper
On the accepting state complexity of operations on permutation automata	2024-02-06	Paper
On the accepting state complexity of operations on permutation automata RAIRO - Theoretical Informatics and Applications	2024-02-02	Paper
Computational complexity of reversible reaction systems Reversible Computation	2024-01-11	Paper
The Range of State Complexities of Languages Resulting from the Cascade Product — The Unary Case International Journal of Foundations of Computer Science	2023-11-24	Paper
On Jaffe's pumping lemma, revisited Descriptional Complexity of Formal Systems	2023-08-17	Paper
On the descriptional complexity of the direct product of finite automata	2023-01-18	Paper
More on the descriptional complexity of products of finite automata	2022-11-09	Paper
On 25 years of CIAA through the lens of data science	2022-08-16	Paper
The range of state complexities of languages resulting from the cascade product -- the general case (extended abstract)	2022-03-25	Paper
The range of state complexities of languages resulting from the cascade product -- the unary case (extended abstract)	2022-03-22	Paper
On the computational complexity of reaction systems, revisited	2022-03-21	Paper

Research outcomes over time

This page was built for person: Christian Rauch