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.
4699 Publications
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: 39053
Müller W, Schäfer R, Bleul S. Interactive Multimodal User Interfaces for Mobile Devices. In: Proceedings of HICCS-37. ; 2004. doi:10.1109/HICSS.2004.1265674
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of SystemVerilog. In: Proceedings of FDL’04. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004. doi:10.1109/DATE.2004.1269214
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: Proceedings of AINA2004. IEEE; 2004. doi:10.1109/AINA.2004.1283977
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 17296
Rohlfing K, Fritsch J, Wrede B. Learning to Manipulate Objects: A Quantitative Evaluation of Motionese. In: Third International Conference on Development and Learning (ICDL 2004). ; 2004:27.
LibreCat
2004 | Book Chapter | LibreCat-ID: 42042
Huber K, Volk N, Vollmer D, Schmidt M, Oppermann W. Conformation and Phase Diagrams of Flexible Polyelectrolytes. In: Schmidt M, ed. Polyelectrolytes with Defined Molecular Architecture II. Vol 166. Advances in Polymer Science. Springer; 2004:29-65. doi:10.1007/b11348
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 43649
Schroeter-Wittke H, Kirsner I. 13. Sonntag nach Trinitatis. 1. Joh 4,7-12: Die Schuld der Liebe. Predigtstudien II/2. Published online 2004:143-151.
LibreCat
2004 | Conference Paper | LibreCat-ID: 44122
Meier T, Giessen H, Linden S, et al. Fano resonances in metallic photonic crystals. In: Fano Resonances in Metallic Photonic Crystals. Optical Society of America; 2004. doi:10.1364/IQEC.2004.IFC5
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 44123
Meier T, Koch M, Ciulin V, et al. Onset of Dynamical Localization in a Semiconductor Superlattice. In: International Quantum Electronics Conference. ; 2004. doi:10.1364/IQEC.2004.IMO3
LibreCat
| DOI
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 44610
Adelmann R. Digitale Animationen in dokumentarischen Fernsehformaten. In: Schröter J, Böhnke A, eds. Analog/Digital – Opposition oder Kontinuum. Zur Theorie und Geschichte einer Unterscheidung. Transcript; 2004:387–405.
LibreCat
2004 | Book Chapter | LibreCat-ID: 44609
Adelmann R. Computeranimation als televisuelle Evidenzproduktion. In: Nohr RF, ed. Evidenz … das sieht man doch!. Lit Verlag; 2004:43–56.
LibreCat
2004 | Book Chapter | LibreCat-ID: 49075
Schulze M. Ohne Titel (2004). In: Grigoteit A, Hütte F, Deutsche Bank Kunst, eds. Akademie Rundgang 2004. ; 2004.
LibreCat
2004 | Book Review | LibreCat-ID: 18485 | 
Peckhaus V. Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002. zbMATH Open, Zbl 102803002. Published online 2004.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 9249
Mildorf J. Narrativising the Body: Fragmentation and Unification in Jed Mercurio’s “Bodies.” In: Twohig PL, Kalitzkus V, eds. Interdisciplinary Perspectives on Health, Illness and Disease. Rodopi; 2004:97-112.
LibreCat
2004 | Book Chapter | LibreCat-ID: 9250
Mildorf J. Narratives of Domestic Violence Cases: GPs Defining their Professional Role. In: Twohig PL, Kalitzkus V, eds. Making Sense of Health, Illness and Disease. Rodopi; 2004:173-196.
LibreCat
2003 | Journal Article | LibreCat-ID: 19726
Bonorden O, Juurlink B, von Otte I, Rieping I. The Paderborn University BSP (PUB) library. Parallel Computing. 2003:187-207. doi:10.1016/s0167-8191(02)00218-1
LibreCat
| DOI