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
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, T., & Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. Proceedings of CCE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, S., & Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. Proceedings of SEKE 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., & Müller, W. (2003). SmartCard for Secure Collaborative Engineering. Proceedings of CCE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, A., & Müller, W. (2003). Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, A., & Müller, W. (2003). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. Proceedings of FDL’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, S., & Müller, W. (2003). Formal Semantics of OCL Messages. Proceedings of the Workshop OCL 2.0 at UML 2003.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47641
Ernst, M. (2003). Asymptotische Optimalität von LZ77 bei beschränktem Speicher.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47635
Voß, K. (2003). Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen.
LibreCat
2003 | Misc | LibreCat-ID: 47696 | 
Hoppe, U. (2003). Markovprozesse zur Modellierung bei Codekompression.
LibreCat
| Files available
2003 | Bachelorsthesis | LibreCat-ID: 47636 |
Unterkirchner, C. (2003). Implementierung eines arithmetischen Dekodierers in Java.
LibreCat
| Files available
2003 | Bachelorsthesis | LibreCat-ID: 47640 |
Kuntze, D. (2003). Tabellenbasierte arithmetische Codierung.
LibreCat
| Files available
2003 | Bachelorsthesis | LibreCat-ID: 47638
Soltenborn, C. (2003). Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47637
Todtenbier, C. (2003). Implementierung eines arithmetischen Kodierers in Java.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47634
Ziegler, M. (2003). Fehlerangriffe auf spezielle Implementierungen von RSA.
LibreCat
2003 | Bachelorsthesis | LibreCat-ID: 47639
Lindner, M. (2003). Verkürzte Huffman-Codierung zur Codekompression.
LibreCat
2003 | Misc | LibreCat-ID: 47695 |
Ackermann, M. R. (2003). Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten.
LibreCat
| Files available
2002 | Report | LibreCat-ID: 2538
Karl, H., Mengesha, S., & Hollos, D. (2002). Relaying in Wireless Access Networks . London: Business Briefing: Wireless Technology 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2541
Köpke, A., Handziski, V., & Karl, H. (2002). Making sensor networks intelligent. In Proc. 7th Wireless World Research Forum (WWRF). Eindhoven/Netherlands.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2544
Miesmer, H., Sanneck, H., Aguier, A., & Karl, H. (2002). Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks. In Proc. of 6th Wireless World Forum. London / GB.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2548
Hollos, D., & Karl, H. (2002). A HiperLAN/2 simulation model in OMNeT++. In Proc. of 2nd Intl. OMNet Workshop. Berlin .
LibreCat
| Files available