@inbook{52507,
  author       = {{Meyer-Hamme, Johannes and Bauer, Jan}},
  booktitle    = {{Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven.}},
  editor       = {{Handro, Saskia and Schönemann, Bernd}},
  isbn         = {{ 978-3-8258-7847-3}},
  pages        = {{103--117}},
  title        = {{{Der Hamburger Rahmenplan Geschichte 2002 – Anregungen zu reflektiertem und (selbst)reflexiven Geschichtsbewusstsein?}}},
  year         = {{2004}},
}

@inbook{52508,
  author       = {{von Borries, Bodo and Meyer-Hamme, Johannes}},
  booktitle    = {{Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven}},
  editor       = {{Handro, Saskia and Schönemann, Bernd}},
  isbn         = {{978-3-8258-7847-3}},
  pages        = {{235--249}},
  title        = {{{Lehrervorstellungen und Lehrerüberzeugungen zu Richtlinien und Lehrplänen des Faches Geschichte.}}},
  year         = {{2004}},
}

@misc{18483,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{zbMATH Open, Zbl. 1026.03006}},
  title        = {{{Tomassi, Paul, “Logic after Wittgenstein”, Nordic Journal of Philosophical Logic 6 (2001), 43–70}}},
  year         = {{2004}},
}

@inproceedings{39352,
  abstract     = {{The recently adopted OCL 2.0 specification comes with a formal semantics that is based on set theory with a notion of an object model and system states. System states keep the runtime information relevant for the evaluation of OCL expressions. However, not all new language concepts of OCL 2.0 are already addressed in that formal semantics. We show how to overcome this by introducing new components to the object model and system states defining a dynamic semantics of OCL. In order to give precise rules that determine when the current system state has to be updated according to a change in the referred UML model, we make use of adequate mathematical means, namely Abstract State Machines (ASMs). Though our ASM specification also gives a clear definition for the evaluation of OCL constraints, it leaves sufficient flexibility for application specific implementations that have to determine when constraints are to be checked.}},
  author       = {{Flake, Stephan and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the UML 2004}},
  keywords     = {{System State     Formal Semantic     Object Management Group     Denotational Semantic     Dynamic Semantic}},
  title        = {{{An ASM Definition of the Dynamic OCL 2.0 Semantics}}},
  doi          = {{10.1007/978-3-540-30187-5_17}},
  year         = {{2004}},
}

@inbook{42042,
  author       = {{Huber, Klaus and Volk, N. and Vollmer, D. and Schmidt, Manfred and Oppermann, W.}},
  booktitle    = {{Polyelectrolytes with Defined Molecular Architecture II}},
  editor       = {{Schmidt, Manfred}},
  isbn         = {{3-540-00556-0}},
  pages        = {{29--65}},
  publisher    = {{Springer}},
  title        = {{{Conformation and Phase Diagrams of Flexible Polyelectrolytes}}},
  doi          = {{10.1007/b11348}},
  volume       = {{166}},
  year         = {{2004}},
}

@inproceedings{42447,
  author       = {{Fuchs, Christian and Hofkirchner, Wolfgang}},
  booktitle    = {{Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS}},
  editor       = {{Schmitz, Walter}},
  isbn         = {{3-933592-21-6}},
  publisher    = {{Thelem}},
  title        = {{{Information in Social Systems}}},
  year         = {{2004}},
}

@inbook{43274,
  abstract     = {{Experimental results on the nonlinear optical properties of semiconductors are compared with microscopic calculations which include Coulomb many-body correlations at different levels. One aim of this chapter is to show that microscopic theories, which have been developed for bare semiconductor heterostructures, are also able to describe semiconductor microcavities very well. Therefore, there is no need to phenomenologically introduce polariton-polariton interactions and parametric scattering of cavity polaritons to describe microcavity experiments, but instead a fully microscopic theory based on a Fermionic electron-hole Hamiltonian can be used.

The treatment of many-body correlations using the second-order Born approximation and the dynamics-controlled truncation scheme are introduced and analyzed for bare heterostructures. These approaches are able to successfully explain a number of important experimental results which originate from the dynamics of many-body correlations.

Then measurements of the nonlinear optical properties of a quantum-well microcavity are described. In these experiments the spectrally- and temporally-resolved nonlinear optical response is studied in detail using a pump-probe geometry. In particular, the polarization and intensity dependencies of the spectral probe reflection changes and their temporal evolution are analyzed. The prominent features of these experiments are well accounted for by the microscopic many-body theory.}},
  author       = {{Meier, Torsten and Sieh, C. and Koch, S.W. and Lee, Y.-S and Norris, T.B. and Jahnke, F. and Khitrova, G. and Gibbs , H.M.}},
  booktitle    = {{Optical Microcavities}},
  editor       = {{Vahala, K.}},
  pages        = {{239--317}},
  publisher    = {{World Scientific, Chap. 6}},
  title        = {{{Nonlinear optical properties of semiconductor quantum wells inside microcavities}}},
  doi          = {{10.1142/9789812565730_0006}},
  year         = {{2004}},
}

