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.
10471 Publications
2004 | Conference Paper | LibreCat-ID: 13001
Wuertenberger, A., S. Tautermann, C., & Hellebrand, S. (2004). Data Compression for Multiple Scan Chains Using Dictionaries with Corrections. IEEE International Test Conference (ITC’04), 926–935. https://doi.org/10.1109/test.2004.1387357
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 29921 | 
Böcker, J. (2004). Advanced Hysteresis Control of Brushless DC Motors. German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen. Germany-Korea Symposium, Aachen, Germany.
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 | Bachelorsthesis | LibreCat-ID: 47645
Dumrauf, D. (2004). Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
Herden, T. (2004). Implementierung und Evaluierung eines Angriffs auf DSA.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 |
Gesemann, S. (2004). Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes.
LibreCat
| Files available
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
Gorski, M. (2004). Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven.
LibreCat
| Files available
2004 | Book Chapter | LibreCat-ID: 51469
Hilgert, J., & Mayer, D. (2004). The Dynamical Zeta Function and Transfer Operators for the Kac-Baker Model. In M. Agranowsky & et al. (Eds.), Complex Analysis and Dynamical Systems (Vol. 364).
LibreCat
2004 | Preprint | LibreCat-ID: 51548
Hilgert, J., & Deitmar, A. (2004). The Lewis Correspondence for submodular groups.
LibreCat
| Download (ext.)
2004 | Book (Editor) | LibreCat-ID: 53585
Müller, W., & Martin, G. (Eds.). (2004). Proceedings of the 1st International DAC Workshop of UML for SoC Design.
LibreCat
2004 | Patent | LibreCat-ID: 53589
Dangberg, A., & Müller, W. (2004). Control method for disposing graphical elements.
LibreCat
2004 | Journal Article | LibreCat-ID: 54336
Hesse, K., & H. Sloan, I. (2004). High-order numerical integration on the sphere and extremal point systems. Journal of Computational Technologies, 9, 4–12.
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