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.
10426 Publications
2004 | Conference Paper | LibreCat-ID: 30438
Li R, Pottharst A, Fröhleke N, Böcker J. Analysis and Design of Improved Isolated Full-Bridge Bi-Directional DC-DC Converter. In: PESC 2004, Aachen, Germany. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 30440
Pottharst A, Schulz B, Böcker J. Kommunikationssystem einer Anlage mit doppelt gespeistem Linearmotor. In: SPS/IPC/DRIVES 2004, Nürnberg, Deutschland. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 30436
Kauczor C, Schulte T, Grotstollen H. Piezoelectric Transformer of Travelling Wave Type. In: ACTUATOR 2004, Bremen, Germany. ; 2004.
LibreCat
2004 | Dissertation | LibreCat-ID: 30442
Yang B. Regelung der Längs- und Vertikalbewegung des Linearmotors für ein vollaktives spurgeführtes Bahnfahrzeug.; 2004.
LibreCat
| Download (ext.)
2004 | Dissertation | LibreCat-ID: 30441
Schulte T. Stromrichter- und Regelungskonzepte für Ultraschall-Wanderwellenmotoren.; 2004.
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 13001
Wuertenberger A, S. Tautermann C, Hellebrand S. Data Compression for Multiple Scan Chains Using Dictionaries with Corrections. In: IEEE International Test Conference (ITC’04). IEEE; 2004:926-935. doi:10.1109/test.2004.1387357
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 29921 | 
Böcker J. Advanced Hysteresis Control of Brushless DC Motors. In: German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen. ; 2004.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33825
Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. Integration of Software Specification Techniques for Applications in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky T, Müller W, Pawlak A. Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Fischer L, ed. Workflow Handbook 2004. Workflow Management Coalition (WfMC); 2004.
LibreCat
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 | Bachelorsthesis | LibreCat-ID: 47645
Dumrauf D. Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen.; 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
Herden T. Implementierung und Evaluierung eines Angriffs auf DSA.; 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 |
Gesemann S. Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes.; 2004.
LibreCat
| Files available
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
Gorski M. Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven.; 2004.
LibreCat
| Files available
2004 | Book Chapter | LibreCat-ID: 51469
Hilgert J, Mayer D. The Dynamical Zeta Function and Transfer Operators for the Kac-Baker Model. In: Agranowsky M, et al., eds. Complex Analysis and Dynamical Systems. Vol 364. Contemporary Mathematics. ; 2004.
LibreCat
2004 | Preprint | LibreCat-ID: 51548
Hilgert J, Deitmar A. The Lewis Correspondence for submodular groups. Published online 2004.
LibreCat
| Download (ext.)
2004 | Book (Editor) | LibreCat-ID: 53585
Müller W, Martin G, eds. Proceedings of the 1st International DAC Workshop of UML for SoC Design.; 2004.
LibreCat
2004 | Patent | LibreCat-ID: 53589
Dangberg A, Müller W. Control method for disposing graphical elements. Published online 2004.
LibreCat