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.
9290 Publications
2004 | Journal Article | LibreCat-ID: 1017
Kubisch, M., Karl, H., & Wolisz, A. (2004). A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas. Frequenz, (3–4), 92--96. https://doi.org//10.1.1.3.3185
LibreCat
| Files available
| DOI
2004 | Conference Paper | LibreCat-ID: 1019
Gross, J., Karl, H., & Wolisz, A. (2004). Throughput optimization of dynamic OFDM-FDMA systems with inband signaling. In 2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004).
LibreCat
2004 | Conference Paper | LibreCat-ID: 13618
Walder, H., & Platzner, M. (2004). A Runtime Environment for Reconfigurable Hardware Operating Systems. In Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL) (pp. 831–835). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-540-30117-2_84
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 13619
Walder, H., Nobs, S., & Platzner, M. (2004). XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems. In Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press.
LibreCat
2004 | Conference Paper | LibreCat-ID: 13620
Dyer, M., Platzner, M., & Thiele, L. (2004). Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine. In Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM). IEEE CS Press. https://doi.org/10.1109/fccm.2004.31
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 13716
Fleischer, K., Chandola, S., Esser, N., Richter, W., McGilp, J. ., Schmidt, W. G., … Bernholc, J. (2004). Atomic indium nanowires on Si(111): the (4 × 1)–(8 × 2) phase transition studied with reflectance anisotropy spectroscopy. Applied Surface Science, 234, 302–306. https://doi.org/10.1016/j.apsusc.2004.05.114
LibreCat
| DOI
2004 | Book Review | LibreCat-ID: 9842
Mildorf, J. (2004). Book review: Vera and Ansgar Nünning (eds) (2002). Erzähltheorie transgenerisch, intermedial, interdisziplinär. Trier: WVT. / Ansgar and Vera Nünning (eds) (2002). Neue Ansätze in der Erzähltheorie. Trier: WVT. In Narrative Inquiry (Vol. 14, Issue 1, pp. 219–234).
LibreCat
2004 | Book Review | LibreCat-ID: 31455
Elit, S. (2004). Franz Witek: Die “Bühne des Schicksals”. Demetrios von Makedonien in Historiographie und Drama, Horn/Wien 2001 (Musae Benedictinae Salisburgenses 1). In NlatJb 6 (pp. 335–341).
LibreCat
2004 | Journal Article | LibreCat-ID: 6069
Scharlau, I. (2004). Evidence for split foci of attention in a priming paradigm. Perception & Psychophysics, 66(6), 988–1002.
LibreCat
2004 | Journal Article | LibreCat-ID: 6089 | 
Scharlau, I. (2004). The spatial distribution of attention in perceptual latency priming. The Quarterly Journal of Experimental Psychology A: Human Experimental Psychology, 57A(8), 1411–1436.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33825
Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. 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 (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, T., Müller, W., & Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), Workflow Handbook 2004. Workflow Management Coalition (WfMC).
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, A., & Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 155–168). Kluwer.
LibreCat
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: 39060
Schattkowsky, T., & Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. Proceedings of DATE’04.
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: 39063
Müller, W., & Paelke, V. (2004). A Formal Model of a Framework for Simulation-Based Animation. Proceedings of the Simulation and Visualisation 2004.
LibreCat