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.
5792 Publications
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
2002 | Conference Paper | LibreCat-ID: 19727
Bonorden O, Meyer auf der Heide F, Wanka R. Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example. In: Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA). ; 2002:2202-2208.
LibreCat
2002 | Conference Paper | LibreCat-ID: 19850
Wanka R. Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal. In: Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG). Berlin, Heidelberg; 2002:413-420. doi:10.1007/3-540-36379-3_36
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 19873
Klein J, Krokowski J, Cuntz N. Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression. In: Proc. of 4. GI-Informatiktage. ; 2002:224-229.
LibreCat
2002 | Conference Paper | LibreCat-ID: 2423
Plessl C, Enzler R, Walder H, Beutel J, Platzner M, Thiele L. Reconfigurable Hardware in Wearable Computing Nodes. In: Proc. Int. Symp. on Wearable Computers (ISWC). IEEE Computer Society; 2002:215-222. doi:10.1109/ISWC.2002.1167250
LibreCat
| DOI