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, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based Animation.” Proceedings of the Simulation and Visualisation 2004, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” Proceedings of AINA2004, IEEE, 2004, doi:10.1109/AINA.2004.1283977.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
Gausemeier, Jürgen, et al. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” Proceedings of the Simulation and Visualisation 2004, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” Proceedings of ISORC’04, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier, Jürgen, et al. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” Proceedings of the Design 2004, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
Loeser, Chris, et al. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control.” Proceedings of SCI’04, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
Bleul, Steffen, et al. “Multimodal Dialog Description for Mobile Devices.” Proceedings of AVI 2004, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39350
Schäfer, Robbie, et al. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” Proceedings of EHCI-DSVIS 2005, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39352
Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” Proceedings of the UML 2004, 2004, doi:10.1007/978-3-540-30187-5_17.
LibreCat
| DOI
2004 | Bachelorsthesis | LibreCat-ID: 47645
Dumrauf, Dominic. Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen. 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
Herden, Tim. Implementierung und Evaluierung eines Angriffs auf DSA. 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 | 
Gesemann, Sebastian. Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes. 2004.
LibreCat
| Files available
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
Gorski, Michael. Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven. 2004.
LibreCat
| Files available
2003 | Report | LibreCat-ID: 2533
Handziski, Vlado, et al. A Common Wireless Sensor Network Architecture? 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2535
Drytkiewicz, Witold, et al. “A Mobility Frame Work for OMNeT++.” Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics, 2003.
LibreCat
| Files available
2003 | Journal Article | LibreCat-ID: 19726
Bonorden, Olaf, et al. “The Paderborn University BSP (PUB) Library.” Parallel Computing, 2003, pp. 187–207, doi:10.1016/s0167-8191(02)00218-1.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 19785
Salzwedel, Kay A. “Algorithmic Approaches for Storage Networks.” Algorithms for Memory Hierarchies, vol. 2625, 2003, doi:10.1007/3-540-36574-5_12.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 19790
Scheideler, Christian, et al. “Storage Management as Means to Cope with Exponential Information Growth.” Proceedings of SSGRR 2003, 2003.
LibreCat
| Files available