@inproceedings{30427,
  author       = {{Pottharst, A. and Grotstollen, H.}},
  booktitle    = {{ISICT 2003, 5th International Symposium on Instrumentation and Control Technology, Beijing, China}},
  location     = {{Beijing, China}},
  title        = {{{Radio Based Control of a Linear Motor for the NBP Railway System}}},
  year         = {{2003}},
}

@inproceedings{30431,
  author       = {{Wetzel, H. and Fröhleke, N. and Grotstollen, H.}},
  booktitle    = {{ISICT 2003, 5th International Symposium on Instrumentation and Control Technology, Beijing, China}},
  location     = {{Beijing, China}},
  title        = {{{Topologies for Low-voltage Regulator Modules}}},
  year         = {{2003}},
}

@inproceedings{30424,
  author       = {{Schulz, B. and Yang, B. and Pottharst, A.  and Grotstollen, H. }},
  booktitle    = {{ISCoM 2003, International Scientific Colloquium on Mechatronics, Novocherkassk}},
  location     = {{Novocherkassk}},
  title        = {{{Das Linearantriebssystem der NBP-Versuchsanlage}}},
  year         = {{2003}},
}

@misc{17673,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{Lexikon der bedeutenden Naturwissenschaftler in drei Bänden, Bd. 1: A–E}},
  editor       = {{Hoffmann, Dieter and Laitko, Hubert and Müller-Wille, Staffan}},
  pages        = {{209--210}},
  publisher    = {{Spektrum Akademischer Verlag}},
  title        = {{{Bolzano, Bernard}}},
  year         = {{2003}},
}

@misc{17675,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{Lexikon der bedeutenden Naturwissenschaftler in drei Bänden, Bd. 1: A–E}},
  editor       = {{Hoffmann, Dieter and Laitko, Hubert and Müller-Wille, Staffan}},
  pages        = {{299--300}},
  publisher    = {{Spektrum Akademischer Verlag}},
  title        = {{{Carnap, Rudolf}}},
  year         = {{2003}},
}

@misc{17674,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{Lexikon der bedeutenden Naturwissenschaftler in drei Bänden, Bd. 1: A–E}},
  editor       = {{Hoffmann, Dieter and Laitko, Hubert and Müller-Wille, Staffan}},
  pages        = {{213--214}},
  publisher    = {{Spektrum Akademischer Verlag}},
  title        = {{{Boole, George}}},
  year         = {{2003}},
}

@misc{17677,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{Lexikon der bedeutenden Naturwissenschaftler in drei Bänden, Bd. 1: A–E}},
  editor       = {{Hoffmann, Dieter and Laitko, Hubert and Müller-Wille, Staffan}},
  pages        = {{406--407}},
  publisher    = {{Spektrum Akademischer Verlag}},
  title        = {{{Dingler, Hugo, Albert Emil Hermann}}},
  year         = {{2003}},
}

@misc{17676,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{Lexikon der bedeutenden Naturwissenschaftler in drei Bänden, Bd. 1: A–E}},
  editor       = {{Hoffmann, Dieter and Laitko, Hubert and Müller-Wille, Staffan}},
  pages        = {{365--366}},
  publisher    = {{Spektrum Akademischer Verlag}},
  title        = {{{Curry, Haskell Brooks}}},
  year         = {{2003}},
}

@phdthesis{30428,
  author       = {{Schütte, F.}},
  isbn         = {{978-3-8322-1226-1}},
  title        = {{{Automatisierte Reglerinbetriebnahme für elektrische Antriebe mit schwingungsfähiger Mechanik}}},
  year         = {{2003}},
}

@phdthesis{30429,
  author       = {{Ide, P.}},
  isbn         = {{978-3-8322-1682-5}},
  title        = {{{Dreiphasiger, netzfreundlicher Dreipunkt-Gleichrichter zur Speisung von Gleichspannungszwischenkreisen}}},
  year         = {{2003}},
}

@phdthesis{30430,
  author       = {{Henke, M.}},
  isbn         = {{978-3-18-353312-1}},
  title        = {{{Antrieb mit doppeltgespeistem Linearmotor für ein spurgeführtes Bahnfahrzeug}}},
  year         = {{2003}},
}

@inbook{32224,
  author       = {{Ptashnyk, Stefaniya}},
  booktitle    = {{Jahrbuch Deutsch als Fremdsprache}},
  pages        = {{31--54}},
  publisher    = {{Iudicium Verlag}},
  title        = {{{Wie hart ist die phraseographische Nuss? Überlegungen zu phraseologischen Wörterbü-chern aus der Sicht der ukrainischen Germanistik}}},
  volume       = {{29}},
  year         = {{2003}},
}

