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.
675 Publications
2004 | Book Chapter | LibreCat-ID: 33830
Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
2004 | Book Chapter | LibreCat-ID: 33829
Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
2004 | Book Chapter | LibreCat-ID: 33832
The Echo Cancellation Unit Case Study
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
2004 | Conference Paper | LibreCat-ID: 33881
Innovative Warmumformung
T. Tröster, W. Rostek, in: T. Tröster, W. Rostek (Eds.), Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung” in Fellbach, Fellbach, 2004, pp. 51–66.
LibreCat
T. Tröster, W. Rostek, in: T. Tröster, W. Rostek (Eds.), Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung” in Fellbach, Fellbach, 2004, pp. 51–66.
2004 | Journal Article | LibreCat-ID: 35359
Director reorientation of a side-chain liquid crystalline polymer under extensional flow
R.J. Cormier, C. Schmidt, P.T. Callaghan, Journal of Rheology 48 (2004) 881–894.
LibreCat
| DOI
R.J. Cormier, C. Schmidt, P.T. Callaghan, Journal of Rheology 48 (2004) 881–894.
2004 | Journal Article | LibreCat-ID: 35358
A new approach to lamellar phases (Lα) in water – non-ionic surfactant systems
C. Stubenrauch, S. Burauer, R. Strey, C. Schmidt, Liquid Crystals 31 (2004) 39–53.
LibreCat
| DOI
C. Stubenrauch, S. Burauer, R. Strey, C. Schmidt, Liquid Crystals 31 (2004) 39–53.
2004 | Book Chapter | LibreCat-ID: 18278
Texttypen und Diskurse in Zusammenhängen sprachlicher Identitätskonstruktion. Überlegungen im Anschluss an Foucault
D. Tophinke, in: W.B. Berg u. a. (Ed.), Fliegende Bilder, fliehende Texte, Vervuert, Frankfurt am Main, 2004, pp. 97–114.
LibreCat
D. Tophinke, in: W.B. Berg u. a. (Ed.), Fliegende Bilder, fliehende Texte, Vervuert, Frankfurt am Main, 2004, pp. 97–114.
2004 | Journal Article | LibreCat-ID: 18281
Quatschwörterverse und Satzklötze. Sprachförderung im Kindergarten
D. Tophinke, Infodienst. Kulturpädagogische Nachrichten 71 (2004) 26–27.
LibreCat
D. Tophinke, Infodienst. Kulturpädagogische Nachrichten 71 (2004) 26–27.
2004 | Conference Paper | LibreCat-ID: 15565
The Selfexplication of Thinking through AI
R.E. Hagengruber, in: Philosophy and Informatics: Philosophy and Artificial Intelligence, 2004.
LibreCat
R.E. Hagengruber, in: Philosophy and Informatics: Philosophy and Artificial Intelligence, 2004.
2004 | Book Chapter | LibreCat-ID: 15564
Das Unsichtbare sichtbar machen. Die soziale Wirklichkeit und ihre Grundlagen in der Philosophie von Edith Stein
R.E. Hagengruber, in: Edith Stein Jahrbuch, 2004, pp. 157–175.
LibreCat
R.E. Hagengruber, in: Edith Stein Jahrbuch, 2004, pp. 157–175.
2004 | Book Chapter | LibreCat-ID: 15563
Ontologische Strukturen. Gegenwärtige Tendenzen und ihre Anwendung in der Wirtschaftsinformatik
R.E. Hagengruber, in: U. Frank (Ed.), Wissenschaftstheorie in Ökonomie und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien, Wissensmanagement, Deutscher Universitätsverlag, Wiesbaden, 2004, pp. 417–431.
LibreCat
R.E. Hagengruber, in: U. Frank (Ed.), Wissenschaftstheorie in Ökonomie und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien, Wissensmanagement, Deutscher Universitätsverlag, Wiesbaden, 2004, pp. 417–431.
2004 | Book Chapter | LibreCat-ID: 15562
Vom Besonderen zum Allgemeinen – zu einer Neuorientierung im Verhältnis von Philosophie, Wissenschaft und Feminismus
R.E. Hagengruber, in: B. Doetsch (Ed.), Philosophinnen im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder, Kleine Verlag, Bielefeld, 2004, pp. 17–29.
LibreCat
R.E. Hagengruber, in: B. Doetsch (Ed.), Philosophinnen im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder, Kleine Verlag, Bielefeld, 2004, pp. 17–29.
2004 | Book Chapter | LibreCat-ID: 36082
„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit
K. Schlegel-Matthies, in: H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, Steiner-Verlag, Stuttgart, 2004, pp. 148–161.
LibreCat
K. Schlegel-Matthies, in: H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, Steiner-Verlag, Stuttgart, 2004, pp. 148–161.
2004 | Book Chapter | LibreCat-ID: 36153
L’intercession dans les relations politiques au Moyen Age classique
H. Kamp, in: J.-M. Moeglin (Ed.), L’intercession du Moyen Age au Temps modernes, Genf, 2004, pp. 67–87.
LibreCat
H. Kamp, in: J.-M. Moeglin (Ed.), L’intercession du Moyen Age au Temps modernes, Genf, 2004, pp. 67–87.
2004 | Journal Article | LibreCat-ID: 43205
Beyond Cultural Differences: 'Intercultural' Co-operation in a German/Sri Lankan Development Project
L. Knoll, Internationales Asienforum 35 (2004) 295–306.
LibreCat
| DOI
L. Knoll, Internationales Asienforum 35 (2004) 295–306.
2004 | Bachelorsthesis | LibreCat-ID: 47645
Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.
LibreCat
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.
2004 | Bachelorsthesis | LibreCat-ID: 47642
Implementierung und Evaluierung eines Angriffs auf DSA
T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA, 2004.
LibreCat
T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA, 2004.
2004 | Book Chapter | LibreCat-ID: 47745
Kabelfernsehen: Soziale Integration oder Desintegration? Ökonomische und medizinische Antworten auf eine Fragestellung
C. Bartz, in: I. Otto, I. Schneider, dies. (Eds.), Medienkultur der 70er Jahre, Westdeutscher Verlag, Wiesbaden, 2004, pp. 41–56.
LibreCat
C. Bartz, in: I. Otto, I. Schneider, dies. (Eds.), Medienkultur der 70er Jahre, Westdeutscher Verlag, Wiesbaden, 2004, pp. 41–56.
2004 | Book Chapter | LibreCat-ID: 47744
"Das geheimnisvolle Fenster zur Welt". Fernsehen
C. Bartz, in: A. Kümmel, L. Scholz, E. Schumacher (Eds.), Einführung in die Geschichte der Medien, Fink, München, 2004, pp. 199–223.
LibreCat
C. Bartz, in: A. Kümmel, L. Scholz, E. Schumacher (Eds.), Einführung in die Geschichte der Medien, Fink, München, 2004, pp. 199–223.
2004 | Bachelorsthesis | LibreCat-ID: 47644 | 
Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes
S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes, 2004.
LibreCat
| Files available
S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes, 2004.