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, Marcel R. Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten. 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” Proceedings of CE 2003, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” Proceedings of HICCS-36, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous Computer Networks.” Proceedings of DATE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” Proceedings of SERP’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” Proceedings of CCE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” Proceedings of SEKE 2003, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” Proceedings of CCE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, Alexander, and Wolfgang Müller. Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten. 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Proceedings of FDL’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” Proceedings of the Workshop OCL 2.0 at UML 2003, 2003.
LibreCat
2002 | Report | LibreCat-ID: 2538
Karl, Holger, et al. Relaying in Wireless Access Networks . Business Briefing: Wireless Technology 2002, 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2541
Köpke, Andreas, et al. “ Making Sensor Networks Intelligent.” Proc. 7th Wireless World Research Forum (WWRF), 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2544
Miesmer, Horst, et al. “Concepts for a QoS-Enabled, TCP/IP-Oriented Link Layer in Beyond 3G Networks.” Proc. of 6th Wireless World Forum, 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2548
Hollos, D., and Holger Karl. “A HiperLAN/2 Simulation Model in OMNeT++.” Proc. of 2nd Intl. OMNet Workshop, 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 19727
Bonorden, Olaf, et al. “Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example.” Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2002, pp. 2202–08.
LibreCat
2002 | Conference Paper | LibreCat-ID: 19850
Wanka, Rolf. “Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal.” Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG), 2002, pp. 413–20, doi:10.1007/3-540-36379-3_36.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 19873
Klein, Jan, et al. “Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression.” Proc. of 4. GI-Informatiktage, 2002, pp. 224–29.
LibreCat
2002 | Conference Paper | LibreCat-ID: 2423
Plessl, Christian, et al. “Reconfigurable Hardware in Wearable Computing Nodes.” Proc. Int. Symp. on Wearable Computers (ISWC), IEEE Computer Society, 2002, pp. 215–22, doi:10.1109/ISWC.2002.1167250.
LibreCat
| DOI