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.
4 Publications
2004 | Conference Paper | LibreCat-ID: 39053
W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces for Mobile Devices,” presented at the 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2004, doi: 10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: 10.1145/581199.581234 .
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39474
S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA , 1999, doi: 10.1109/NAFIPS.1999.781697.
LibreCat
| DOI