@inproceedings{56564,
  author       = {{Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}},
  booktitle    = {{Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}},
  editor       = {{Alferes, José Júlio and Leite, João Alexandre}},
  pages        = {{400–412}},
  publisher    = {{Springer}},
  title        = {{{Computing the Least Common Subsumer w.r.t. a Background Terminology}}},
  doi          = {{10.1007/978-3-540-30227-8_34}},
  volume       = {{3229}},
  year         = {{2004}},
}

@inproceedings{56561,
  author       = {{Turhan, Anni-Yasmin and Kissig, Christian}},
  booktitle    = {{Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings}},
  editor       = {{Basin, David A. and Rusinowitch, Michaël}},
  pages        = {{321–325}},
  publisher    = {{Springer}},
  title        = {{{Sonic - Non-standard Inferences Go OilEd}}},
  doi          = {{10.1007/978-3-540-25984-8_22}},
  volume       = {{3097}},
  year         = {{2004}},
}

@inproceedings{56562,
  author       = {{Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}},
  booktitle    = {{Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}},
  editor       = {{Haarslev, Volker and Möller, Ralf}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Computing the Least Common Subsumer w.r.t. a Background Terminology}}},
  volume       = {{104}},
  year         = {{2004}},
}

@inproceedings{56563,
  author       = {{Turhan, Anni-Yasmin and Kissig, Christian}},
  booktitle    = {{Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}},
  editor       = {{Haarslev, Volker and Möller, Ralf}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Sonic: System Description}}},
  volume       = {{104}},
  year         = {{2004}},
}

@misc{31455,
  author       = {{Elit, Stefan}},
  booktitle    = {{NlatJb 6 }},
  pages        = {{335--341}},
  title        = {{{[Rezension zu:] Franz Witek: Die "Bühne des Schicksals". Demetrios von Makedonien in Historiographie und Drama, Horn/Wien 2001 (Musae Benedictinae Salisburgenses 1)}}},
  year         = {{2004}},
}

@article{13710,
  author       = {{Ohtake, Akihiro and Kocán, Pavel and Seino, Kaori and Schmidt, Wolf Gero and Koguchi, Nobuyuki}},
  issn         = {{0031-9007}},
  journal      = {{Physical Review Letters}},
  pages        = {{266101}},
  title        = {{{Ga-Rich Limit of Surface Reconstructions on GaAs(001): Atomic Structure of the(4×6)Phase}}},
  doi          = {{10.1103/physrevlett.93.266101}},
  volume       = {{93}},
  year         = {{2004}},
}

@misc{19463,
  author       = {{Seng, Eva- Maria}},
  booktitle    = {{Kunstform 4, 2003, Nr. 9 und Sehepunkte 3, 2003, Nr. 9}},
  number       = {{Nr. 9}},
  title        = {{{Christof Thoenes, Opus incertum. Italienische Studien aus drei Jahrzehnten, München, Berlin 2002}}},
  year         = {{2003}},
}

@article{19785,
  author       = {{Salzwedel, Kay A.}},
  isbn         = {{9783540008835}},
  issn         = {{0302-9743}},
  journal      = {{Algorithms for Memory Hierarchies}},
  title        = {{{Algorithmic Approaches for Storage Networks}}},
  doi          = {{10.1007/3-540-36574-5_12}},
  volume       = {{2625}},
  year         = {{2003}},
}

@inproceedings{3237,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}},
  editor       = {{S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, Willem}},
  pages        = {{330----343}},
  title        = {{{Preserving Properties Under Change}}},
  doi          = {{10.1007/978-3-540-30101-1_16}},
  year         = {{2003}},
}

@inproceedings{3238,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}},
  editor       = {{Najm, Elie and Nestmann, Uwe and Stevens, Perdita}},
  pages        = {{79----93}},
  title        = {{{Inheritance of Temporal Logic Properties}}},
  doi          = {{10.1007/978-3-540-39958-2_6}},
  year         = {{2003}},
}

@inproceedings{3239,
  author       = {{Rasch, Holger and Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}},
  editor       = {{Najm, Elie and Nestmann, Uwe and Stevens, Perdita}},
  pages        = {{229----243}},
  title        = {{{Checking Consistency in {UML} Diagramms: Classes and State Machines}}},
  doi          = {{10.1007/978-3-540-39958-2_16}},
  year         = {{2003}},
}

@inproceedings{3240,
  author       = {{Derrick, John and Wehrheim, Heike}},
  booktitle    = {{{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}},
  editor       = {{Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\'{e}}n, Marina}},
  pages        = {{127----147}},
  title        = {{{Using Coupled Simulations in Non-atomic Refinement}}},
  doi          = {{10.1007/3-540-44880-2_10}},
  year         = {{2003}},
}

@inbook{3016,
  author       = {{Blömer, Johannes and May, Alexander}},
  booktitle    = {{Advances in Cryptology - CRYPTO 2003}},
  isbn         = {{9783540406747}},
  issn         = {{0302-9743}},
  pages        = {{27--43}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{New Partial Key Exposure Attacks on RSA}}},
  doi          = {{10.1007/978-3-540-45146-4_2}},
  year         = {{2003}},
}