On Constructing Infinitary Languages Lα β without the Axiom of Choice. - Karl-Heinz Diener (Math. Log. Q., 1983)

Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen. - Karl-Heinz Diener (Math. Log. Q., 1987)

On the Transitive Hull of a κ-Narrow Relation. - Karl-Heinz Diener (Math. Log. Q., 1992)

On the Predecessor Relation in Abstract Algebras. - Karl-Heinz Diener (Math. Log. Q., 1993)

A Remark an Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices. - Karl-Heinz Diener (Math. Log. Q., 1994)

Entwurfsautomatisierung - F & E-Arbeiten der Dresdner Außenstelle des Fraunhofer-Instituts für Integrierte Schaltungen. - Günter Elst; Karl-Heinz Diener (Inform. Forsch. Entwickl., 1997)

On kappa-hereditary Sets and Consequences of the Axiom of Choice. - Karl-Heinz Diener (Math. Log. Q., 2000)

Internet-Based Collaborative Test Generation with MOSCITO. - André Schneider; Karl-Heinz Diener; Eero Ivask; Jaan Raik; Raimund Ubar; P. Miklos; T. Cibáková; Elena Gramatová (DATE, 2002)

Integrated Design and Test Generation Under Internet Based Environment MOSCITO. - André Schneider; Karl-Heinz Diener; Eero Ivask; Raimund Ubar; Elena Gramatová; Thomas Hollstein; Wieslaw Kuzmicz; Zebo Peng (DSD, 2002)