Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
678 Publications
2004 | Book Chapter | LibreCat-ID: 33830
@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite State Machines with Complementary Model Checking}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={The Echo Cancellation Unit Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Mermet, J.}, year={2004}, pages={227–240} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 33881
@inproceedings{Tröster_Rostek_2004, place={Fellbach}, series={Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung”}, title={Innovative Warmumformung}, number={2004}, booktitle={Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung” in Fellbach}, author={Tröster, Thomas and Rostek, W.}, editor={Tröster, Thomas and Rostek, W.}, year={2004}, pages={51–66}, collection={Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung”} }
LibreCat
2004 | Journal Article | LibreCat-ID: 35359
@article{Cormier_Schmidt_Callaghan_2004, title={Director reorientation of a side-chain liquid crystalline polymer under extensional flow}, volume={48}, DOI={10.1122/1.1753278}, number={4}, journal={Journal of Rheology}, publisher={Society of Rheology}, author={Cormier, Ryan J. and Schmidt, Claudia and Callaghan, Paul T.}, year={2004}, pages={881–894} }
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 35358
@article{Stubenrauch_Burauer_Strey_Schmidt_2004, title={A new approach to lamellar phases (Lα) in water – non-ionic surfactant systems}, volume={31}, DOI={10.1080/02678290310001628555}, number={1}, journal={Liquid Crystals}, publisher={Informa UK Limited}, author={Stubenrauch, C. and Burauer, S. and Strey, R. and Schmidt, Claudia}, year={2004}, pages={39–53} }
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 18278
@inbook{Tophinke_2004, place={Frankfurt am Main}, title={Texttypen und Diskurse in Zusammenhängen sprachlicher Identitätskonstruktion. Überlegungen im Anschluss an Foucault}, booktitle={Fliegende Bilder, fliehende Texte}, publisher={Vervuert}, author={Tophinke, Doris}, editor={Berg u. a., Walter Bruno}, year={2004}, pages={97–114} }
LibreCat
2004 | Journal Article | LibreCat-ID: 18281
@article{Tophinke_2004, title={Quatschwörterverse und Satzklötze. Sprachförderung im Kindergarten}, volume={71}, journal={Infodienst. Kulturpädagogische Nachrichten }, author={Tophinke, Doris}, year={2004}, pages={26–27} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 15565
@inproceedings{Hagengruber_2004, title={The Selfexplication of Thinking through AI}, booktitle={Philosophy and Informatics: Philosophy and Artificial Intelligence}, author={Hagengruber, Ruth Edith}, year={2004} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 15564
@inbook{Hagengruber_2004, title={Das Unsichtbare sichtbar machen. Die soziale Wirklichkeit und ihre Grundlagen in der Philosophie von Edith Stein }, volume={10}, booktitle={Edith Stein Jahrbuch}, author={Hagengruber, Ruth Edith}, year={2004}, pages={157–175} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 15563
@inbook{Hagengruber_2004, place={Wiesbaden}, title={Ontologische Strukturen. Gegenwärtige Tendenzen und ihre Anwendung in der Wirtschaftsinformatik}, booktitle={Wissenschaftstheorie in Ökonomie und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien, Wissensmanagement}, publisher={ Deutscher Universitätsverlag}, author={Hagengruber, Ruth Edith}, editor={Frank, Ulrich}, year={2004}, pages={417–431} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 15562
@inbook{Hagengruber_2004, place={Bielefeld}, title={Vom Besonderen zum Allgemeinen – zu einer Neuorientierung im Verhältnis von Philosophie, Wissenschaft und Feminismus}, booktitle={ Philosophinnen im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder}, publisher={Kleine Verlag}, author={Hagengruber, Ruth Edith}, editor={Doetsch, Brigitte}, year={2004}, pages={17–29} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 36082
@inbook{Schlegel-Matthies_2004, place={Stuttgart}, title={„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit}, booktitle={Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert}, publisher={Steiner-Verlag}, author={Schlegel-Matthies, Kirsten}, editor={Teuteberg, Hans-Jürgen}, year={2004}, pages={148–161} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 36153
@inbook{Kamp_2004, place={Genf}, series={Publications de l’École des hautes études en histoire}, title={L’intercession dans les relations politiques au Moyen Age classique}, booktitle={L’intercession du Moyen Age au Temps modernes}, author={Kamp, Hermann}, editor={Moeglin, Jean-Marie}, year={2004}, pages={67–87}, collection={Publications de l’École des hautes études en histoire} }
LibreCat
2004 | Journal Article | LibreCat-ID: 43205
@article{Knoll_2004, title={Beyond Cultural Differences: “Intercultural” Co-operation in a German/Sri Lankan Development Project}, volume={35}, DOI={10.11588/IAF.2004.35.485}, number={3–4}, journal={Internationales Asienforum }, author={Knoll, Lisa}, year={2004}, pages={295–306} }
LibreCat
| DOI
2004 | Bachelorsthesis | LibreCat-ID: 47645
@book{Dumrauf_2004, title={Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen}, author={Dumrauf, Dominic}, year={2004} }
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
@book{Herden_2004, title={Implementierung und Evaluierung eines Angriffs auf DSA}, author={Herden, Tim}, year={2004} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 47745
@inbook{Bartz_2004, place={Wiesbaden}, series={Diskursgeschichte der Medien nach 1945}, title={Kabelfernsehen: Soziale Integration oder Desintegration? Ökonomische und medizinische Antworten auf eine Fragestellung}, volume={3}, booktitle={Medienkultur der 70er Jahre}, publisher={Westdeutscher Verlag}, author={Bartz, Christina}, editor={Otto, Isabell and Schneider, Irmela and dies.}, year={2004}, pages={41–56}, collection={Diskursgeschichte der Medien nach 1945} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 47744
@inbook{Bartz_2004, place={München}, title={“Das geheimnisvolle Fenster zur Welt”. Fernsehen}, booktitle={Einführung in die Geschichte der Medien}, publisher={Fink}, author={Bartz, Christina}, editor={Kümmel, Albert and Scholz, Leander and Schumacher, Eckhard}, year={2004}, pages={199–223} }
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 | 
@book{Gesemann_2004, title={Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes}, author={Gesemann, Sebastian}, year={2004} }
LibreCat
| Files available