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.
655 Publications
2004 | Book Chapter | LibreCat-ID: 33788
Zierau C. Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei. In: Durzak M, Kuruyazıcı N, eds. Die andere Deutsche Literatur. Königshausen & Neumann; 2004:166-173.
LibreCat
2004 | Journal Article | LibreCat-ID: 33789
Zierau C. Bericht über eine Studienreise. Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No XV İstanbul: İÜ Edebiyat Fakültesi (Hg: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul). Published online 2004:155-159.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33825
Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. Integration of Software Specification Techniques for Applications in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky T, Müller W, Pawlak A. Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Fischer L, ed. Workflow Handbook 2004. Workflow Management Coalition (WfMC); 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp A, Müller W. Refinement of Finite State Machines with Complementary Model Checking. In: Mermet J, ed. UML-B System Specification for Proven Electronic Design. Kluwer; 2004:155-168.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp A, Müller W, Oliver I. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm Ch, ed. Best of FDL’03. Kluwer; 2004:301-314.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp A, Müller W, Oliver I. The Echo Cancellation Unit Case Study. In: Mermet J, ed. UML-B System Specification for Proven Electronic Design. Kluwer; 2004:227-240.
LibreCat
2004 | Conference Paper | LibreCat-ID: 33881
Tröster T, Rostek W. Innovative Warmumformung. In: Tröster T, Rostek W, eds. Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung” in Fellbach. Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung.” ; 2004:51-66.
LibreCat
2004 | Journal Article | LibreCat-ID: 35359
Cormier RJ, Schmidt C, Callaghan PT. Director reorientation of a side-chain liquid crystalline polymer under extensional flow. Journal of Rheology. 2004;48(4):881-894. doi:10.1122/1.1753278
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 35358
Stubenrauch C, Burauer S, Strey R, Schmidt C. A new approach to lamellar phases (Lα) in water – non-ionic surfactant systems. Liquid Crystals. 2004;31(1):39-53. doi:10.1080/02678290310001628555
LibreCat
| DOI