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.
5786 Publications
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
Müller, W., & Paelke, V. (2004). A Formal Model of a Framework for Simulation-Based Animation. Proceedings of the Simulation and Visualisation 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. Proceedings of AINA2004. 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . https://doi.org/10.1109/AINA.2004.1283977
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second International Conference on Software Engineering and Formal Methods. https://doi.org/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. (2004). Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. Proceedings of the Simulation and Visualisation 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky, T., & Müller, W. (2004). Model-Based Design of Embedded Systems. Proceedings of ISORC’04.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier, J., Müller, W., Paelke, V., Bauch, J., Shen, Q., & Radkowski, R. (2004). Virtual Prototyping Of Self-Optimizing Mechatronic Systems. Proceedings of the Design 2004. 8th International Design Conference , Dubrovnik.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
Loeser, C., Schäfer, R., Müller, W., & Borowski, M. (2004). RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control. Proceedings of SCI’04.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
Bleul, S., Müller, W., & Schäfer, R. (2004). Multimodal Dialog Description for Mobile Devices. Proceedings of AVI 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39350
Schäfer, R., Bleul, S., & Müller, W. (2004). A Novel Dialog Model for the Design of Multimodal User Interfaces. Proceedings of EHCI-DSVIS 2005.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39352
Flake, S., & Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0 Semantics. Proceedings of the UML 2004. https://doi.org/10.1007/978-3-540-30187-5_17
LibreCat
| DOI
2004 | Bachelorsthesis | LibreCat-ID: 47645
Dumrauf, D. (2004). Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
Herden, T. (2004). Implementierung und Evaluierung eines Angriffs auf DSA.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 | 
Gesemann, S. (2004). Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes.
LibreCat
| Files available
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
Gorski, M. (2004). Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven.
LibreCat
| Files available
2003 | Report | LibreCat-ID: 2533
Handziski, V., Köpke, A., Karl, H., & Wolisz, A. (2003). A common wireless sensor network architecture? Berlin.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2535
Drytkiewicz, W., Sroka, S., Handzisk, V., Köpke, A., & Karl, H. (2003). A Mobility Frame work for OMNeT++. In Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics.
LibreCat
| Files available
2003 | Journal Article | LibreCat-ID: 19726
Bonorden, O., Juurlink, B., von Otte, I., & Rieping, I. (2003). The Paderborn University BSP (PUB) library. Parallel Computing, 187–207. https://doi.org/10.1016/s0167-8191(02)00218-1
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 19785
Salzwedel, K. A. (2003). Algorithmic Approaches for Storage Networks. Algorithms for Memory Hierarchies, 2625. https://doi.org/10.1007/3-540-36574-5_12
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 19790
Scheideler, C., Salzwedel, K., Meyer auf der Heide, F., Brinkmann, A., Vodisek, M., & Rückert, U. (2003). Storage Management as Means to cope with Exponential Information Growth. In Proceedings of SSGRR 2003.
LibreCat
| Files available