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.
10594 Publications
2004 | Conference Paper | LibreCat-ID: 30436
C. Kauczor, T. Schulte, and H. Grotstollen, “Piezoelectric Transformer of Travelling Wave Type,” presented at the ACTUATOR 2004, Bremen, Germany, 2004.
LibreCat
2004 | Dissertation | LibreCat-ID: 30442
B. Yang, Regelung der Längs- und Vertikalbewegung des Linearmotors für ein vollaktives spurgeführtes Bahnfahrzeug. 2004.
LibreCat
| Download (ext.)
2004 | Dissertation | LibreCat-ID: 30441
T. Schulte, Stromrichter- und Regelungskonzepte für Ultraschall-Wanderwellenmotoren. 2004.
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 13001
A. Wuertenberger, C. S. Tautermann, and S. Hellebrand, “Data Compression for Multiple Scan Chains Using Dictionaries with Corrections,” in IEEE International Test Conference (ITC’04), 2004, pp. 926–935, doi: 10.1109/test.2004.1387357.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 29921 | 
J. Böcker, “Advanced Hysteresis Control of Brushless DC Motors,” presented at the Germany-Korea Symposium, Aachen, Germany, 2004.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33825
S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
T. Schattkowsky, W. Müller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook 2004, L. Fischer, Ed. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary Model Checking,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” in Best of FDL’03, Ch. Grimm, Ed. Dordrecht: Kluwer, 2004, pp. 301–314.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 227–240.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47645
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen. 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA. 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 |
S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes. 2004.
LibreCat
| Files available
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
M. Gorski, Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven. 2004.
LibreCat
| Files available
2004 | Book Chapter | LibreCat-ID: 51469
J. Hilgert and D. Mayer, “The Dynamical Zeta Function and Transfer Operators for the Kac-Baker Model,” in Complex Analysis and Dynamical Systems, vol. 364, M. Agranowsky and et al., Eds. 2004.
LibreCat
2004 | Preprint | LibreCat-ID: 51548
J. Hilgert and A. Deitmar, “The Lewis Correspondence for submodular groups.” 2004.
LibreCat
| Download (ext.)
2004 | Book (Editor) | LibreCat-ID: 53585
W. Müller and G. Martin, Eds., Proceedings of the 1st International DAC Workshop of UML for SoC Design. San Diego CA, USA, 2004.
LibreCat
2004 | Patent | LibreCat-ID: 53589
A. Dangberg and W. Müller, “Control method for disposing graphical elements.” 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 54336
K. Hesse and I. H. Sloan, “High-order numerical integration on the sphere and extremal point systems,” Journal of Computational Technologies, vol. 9, pp. 4–12, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces for Mobile Devices,” presented at the 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2004, doi: 10.1109/HICSS.2004.1265674.
LibreCat
| DOI