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
Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.” Proceedings of HICCS-37, 2004, doi:10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” Proceedings of the ISSS02, 2002, doi:10.1145/581199.581234 .
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39474
Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society, IEEE, 1999, doi:10.1109/NAFIPS.1999.781697.
LibreCat
| DOI