Hans Zierer

According to our database1, Hans Zierer
  • authored at least 10 papers between 1981 and 1991.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1991
Relation Algebraic Domain Constructions.
Theor. Comput. Sci., 1991

1990
Describing Semantic Domains with Sprouts.
Acta Inf., 1990

1989
Symmetric Quotients and Domain Constructions.
Inf. Process. Lett., 1989

1988
Programmierung mit Funktionsobjekten: konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung.
PhD thesis, 1988

Towards an algebraic specification of code generation.
Sci. Comput. Program., 1988

1987
Development of Several Reachability Algorithms for Directed Graphs.
Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987

Describing Semantic Domains with Sprouts.
Proceedings of the STACS 87, 1987

1986
Relational Algebraic Semantics of Deterministic and Nondeterministic Programs.
Theor. Comput. Sci., 1986

An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra.
Proceedings of the Graphtheoretic Concepts in Computer Science, International Workshop, 1986

1981
Personalinformationssysteme und Datenschutz: e. Beitr. zur datenschutzgerechten Gestaltung von Personalinformationssystemen.
PhD thesis, 1981


  Loading...