Klaus Drosten

Publication Activity (10 Years)

Years Active: 1983-1990
Publications (10 Years): 0

Braunschweig University of Technology, Germany (PHD)

Education History

Braunschweig University of Technology, Germany

PHD

Publications

Manfred Kaul, Klaus Drosten, Erich J. Neuhold
ViewSystem: Integrating Heterogeneous Information Bases by Object-Oriented Views. ICDE (1990)
Klaus Drosten
Translating Algebraic Specifications to Prolog Programs: A Comparative Study. ALP (1988)
Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla
Towards an Algebraic Semantics for Database Specification. DS-2 (1986)
Klaus Drosten
Term Rewriting Systems with Restricted Variables. ADT (1986)
Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Theor. Comput. Sci. 34 (1984)
Klaus Drosten
Towards Executable Specifications Using Conditional Axioms. STACS (1984)
Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich
Algebraic and operational semantics of exceptions and errors. Theoretical Computer Science (1983)
Klaus Drosten
Executing Specifications using Conditional Axioms. ADT (1983)