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