@inbook{32357,
  author       = {{Ptashnyk, Stefaniya}},
  booktitle    = {{Wortverbindungen mehr oder weniger fest.Jhrbuch des Instituts für Deutsche Sprache 2003}},
  editor       = {{Steyer , Kathrin }},
  pages        = {{439--444}},
  publisher    = {{de Gruyter}},
  title        = {{{Neue Methoden und Publikationsformen in der Lexikologie/Lexikographie}}},
  year         = {{2003}},
}

@inbook{34346,
  author       = {{Block, Iris}},
  booktitle    = {{: Kinder schreiben und lesen. Beobachten – Verstehen – Lehren. Herausgegeben im Auftrag der deutschen Gesellschaft für Lesen und Schreiben als zehntes Jahrbuch der DGLS}},
  editor       = {{Brinkmann,  Erika and Kruse, Norbert and Osburg, Claudia}},
  pages        = {{37--46}},
  publisher    = {{Fillibach}},
  title        = {{{Statt einzelner Buchstaben ganze Texte zum Lesen und Schreibenlernen? – Gespräche über Schrift im frühen Anfangsunterricht.}}},
  year         = {{2003}},
}

@article{34380,
  author       = {{Block, Iris and  Kruse , Norbert  }},
  journal      = {{Unterrichten mit Geschichten. Grundschulunterricht}},
  number       = {{12}},
  pages        = {{10--12}},
  title        = {{{Wann lernen Kinder beim Vorlesen? }}},
  year         = {{2003}},
}

@inbook{34446,
  abstract     = {{We present a formal definition of the event based SystemC V2.0 simulation semantics by means of distributed Abstract State Machines (ASMs). Our definition provides a rigorous and concise, but yet readable, definition of the SystemC specific operations and their interaction with the simulation scheduler that covers channel updates, notify, notify_delayed, wait, and next_trigger operations. We present the semantics in the form of rules by means of distributed ASMs reflecting the lines of the SystemC V2.0 Standard Manuals and reference implementation. The semantics introduced is defined to complement the language reference manual with aprecise definition reflecting an abstract model of the SystemC reference implementation, which can be used for advanced applications and for investigating interoperabilities with other languages.}},
  author       = {{Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}},
  booktitle    = {{SystemC - Methodologies and Applications}},
  editor       = {{Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}},
  isbn         = {{978-0-306-48735-4}},
  pages        = {{97 -- 126}},
  publisher    = {{Kluwer}},
  title        = {{{An ASM Based SystemC Simulation Semantics}}},
  doi          = {{10.1007/0-306-48735-7_4}},
  year         = {{2003}},
}

@article{34565,
  abstract     = {{The textual Object Constraint Language (OCL) is primarily intended to specify restrictions over UML class diagrams, in particular class invariants, operation pre-, and postconditions. Based on several improvements in the definition of the language concepts in last years, a proposal for a new version of OCL has recently been published [43]. That document provides an extensive OCL semantic description that constitutes a tight integration into UML. However, OCL still lacks a semantic integration of UML Statecharts, although it can already be used to refer to states in OCL expressions.

This article presents an approach that closes this gap and introduces a formal semantics for such integration through a mathematical model. It also presents the definition of a temporal OCL extension by means of a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension enables modelers to specify behavioral state-oriented real-time constraints. It provides an intuitive understanding and readability at application level since common OCL syntax and concepts are preserved. A well-defined formal semantics is given through the mapping of temporal OCL expressions to temporal logics formulae. }},
  author       = {{Flake, Stephan and Müller, Wolfgang}},
  journal      = {{Journal on Software and System Modeling (SoSyM)}},
  keywords     = {{Object Constraint Language     UML Statecharts     UML Profile     Real-time constraints     Temporal logics}},
  number       = {{3}},
  pages        = {{164--186}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Formal Semantics of Static and Temporal State-Oriented OCL Constraints}}},
  doi          = {{10.1007/s10270-003-0026-x}},
  volume       = {{2}},
  year         = {{2003}},
}

@article{34699,
  author       = {{Behrent, Sigrid and Franceschini, Rita and Krick, Christoph and Reith, Wolfgang}},
  journal      = {{Magazin Forschung der Universität des Saarlandes }},
  title        = {{{Der Wechsel der Sprachen im Gehirn. Neue Einblicke in das ‚code-switching’ mittels funktioneller Kernspintomographie.}}},
  volume       = {{2}},
  year         = {{2003}},
}

@misc{34698,
  author       = {{Behrent, Sigrid}},
  booktitle    = {{Vox Romanica }},
  pages        = {{309f. }},
  title        = {{{*Bernhard Pöll, Francophonies périphériques. Histoire, statut et profil des principales variétés du français hors de France. Paris: L’Harmattan 2001, 231p.}}},
  volume       = {{62}},
  year         = {{2003}},
}

@article{31895,
  author       = {{Albers, Timm}},
  journal      = {{Zeitschrift für Heilpädagogik}},
  number       = {{6}},
  pages        = {{251–256}},
  title        = {{{Der Umgang mit Formularen: Förderung der Lesekompetenz}}},
  year         = {{2003}},
}