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.
5937 Publications
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 | 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
2004 | Conference Paper | LibreCat-ID: 39055
M. Zambaldi, W. Ecker, T. Kruse, and W. Müller, “The Formal Simulation Semantics of SystemVerilog,” presented at the Forum on specification and Design Languages, Lille, France, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of Embedded Real-Time Systems,” 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
W. Müller and V. Paelke, “A Formal Model of a Framework for Simulation-Based Animation,” 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks,” presented at the 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan , 2004, doi: 10.1109/AINA.2004.1283977.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, and V. Paelke, “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality,” 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, and R. Radkowski, “Virtual Prototyping Of Self-Optimizing Mechatronic Systems,” presented at the 8th International Design Conference , Dubrovnik, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
C. Loeser, R. Schäfer, W. Müller, and M. Borowski, “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control,” 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
S. Bleul, W. Müller, and R. Schäfer, “Multimodal Dialog Description for Mobile Devices,” 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39350
R. Schäfer, S. Bleul, and W. Müller, “A Novel Dialog Model for the Design of Multimodal User Interfaces,” 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39352
S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,” 2004, doi: 10.1007/978-3-540-30187-5_17.
LibreCat
| DOI
2003 | Report | LibreCat-ID: 2533
V. Handziski, A. Köpke, H. Karl, and A. Wolisz, A common wireless sensor network architecture? Berlin, 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2535
W. Drytkiewicz, S. Sroka, V. Handzisk, A. Köpke, and H. Karl, “A Mobility Frame work for OMNeT++,” in Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics, 2003.
LibreCat
| Files available