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
@inbook{Zierau_2004, place={Würzburg}, title={Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei}, booktitle={Die andere Deutsche Literatur}, publisher={Königshausen & Neumann}, author={Zierau, Cornelia}, editor={Durzak, Manfred and Kuruyazıcı, Nilüfer}, year={2004}, pages={166–173} }
LibreCat
2004 | Journal Article | LibreCat-ID: 33789
@article{Zierau_2004, title={Bericht über eine Studienreise}, journal={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)}, publisher={İÜ Edebiyat Fakültesi, Istanbul}, author={Zierau, Cornelia}, year={2004}, pages={155–159} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33825
@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
@inbook{Schattkowsky_Müller_Pawlak_2004, place={Lighthouse Point, FL, USA}, title={Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management Coalition (WfMC)}, author={Schattkowsky, Tim and Müller, Wolfgang and Pawlak, Adam}, editor={Fischer, Layna}, year={2004} }
LibreCat
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