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 | 
Ackermann MR. Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten.; 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko T, Müller W, Pawlak A, Schattkowsky T. An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. In: Proceedings of CE 2003. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser C, Müller W, Berger F, Eikerling H-J. Peer-to-Peer for Virtual Home Environments. In: Proceedings of HICCS-36. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling H-J, Müller W, Schattkowski T, Wegner J. Tool Integration and Management in Heterogeneous Computer Networks. In: Proceedings of DATE’03. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer R, Müller W. Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. In: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: Proceedings of SERP’03. ; 2003.
LibreCat
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
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