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.
6012 Publications
2003 | Misc | LibreCat-ID: 47695 | 
M. R. Ackermann, Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten. 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 39357
T. Kostienko, W. Müller, A. Pawlak, and T. Schattkowsky, “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
C. Loeser, W. Müller, F. Berger, and H.-J. Eikerling, “Peer-to-Peer for Virtual Home Environments,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
H.-J. Eikerling, W. Müller, T. Schattkowski, and J. Wegner, “Tool Integration and Management in Heterogeneous Computer Networks,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
R. Schäfer and W. Müller, “Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.
LibreCat
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
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
2002 | Conference Paper | LibreCat-ID: 19727
O. Bonorden, F. Meyer auf der Heide, and R. Wanka, “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, pp. 2202–2208.
LibreCat
2002 | Conference Paper | LibreCat-ID: 19873
J. Klein, J. Krokowski, and N. Cuntz, “Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression,” in Proc. of 4. GI-Informatiktage, 2002, pp. 224–229.
LibreCat