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. 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
2004 | Journal Article | LibreCat-ID: 54336
Hesse K, H. Sloan I. High-order numerical integration on the sphere and extremal point systems. Journal of Computational Technologies. 2004;9:4-12.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller W, Schäfer R, Bleul S. Interactive Multimodal User Interfaces for Mobile Devices. In: Proceedings of HICCS-37. ; 2004. doi:10.1109/HICSS.2004.1265674
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of SystemVerilog. In: Proceedings of FDL’04. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded Real-Time Systems. In: Proceedings of DATE’04. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004. doi:10.1109/DATE.2004.1269214
LibreCat
| DOI