Automata in additive categories with applications to stochastic linear automata. - Lothar Budach (Category Theory Applied to Computation and Control, 1974)

Zur Redundanz von endlichen Automaten. - Jürgen Brunner; Lothar Budach; Claude-Joachim Hamann (J. Inf. Process. Cybern., 1974)

On the Solution of the Labyrinth Problem for Finite Automata. - Lothar Budach (J. Inf. Process. Cybern., 1975)

Environments, Labyrinths and Automata. - Lothar Budach (FCT, 1977)

On Universal Traps. - Horst Antelmann; Lothar Budach; Hans-Anton Rollik (J. Inf. Process. Cybern., 1979)

Two Pebbles Don't Suffice. - Lothar Budach (MFCS, 1981)

Environments and Automata I. - Lothar Budach; Christoph Meinel (J. Inf. Process. Cybern., 1982)

Environment and Automata II. - Lothar Budach; Christoph Meinel (J. Inf. Process. Cybern., 1982)

On the Halting Problem for Automata in Cones. - Lothar Budach; Stephan Waack (J. Inf. Process. Cybern., 1982)

Zur Redundanz von Komposita endlicher Automaten. - Lothar Budach; Hans Kohlhase (J. Inf. Process. Cybern., 1983)

Nonuniform complexity classes, decision graphs and homological properties of posets. - Lothar Budach; Bernd Graw (Symposium on Computation Theory, 1984)

A Lower Bound for the Number of Nodes in a Decision Tree. - Lothar Budach (J. Inf. Process. Cybern., 1985)

Arsenals and Lower Bounds. - Lothar Budach (FCT, 1987)

RELACS - A Recursive Layout Computing System. - Lothar Budach; Ernst-Günter Giessmann; Hubert Grassmann; Bernd Graw; Christoph Meinel (Parallel Algorithms and Architectures, 1987)

Recursive VLSI design theory and application. - Lothar Budach; Ernst-Günter Giessmann; Hubert Grassmann; Bernd Graw; Christoph Meinel; Burkhard Molzan; Uwe Schäfer; Peter Zienicke (Bull. EATCS, 1989)

RELACS - a Recursive Layout Computing System. - Lothar Budach; Ernst-Günter Giessmann; Hubert Grassmann; Bernd Graw; Christoph Meinel; Burkhard Molzan; Uwe Schäfer; Steffen Zahn; Peter Zienicke (J. Inf. Process. Cybern., 1990)

Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; I. - Christoph Meinel; Lothar Budach; Frank Balfanz; Steffen Zahn; Peter Zienicke (J. Inf. Process. Cybern., 1990)

Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; II. - Christoph Meinel; Lothar Budach; Frank Balfanz; Steffen Zahn; Peter Zienicke (J. Inf. Process. Cybern., 1990)

Topological Invariants of Classification Problems. - Lothar Budach (Theor. Comput. Sci., 1990)