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.
6219 Publications
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, R., & Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake, S., & Müller, W. (2003). Expressing Property Specification Patterns with OCL. Proceedings of SERP’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, T., & Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. Proceedings of CCE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, S., & Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. Proceedings of SEKE 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., & Müller, W. (2003). SmartCard for Secure Collaborative Engineering. Proceedings of CCE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, A., & Müller, W. (2003). Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, A., & Müller, W. (2003). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. Proceedings of FDL’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, S., & Müller, W. (2003). Formal Semantics of OCL Messages. Proceedings of the Workshop OCL 2.0 at UML 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 13617
Steiger, C., Walder, H., Platzner, M., & Thiele, L. (2003). Online scheduling and placement of real-time tasks to partially reconfigurable devices. Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS), 224–225. https://doi.org/10.1109/real.2003.1253269
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 15165
Schwerdtfeger, B., Goetz, F., & Domik, G. (2003). 3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken.
LibreCat
2002 | Report | LibreCat-ID: 2538
Karl, H., Mengesha, S., & Hollos, D. (2002). Relaying in Wireless Access Networks . London: Business Briefing: Wireless Technology 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2541
Köpke, A., Handziski, V., & Karl, H. (2002). Making sensor networks intelligent. In Proc. 7th Wireless World Research Forum (WWRF). Eindhoven/Netherlands.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2544
Miesmer, H., Sanneck, H., Aguier, A., & Karl, H. (2002). Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks. In Proc. of 6th Wireless World Forum. London / GB.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2548
Hollos, D., & Karl, H. (2002). A HiperLAN/2 simulation model in OMNeT++. In Proc. of 2nd Intl. OMNet Workshop. Berlin .
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 19727
Bonorden, O., Meyer auf der Heide, F., & Wanka, R. (2002). 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) (pp. 2202–2208).
LibreCat
2002 | Conference Paper | LibreCat-ID: 19850
Wanka, R. (2002). 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) (pp. 413–420). Berlin, Heidelberg. https://doi.org/10.1007/3-540-36379-3_36
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 19873
Klein, J., Krokowski, J., & Cuntz, N. (2002). Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression. In Proc. of 4. GI-Informatiktage (pp. 224–229).
LibreCat
2002 | Conference Paper | LibreCat-ID: 2423
Plessl, C., Enzler, R., Walder, H., Beutel, J., Platzner, M., & Thiele, L. (2002). Reconfigurable Hardware in Wearable Computing Nodes. In Proc. Int. Symp. on Wearable Computers (ISWC) (pp. 215–222). IEEE Computer Society. https://doi.org/10.1109/ISWC.2002.1167250
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 2424
Dyer, M., Plessl, C., & Platzner, M. (2002). Partially Reconfigurable Cores for Xilinx Virtex. In Proc. Int. Conf. on Field Programmable Logic and Applications (FPL) (Vol. 2438, pp. 292–301). Springer. https://doi.org/10.1007/3-540-46117-5
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 2425
Plessl, C., & Platzner, M. (2002). Custom Computing Machines for the Set Covering Problem. In Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM) (pp. 163–172). IEEE Computer Society. https://doi.org/10.1109/FPGA.2002.1106671
LibreCat
| DOI