An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra. - Hans Zierer 001; Gunther Schmidt 001; Rudolf Berghammer (WG, 1986)

Relational Algebraic Semantics of Deterministic and Nondeterministic Programs. - Rudolf Berghammer; Hans Zierer 001 (Theor. Comput. Sci., 1986)

Describing Semantic Domains with Sprouts. - Gunther Schmidt 001; Rudolf Berghammer; Hans Zierer 001 (STACS, 1987)

Development of Several Reachability Algorithms for Directed Graphs. - Rudolf Berghammer; Herbert Ehler; Hans Zierer 001 (WG, 1987)

Towards an algebraic specification of code generation. - Rudolf Berghammer; Herbert Ehler; Hans Zierer 001 (Sci. Comput. Program., 1988)

Programmierung mit Funktionsobjekten: konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung. - Hans Zierer 001 (1988)

Symmetric Quotients and Domain Constructions. - Rudolf Berghammer; Gunther Schmidt 001; Hans Zierer 001 (Inf. Process. Lett., 1989)

Relation Algebraic Domain Constructions. - Hans Zierer 001 (Theor. Comput. Sci., 1991)