@inbook{32720,
  author       = {{Steigerwald, Jörn}},
  booktitle    = {{Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit}},
  pages        = {{137--163}},
  title        = {{{Encyclopédie der Sexualpathologie}}},
  year         = {{2004}},
}

@book{32620,
  editor       = {{Steigerwald, Jörn}},
  title        = {{{Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit}}},
  year         = {{2004}},
}

@inbook{33788,
  author       = {{Zierau, Cornelia}},
  booktitle    = {{Die andere Deutsche Literatur}},
  editor       = {{Durzak, Manfred and Kuruyazıcı, Nilüfer}},
  pages        = {{166--173}},
  publisher    = {{Königshausen & Neumann}},
  title        = {{{Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei}}},
  year         = {{2004}},
}

@article{33789,
  author       = {{Zierau, Cornelia}},
  journal      = {{Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul)}},
  pages        = {{155--159}},
  publisher    = {{İÜ Edebiyat Fakültesi, Istanbul}},
  title        = {{{Bericht über eine Studienreise}}},
  year         = {{2004}},
}

@inbook{33825,
  abstract     = {{This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles.}},
  author       = {{Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}},
  booktitle    = {{Integration of Software Specification Techniques for Applications in Engineering}},
  editor       = {{Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}},
  isbn         = {{978-3-540-27863-4}},
  keywords     = {{Model Check, Temporal Logic, Object Constraint Language, Abstract Syntax, Temporal Logic Formula}},
  pages        = {{206--226}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Specification and Formal Verification of Temporal Properties of Production Automation Systems}}},
  doi          = {{10.1007/978-3-540-27863-4_13}},
  volume       = {{3147}},
  year         = {{2004}},
}

@inbook{33827,
  author       = {{Schattkowsky, Tim and Müller, Wolfgang and Pawlak, Adam}},
  booktitle    = {{Workflow Handbook 2004}},
  editor       = {{Fischer, Layna}},
  isbn         = {{0970350961}},
  publisher    = {{Workflow Management Coalition (WfMC)}},
  title        = {{{Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}}},
  year         = {{2004}},
}

@inbook{33830,
  author       = {{Krupp, Alexander and Müller, Wolfgang}},
  booktitle    = {{UML-B System Specification for Proven Electronic Design}},
  editor       = {{Mermet, J.}},
  isbn         = {{1-4020-2866-0}},
  pages        = {{155--168}},
  publisher    = {{Kluwer}},
  title        = {{{Refinement of Finite State Machines with Complementary Model Checking}}},
  year         = {{2004}},
}

@inbook{33829,
  author       = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}},
  booktitle    = {{Best of FDL'03}},
  editor       = {{Grimm, Ch.}},
  isbn         = {{978-1-4020-7991-7}},
  pages        = {{301--314}},
  publisher    = {{Kluwer}},
  title        = {{{Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}}},
  year         = {{2004}},
}

@inbook{33832,
  author       = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}},
  booktitle    = {{UML-B System Specification for Proven Electronic Design}},
  editor       = {{Mermet, J.}},
  isbn         = {{1-4020-2866-0}},
  pages        = {{227--240}},
  publisher    = {{Kluwer}},
  title        = {{{The Echo Cancellation Unit Case Study}}},
  year         = {{2004}},
}

@inproceedings{33881,
  author       = {{Tröster, Thomas and Rostek, W.}},
  booktitle    = {{Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz "Neuere Entwicklungen in der Blechumformung" in Fellbach}},
  editor       = {{Tröster, Thomas and Rostek, W.}},
  location     = {{Fellbach}},
  number       = {{2004}},
  pages        = {{51--66}},
  title        = {{{Innovative Warmumformung}}},
  year         = {{2004}},
}

@article{35359,
  author       = {{Cormier, Ryan J. and Schmidt, Claudia and Callaghan, Paul T.}},
  issn         = {{0148-6055}},
  journal      = {{Journal of Rheology}},
  keywords     = {{Mechanical Engineering, Mechanics of Materials, Condensed Matter Physics, General Materials Science}},
  number       = {{4}},
  pages        = {{881--894}},
  publisher    = {{Society of Rheology}},
  title        = {{{Director reorientation of a side-chain liquid crystalline polymer under extensional flow}}},
  doi          = {{10.1122/1.1753278}},
  volume       = {{48}},
  year         = {{2004}},
}

