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
Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei
C. Zierau, in: M. Durzak, N. Kuruyazıcı (Eds.), Die andere Deutsche Literatur, Königshausen & Neumann, Würzburg, 2004, pp. 166–173.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 33789
Bericht über eine Studienreise
C. Zierau, 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) (2004) 155–159.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 33825
Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
LibreCat | DOI
 

2004 | Book Chapter | LibreCat-ID: 33827
Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.
LibreCat
 

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
 

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
 

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
 

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
 

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
 

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
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Export / Embed