@inproceedingsMüller_Schäfer_Bleul_2004, place=Waikoloa, HI, USA, title=Interactive Multimodal User Interfaces for Mobile Devices, DOI=10.1109/HICSS.2004.1265674, booktitle=Proceedings of HICCS-37, author=Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen, year=2004 

@inproceedingsKrupp_Müller_Oliver_2004, place=Paris, title=Formal Refinement and Model Checking of An Echo Cancellation Unit, DOI=10.1109/DATE.2004.1269214, booktitle=Proceedings of DATE’04 Designers’ Forum, author=Krupp, Alexander and Müller, Wolfgang and Oliver, Ian, year=2004 

@inproceedingsMüller_Dömer_Gerstlauer_2002, place=Nagoya, Japan, title=The Formal Execution Semantics of SpecC, DOI=10.1145/581199.581234 , booktitle=Proceedings of the ISS, author=Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas, year=2002 

@inproceedingsFlake_Geiger_Lehrenfeld_Müller_Paelke_1999, place=New York, NY, USA , title=Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control, DOI=10.1109/NAFIPS.1999.781697, booktitle=Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society, publisher=IEEE, author=Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker, year=1999