Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch, J., Rohlfing, K., &; Wrede, B. (2009). People modify their tutoring behavior in robot-directed interaction for action learning. Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 1–6.https://doi.org/10.1109/DEVLRN.2009.5175516 
LibreCat: /record/17272
DOI: 10.1109/DEVLRN.2009.5175516

Großmann, J., &; Müller, W. (2006). A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06.https://doi.org/10.1109/ISoLA.2006.37 
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

Schattkowsky, T., Müller, W., &; Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05.https://doi.org/10.1109/DATE.2005.20 
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20

Schattkowsky, T., &; Müller, W. (2005). A UML Virtual Machine for Embedded Systems. Proceedings of ISNG 05.
LibreCat: /record/39030

Schattkowsky, T., &; Müller, W. (2005). Transformation of UML State Machines for Direct Execution. Proceedings of VL/HCC 05.https://doi.org/10.1109/VLHCC.2005.64 
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

Flake, S., &; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04.https://doi.org/10.1109/SEFM.2004.1347516__Proceedings of the Second International Conference on Software Engineering and Formal Methods.https://doi.org/10.1109/SEFM.2004.1347516 
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

Müller, W., Dömer, R., &; Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISS.https://doi.org/10.1145/581199.581234  
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Flake, S., &; Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA .https://doi.org/10.1109/HICSS.2002.994469 
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

Goser, K., Hilleringmann, U., Rueckert, U., &; Schumacher, K. (2002). VLSI technologies for artificial neural networks. IEEE Micro, 9(6), 28–44.https://doi.org/10.1109/40.42985 
LibreCat: /record/39925
DOI: 10.1109/40.42985

Goser, K., Hilleringmann, U., Rueckert, U., &; Schumacher, K. (2002). VLSI technologies for artificial neural networks. IEEE Micro, 9(6), 28–44.https://doi.org/10.1109/40.42985 
LibreCat: /record/39926
DOI: 10.1109/40.42985

Mahnken, R. (2002). Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity. Communications in Numerical Methods in Engineering, 15(10), 745–754.https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r 
LibreCat: /record/45423
DOI: 10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r

Mahnken, R., Johansson, M., &; Runesson, K. (2002). Parameter estimation for a viscoplastic damage model using a gradientbased optimization algorithm. Engineering Computations, 15(7), 925–955.https://doi.org/10.1108/02644409810236920 
LibreCat: /record/45427
DOI: 10.1108/02644409810236920

Flake, S., Geiger, C., Müller, W., &; Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.https://doi.org/10.1109/ENABL.2001.953425 
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425

Müller, W., Meyer, A., &; Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. Proceedings of the 34th Annual Hawaii International Conference on System Sciences.https://doi.org/10.1109/HICSS.2001.926319 
LibreCat: /record/39432
DOI: 10.1109/HICSS.2001.926319

Dücker, M., Müller, W., &; Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. https://doi.org/10.1109/HICSS.1999.773046__Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA .https://doi.org/10.1109/HICSS.1999.773046 
LibreCat: /record/39488
DOI: 10.1109/HICSS.1999.773046

Geiger, C., Lehrenfeld, G., &; Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii.https://doi.org/10.1109/HICSS.1999.772621 
LibreCat: /record/39487
DOI: 10.1109/HICSS.1999.772621

Geiger, C., Müller, W., &; Rosenbach, W. (1998). SAM - An Animated 3D Programming Language. Proceedings of the IEEE Symposium on Visual Languages. 1998 IEEE Symposium on Visual Languages, Halifax, Canada.https://doi.org/10.1109/VL.1998.706167 
LibreCat: /record/39493
DOI: 10.1109/VL.1998.706167

Dücker, M., Geiger, C., Lehrenfeld, G., Müller, W., &; Tahedl, C. (1997). A Visual Programming Language for Qualitative Data. Proceedings of the 1997 IEEE Symposium on Visual Languages.https://doi.org/10.1109/VL.1997.626593 
LibreCat: /record/39510
DOI: 10.1109/VL.1997.626593

Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., &; Müller, W. (1997). Visual-Textual Prototyping of 4D Scenes. Proceedings of the 1997 IEEE Symposium on Visual Languages. 1997 IEEE Symposium on Visual Languages.https://doi.org/10.1109/VL.1997.626601 
LibreCat: /record/39505
DOI: 10.1109/VL.1997.626601