Walter Bucher

12 papers A* 2Journal 9
YearRankTypeTitle / Venue / Authors
1987 J jnl
Applications of an Infinite Square-Free CO-CFL.
Theor. Comput. Sci.
Michael G. Main, Walter Bucher, David Haussler
1986 J jnl
A Regularity Test for Dual Bordered
Acta Informatica
Walter Bucher
1985 A* conf
Applications of an Infinite Squarefree CO-CFL.
ICALP
Michael G. Main, Walter Bucher, David Haussler
1985 A* conf
On Total Regulators Generated by Derivation Relations.
ICALP
Walter Bucher, Andrzej Ehrenfeucht, David Haussler
1985 J jnl
On Total Regulators Generated by Derivation Relations.
Theor. Comput. Sci.
Walter Bucher, Andrzej Ehrenfeucht, David Haussler
1984 J jnl
Context-Free Complexity of Finite Languages.
Theor. Comput. Sci.
Walter Bucher, Hermann A. Maurer, Karel Culík II
1984 J jnl
On Real Time and Linear Time Cellular Automata.
RAIRO Theor. Informatics Appl.
Walter Bucher, Karel Culík II
1984 — book
Theoretische Grundlagen der Programmiersprachen.
Walter Bucher, Hermann A. Maurer
1983 J jnl
It is Decidable Whether a Regular Language is Pure Context-Free.
Theor. Comput. Sci.
Walter Bucher, Johann Hagauer
1983 J jnl
Two-Symbol DOS Systems Generating Regular Languages.
Acta Informatica
Walter Bucher
1981 J jnl
A Note on a Problem in the Theory of Grammatical Complexity.
Theor. Comput. Sci.
Walter Bucher
1981 J jnl
Concise Description of Finite Languages.
Theor. Comput. Sci.
Walter Bucher, Hermann A. Maurer, Karel Culík II, Detlef Wotschke
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling