BibTeX records: Klaus Drosten

• > Home > Persons > Klaus Drosten

@inproceedings{DBLP:conf/icde/KaulDN90,
  author       = {Manfred Kaul and
                  Klaus Drosten and
                  Erich J. Neuhold},
  title        = {ViewSystem: Integrating Heterogeneous Information Bases by Object-Oriented
                  Views},
  booktitle    = {Proceedings of the Sixth International Conference on Data Engineering,
                  February 5-9, 1990, Los Angeles, California, {USA}},
  pages        = {2--10},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/ICDE.1990.113446},
  doi          = {10.1109/ICDE.1990.113446},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/KaulDN90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/Drosten89,
  author       = {Klaus Drosten},
  title        = {Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer
                  Spezifikationen},
  series       = {Informatik-Fachberichte},
  volume       = {210},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-3-642-74769-4},
  doi          = {10.1007/978-3-642-74769-4},
  isbn         = {3-540-51172-5},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/Drosten89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Drosten88,
  author       = {Klaus Drosten},
  title        = {{\"{U}}ber Erweiterungen in Termersetzungssystemen und deren
                  Anwendung zur Prototyp-Generierung algebraischer Spezifikationen},
  school       = {Braunschweig University of Technology, Germany},
  year         = {1988},
  url          = {https://d-nb.info/881347981},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Drosten88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Drosten88,
  author       = {Klaus Drosten},
  editor       = {Jan Grabowski and
                  Pierre Lescanne and
                  Wolfgang Wechler},
  title        = {Translating Algebraic Specifications to Prolog Programs: {A} Comparative
                  Study},
  booktitle    = {Algebraic and Logic Programming, International Workshop, Gaussig,
                  GDR, November 14-18, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {343},
  pages        = {137--146},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50667-5\_65},
  doi          = {10.1007/3-540-50667-5\_65},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Drosten88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Drosten86,
  author       = {Klaus Drosten},
  editor       = {Klaus Drosten and
                  Hans{-}Dieter Ehrich and
                  Martin Gogolla and
                  Udo W. Lipeck},
  title        = {Term Rewriting Systems with Restricted Variables},
  booktitle    = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
                  of Braunschweig, Germany},
  year         = {1986},
  timestamp    = {Fri, 19 Jul 2019 16:40:26 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Drosten86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ds/EhrichDG86,
  author       = {Hans{-}Dieter Ehrich and
                  Klaus Drosten and
                  Martin Gogolla},
  editor       = {Robert Meersman and
                  Am{\'{\i}}lcar Sernadas},
  title        = {Towards an Algebraic Semantics for Database Specification},
  booktitle    = {Proceedings of the {IFIP} {WG} 2.6 Working Conference on Data Semantics,
                  "Data and Knowledge" {(DS-2).} Albufeira, Portugal, 3-7 November,
                  1986},
  pages        = {119--135},
  publisher    = {North-Holland},
  year         = {1986},
  timestamp    = {Fri, 28 Apr 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ds/EhrichDG86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/adt/1986,
  editor       = {Klaus Drosten and
                  Hans{-}Dieter Ehrich and
                  Martin Gogolla and
                  Udo W. Lipeck},
  title        = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
                  of Braunschweig, Germany},
  year         = {1986},
  timestamp    = {Fri, 19 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/1986.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GogollaDLE84,
  author       = {Martin Gogolla and
                  Klaus Drosten and
                  Udo W. Lipeck and
                  Hans{-}Dieter Ehrich},
  title        = {Algebraic and Operational Semantics of Specifications Allowing Exceptions
                  and Errors},
  journal      = {Theor. Comput. Sci.},
  volume       = {34},
  pages        = {289--313},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90056-2},
  doi          = {10.1016/0304-3975(84)90056-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GogollaDLE84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/Drosten84,
  author       = {Klaus Drosten},
  editor       = {Max Fontet and
                  Kurt Mehlhorn},
  title        = {Towards Executable Specifications Using Conditional Axioms},
  booktitle    = {{STACS} 84, Symposium of Theoretical Aspects of Computer Science,
                  Paris, France, 11-13 April, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {166},
  pages        = {85--96},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-12920-0\_8},
  doi          = {10.1007/3-540-12920-0\_8},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Drosten84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Drosten83,
  author       = {Klaus Drosten},
  editor       = {Manfred Broy and
                  Martin Wirsing},
  title        = {Executing Specifications using Conditional Axioms},
  booktitle    = {Proceedings 2nd Workshop on Abstract Data Type, 1983. University of
                  Passau, Germany},
  publisher    = {University of Passau},
  year         = {1983},
  timestamp    = {Fri, 19 Jul 2019 16:40:27 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Drosten83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tcs/GogollaDLE83,
  author       = {Martin Gogolla and
                  Klaus Drosten and
                  Udo W. Lipeck and
                  Hans{-}Dieter Ehrich},
  editor       = {Armin B. Cremers and
                  Hans{-}Peter Kriegel},
  title        = {Algebraic and operational semantics of exceptions and errors},
  booktitle    = {Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany,
                  January 5-7, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {145},
  pages        = {141--151},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/BFb0009640},
  doi          = {10.1007/BFB0009640},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/tcs/GogollaDLE83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}