1990 |
9 | EE | Manfred Kaul,
Klaus Drosten,
Erich J. Neuhold:
ViewSystem: Integrating Heterogeneous Information Bases by Object-Oriented Views.
ICDE 1990: 2-10 |
1989 |
8 | | Klaus Drosten:
Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
Springer 1989 |
1988 |
7 | | Klaus Drosten:
Translating Algebraic Specifications to Prolog Programs: A Comparative Study.
ALP 1988: 137-146 |
1986 |
6 | | Klaus Drosten:
Term Rewriting Systems with Restricted Variables.
ADT 1986 |
5 | | Hans-Dieter Ehrich,
Klaus Drosten,
Martin Gogolla:
Towards an Algebraic Semantics for Database Specification.
DS-2 1986: 119-135 |
1984 |
4 | | Klaus Drosten:
Towards Executable Specifications Using Conditional Axioms.
STACS 1984: 85-96 |
3 | | Martin Gogolla,
Klaus Drosten,
Udo W. Lipeck,
Hans-Dieter Ehrich:
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors.
Theor. Comput. Sci. 34: 289-313 (1984) |
1983 |
2 | | Klaus Drosten:
Executing Specifications using Conditional Axioms.
ADT 1983 |
1 | | Martin Gogolla,
Klaus Drosten,
Udo W. Lipeck,
Hans-Dieter Ehrich:
Algebraic and operational semantics of exceptions and errors.
Theoretical Computer Science 1983: 141-151 |