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.
663 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 | Book Chapter | LibreCat-ID: 37214 |
Performing post / trans / techno / queer. Pluralisierung als Selbst- und Machttechnologie
J. Weber, in: Gender Studies: Standorte – Zukunftsräume, Königshausen & Neumann, 2004, pp. 111–121.
LibreCat
| Download (ext.)
J. Weber, in: Gender Studies: Standorte – Zukunftsräume, Königshausen & Neumann, 2004, pp. 111–121.
2004 | Conference Paper | LibreCat-ID: 37216
Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur- und Technowissenschaftsforschung
J. Weber, A. Saupe, in: Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik, Berlin, 2004, pp. 300–307.
LibreCat
J. Weber, A. Saupe, in: Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik, Berlin, 2004, pp. 300–307.
2004 | Book Chapter | LibreCat-ID: 37217 |
Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre Erkenntnispolitik
J. Weber, in: B. Doetsch (Ed.), Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder, [Wiederabdruck], Kleine Verlag, Bielefeld, 2004, pp. 115–151.
LibreCat
| Download (ext.)
J. Weber, in: B. Doetsch (Ed.), Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder, [Wiederabdruck], Kleine Verlag, Bielefeld, 2004, pp. 115–151.
2004 | Book Chapter | LibreCat-ID: 37218
Turbulente Körper, emergente Maschinen? Über Körperkonzepte in Robotik und neuerer Technikkritik
J. Weber, in: U. Paravicini, M. Zempel-Gino, Niedersächsischer Forschungsverbund für Frauen-/ Geschlechterforschung in Naturwissenschaften, Technik und Medizin (Eds.), Dokumentation. Impulse zur Wissenschaftsentwicklung, [Wiederabdruck], Hannover, 2004, pp. 87–104.
LibreCat
J. Weber, in: U. Paravicini, M. Zempel-Gino, Niedersächsischer Forschungsverbund für Frauen-/ Geschlechterforschung in Naturwissenschaften, Technik und Medizin (Eds.), Dokumentation. Impulse zur Wissenschaftsentwicklung, [Wiederabdruck], Hannover, 2004, pp. 87–104.
2004 | Book (Editor) | LibreCat-ID: 37709
Inszenierungen in Schrift und Bild.
C. Öhlschläger, G. Neumann, eds., Inszenierungen in Schrift und Bild. , Aisthesis Verlag, Bielefeld, 2004.
LibreCat
| Files available
C. Öhlschläger, G. Neumann, eds., Inszenierungen in Schrift und Bild. , Aisthesis Verlag, Bielefeld, 2004.
2004 | Journal Article | LibreCat-ID: 22616
Organometallic Block Copolymers as Catalyst Precursors for Templated Carbon Nanotube Growth
C. Hinderling, Y. Keles, T. Stöckli, H.F. Knapp, M.T. de los Arcos de Pedro, P. Oelhafen, I. Korczagin, M.A. Hempenius, G.J. Vancso, R. Pugin, H. Heinzelmann, Advanced Materials (2004) 876–879.
LibreCat
| DOI
C. Hinderling, Y. Keles, T. Stöckli, H.F. Knapp, M.T. de los Arcos de Pedro, P. Oelhafen, I. Korczagin, M.A. Hempenius, G.J. Vancso, R. Pugin, H. Heinzelmann, Advanced Materials (2004) 876–879.