@article{35358,
  author       = {{Stubenrauch, C. and Burauer, S. and Strey, R. and Schmidt, Claudia}},
  issn         = {{0267-8292}},
  journal      = {{Liquid Crystals}},
  keywords     = {{Condensed Matter Physics, General Materials Science, General Chemistry}},
  number       = {{1}},
  pages        = {{39--53}},
  publisher    = {{Informa UK Limited}},
  title        = {{{A new approach to lamellar phases (L<sub>α</sub>) in water – non-ionic surfactant systems}}},
  doi          = {{10.1080/02678290310001628555}},
  volume       = {{31}},
  year         = {{2004}},
}

@inbook{18278,
  author       = {{Tophinke, Doris}},
  booktitle    = {{Fliegende Bilder, fliehende Texte}},
  editor       = {{Berg u. a., Walter Bruno}},
  pages        = {{97--114}},
  publisher    = {{Vervuert}},
  title        = {{{Texttypen und Diskurse in Zusammenhängen sprachlicher Identitätskonstruktion. Überlegungen im Anschluss an Foucault}}},
  year         = {{2004}},
}

@article{18281,
  author       = {{Tophinke, Doris}},
  journal      = {{Infodienst. Kulturpädagogische Nachrichten }},
  pages        = {{26--27}},
  title        = {{{Quatschwörterverse und Satzklötze. Sprachförderung im Kindergarten}}},
  volume       = {{71}},
  year         = {{2004}},
}

@inproceedings{15565,
  author       = {{Hagengruber, Ruth Edith}},
  booktitle    = {{Philosophy and Informatics: Philosophy and Artificial Intelligence}},
  location     = {{Ulm}},
  title        = {{{The Selfexplication of Thinking through AI}}},
  year         = {{2004}},
}

@inbook{15564,
  author       = {{Hagengruber, Ruth Edith}},
  booktitle    = {{Edith Stein Jahrbuch}},
  pages        = {{157--175}},
  title        = {{{Das Unsichtbare sichtbar machen. Die soziale Wirklichkeit und ihre Grundlagen in der Philosophie von Edith Stein }}},
  volume       = {{10}},
  year         = {{2004}},
}

@inbook{15563,
  author       = {{Hagengruber, Ruth Edith}},
  booktitle    = {{Wissenschaftstheorie in Ökonomie und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien, Wissensmanagement}},
  editor       = {{Frank, Ulrich}},
  pages        = {{417--431}},
  publisher    = {{ Deutscher Universitätsverlag}},
  title        = {{{Ontologische Strukturen. Gegenwärtige Tendenzen und ihre Anwendung in der Wirtschaftsinformatik}}},
  year         = {{2004}},
}

@inbook{15562,
  author       = {{Hagengruber, Ruth Edith}},
  booktitle    = {{ Philosophinnen im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder}},
  editor       = {{Doetsch, Brigitte}},
  pages        = {{17--29}},
  publisher    = {{Kleine Verlag}},
  title        = {{{Vom Besonderen zum Allgemeinen – zu einer Neuorientierung im Verhältnis von Philosophie, Wissenschaft und Feminismus}}},
  year         = {{2004}},
}

@inbook{36082,
  author       = {{Schlegel-Matthies, Kirsten}},
  booktitle    = {{Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert}},
  editor       = {{Teuteberg, Hans-Jürgen}},
  isbn         = {{9783515084475}},
  pages        = {{148–161}},
  publisher    = {{Steiner-Verlag}},
  title        = {{{„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit}}},
  year         = {{2004}},
}

@inbook{36153,
  author       = {{Kamp, Hermann}},
  booktitle    = {{L’intercession du Moyen Age au Temps modernes}},
  editor       = {{Moeglin, Jean-Marie}},
  pages        = {{67--87}},
  title        = {{{L’intercession dans les relations politiques au Moyen Age classique}}},
  year         = {{2004}},
}