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