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: 33829
Krupp, A., Müller, W., & Oliver, I. (2004). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), Best of FDL’03 (pp. 301–314). Kluwer.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, A., Müller, W., & Oliver, I. (2004). The Echo Cancellation Unit Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 227–240). Kluwer.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, W., Schäfer, R., & Bleul, S. (2004). Interactive Multimodal User Interfaces for Mobile Devices. Proceedings of HICCS-37. 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA. https://doi.org/10.1109/HICSS.2004.1265674
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, M., Ecker, W., Kruse, T., & Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. Proceedings of FDL’04. Forum on specification and Design Languages, Lille, France.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. Proceedings of AINA2004. 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . https://doi.org/10.1109/AINA.2004.1283977
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 17296
Rohlfing, K., Fritsch, J., & Wrede, B. (2004). Learning to Manipulate Objects: A Quantitative Evaluation of Motionese. Third International Conference on Development and Learning (ICDL 2004), 27.
LibreCat
2004 | Book Chapter | LibreCat-ID: 42042
Huber, K., Volk, N., Vollmer, D., Schmidt, M., & Oppermann, W. (2004). Conformation and Phase Diagrams of Flexible Polyelectrolytes. In M. Schmidt (Ed.), Polyelectrolytes with Defined Molecular Architecture II (Vol. 166, pp. 29–65). Springer. https://doi.org/10.1007/b11348
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 43649
Schroeter-Wittke, H., & Kirsner, I. (2004). 13. Sonntag nach Trinitatis. 1. Joh 4,7-12: Die Schuld der Liebe. Predigtstudien II/2, 143–151.
LibreCat
2004 | Conference Paper | LibreCat-ID: 44122
Meier, T., Giessen, H., Linden, S., Christ, A., Kuhl, J., Nau, D., Thomas, P., & Koch, S. W. (2004). Fano resonances in metallic photonic crystals. Fano Resonances in Metallic Photonic Crystals, Article IFC5. International Quantum Electronics Conference 2004, San Francisco, California United States. https://doi.org/10.1364/IQEC.2004.IFC5
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 44123
Meier, T., Koch, M., Ciulin, V., Carter, S. G., Sherwin, M. S., Koch, S. W., Zide, J., Driscoll, D., & Gossard, A. C. (2004). Onset of Dynamical Localization in a Semiconductor Superlattice. International Quantum Electronics Conference, Article IMO3. International Quantum Electronics Conference 2004, San Francisco, California United States. https://doi.org/10.1364/IQEC.2004.IMO3
LibreCat
| DOI
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 44610
Adelmann, R. (2004). Digitale Animationen in dokumentarischen Fernsehformaten. In J. Schröter & A. Böhnke (Eds.), Analog/Digital – Opposition oder Kontinuum. Zur Theorie und Geschichte einer Unterscheidung (pp. 387–405). Transcript.
LibreCat
2004 | Book Chapter | LibreCat-ID: 44609
Adelmann, R. (2004). Computeranimation als televisuelle Evidenzproduktion. In R. F. Nohr (Ed.), Evidenz … das sieht man doch! (pp. 43–56). Lit Verlag.
LibreCat
2004 | Book Chapter | LibreCat-ID: 49075
Schulze, M. (2004). Ohne Titel (2004). In A. Grigoteit, F. Hütte, & Deutsche Bank Kunst (Eds.), Akademie Rundgang 2004.
LibreCat
2004 | Book Review | LibreCat-ID: 18485 | 
Peckhaus, V. (2004). Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002. In zbMATH Open, Zbl. 1028.03002.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 9249
Mildorf, J. (2004). Narrativising the Body: Fragmentation and Unification in Jed Mercurio’s “Bodies.” In P. L. Twohig & V. Kalitzkus (Eds.), Interdisciplinary Perspectives on Health, Illness and Disease (pp. 97–112). Rodopi.
LibreCat
2004 | Book Chapter | LibreCat-ID: 9250
Mildorf, J. (2004). Narratives of Domestic Violence Cases: GPs Defining their Professional Role. In P. L. Twohig & V. Kalitzkus (Eds.), Making Sense of Health, Illness and Disease (pp. 173–196). Rodopi.
LibreCat
2003 | Journal Article | LibreCat-ID: 19726
Bonorden, O., Juurlink, B., von Otte, I., & Rieping, I. (2003). The Paderborn University BSP (PUB) library. Parallel Computing, 187–207. https://doi.org/10.1016/s0167-8191(02)00218-1
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2422
Enzler, R., Plessl, C., & Platzner, M. (2003). Co-simulation of a Hybrid Multi-Context Architecture. In Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA) (pp. 174–180). CSREA Press.
LibreCat