Kongruenzverbände autonomer Semiautomaten. - Joachim Machner; Karl Straßner (J. Inf. Process. Cybern., 1977)

Zerlegungssätze für nichtdeterministische Automaten. - Karl Straßner (J. Inf. Process. Cybern., 1979)

Erweiterungen und Produkte von Semimoduln. - Karl Straßner (J. Inf. Process. Cybern., 1979)

Kongruenzen und Erweiterungen von Semimoduln. - Karl Straßner (J. Inf. Process. Cybern., 1979)

Zur Strukturtheorie endlicher nichtdeterministischer Automaten I. Zum Verband der 1-Kongruenzen von endlichen Relationalsystemen. - Karl Straßner (J. Inf. Process. Cybern., 1981)

Zur Strukturtheorie endlicher nichtdeterministischer Automaten II. Gesteuerte Summen und Steuerbäume nichtdeterministischer Automaten. - Karl Straßner (J. Inf. Process. Cybern., 1981)

Zur Strukturtheorie endlicher nichtdeterministischer Automaten III. Zum Steuerrelationenverband nichtdeterministischer Automaten. - Karl Straßner (J. Inf. Process. Cybern., 1982)

Semiautomaten mit K-determinierten Konruenzverbänden. - Karl Straßner (J. Inf. Process. Cybern., 1983)

1-Kongruenzen unendlicher Relationalsysteme. - Karl Straßner (J. Inf. Process. Cybern., 1983)

1-Kongruenzverbände von endlichen Relationalsystemen vom Typ <2>. - Karl Straßner (J. Inf. Process. Cybern., 1984)

Zur Dekomposition diskreter Strukturen unter besonderer Beachtung der Relationalsysteme. - Karl Straßner (1985)

Zur Dekomposition von Mengensystemen, Booleschen Funktionen und Graphen. - Karl Straßner (J. Inf. Process. Cybern., 1986)

Book reviews. - David F. Shanno; A. J. J. Talman; Satoru Fujishige; Steven Nahmias; Karl Straßner; Götz Uebe (Z. Oper. Research, 1986)