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.
10473 Publications
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
2004 | Conference Paper | LibreCat-ID: 39063
Müller W, Paelke V. A Formal Model of a Framework for Simulation-Based Animation. In: Proceedings of the Simulation and Visualisation 2004. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: Proceedings of AINA2004. IEEE; 2004. doi:10.1109/AINA.2004.1283977
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
Gausemeier J, Müller W, Bauch J, Radkowski W, Shen T, Paelke V. Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. In: Proceedings of the Simulation and Visualisation 2004. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky T, Müller W. Model-Based Design of Embedded Systems. In: Proceedings of ISORC’04. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier J, Müller W, Paelke V, Bauch J, Shen Q, Radkowski R. Virtual Prototyping Of Self-Optimizing Mechatronic Systems. In: Proceedings of the Design 2004. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
Loeser C, Schäfer R, Müller W, Borowski M. RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control. In: Proceedings of SCI’04. ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
Bleul S, Müller W, Schäfer R. Multimodal Dialog Description for Mobile Devices. In: Proceedings of AVI 2004. ; 2004.
LibreCat