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. 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
2004 | Conference Paper | LibreCat-ID: 39350
Schäfer R, Bleul S, Müller W. A Novel Dialog Model for the Design of Multimodal User Interfaces. In: Proceedings of EHCI-DSVIS 2005. Lecture Notes in Computer Science . ; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39352
Flake S, Müller W. An ASM Definition of the Dynamic OCL 2.0 Semantics. In: Proceedings of the UML 2004. ; 2004. doi:10.1007/978-3-540-30187-5_17
LibreCat
| DOI
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
2003 | Report | LibreCat-ID: 2533
Handziski V, Köpke A, Karl H, Wolisz A. A Common Wireless Sensor Network Architecture? Berlin; 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2535
Drytkiewicz W, Sroka S, Handzisk V, Köpke A, Karl H. A Mobility Frame work for OMNeT++. In: Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics. ; 2003.
LibreCat
| Files available
2003 | Journal Article | LibreCat-ID: 19726
Bonorden O, Juurlink B, von Otte I, Rieping I. The Paderborn University BSP (PUB) library. Parallel Computing. 2003:187-207. doi:10.1016/s0167-8191(02)00218-1
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 19785
Salzwedel KA. Algorithmic Approaches for Storage Networks. Algorithms for Memory Hierarchies. 2003;2625. doi: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. Storage Management as Means to cope with Exponential Information Growth. In: Proceedings of SSGRR 2003. ; 2003.
LibreCat
| Files available