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

A Formal Behavioral Semantics for TestML
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

A Model-Based Approach for Executable Specification on Reconfigurable Hardware
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20

A UML Virtual Machine for Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.
LibreCat: /record/39030

Transformation of UML State Machines for Direct Execution
T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

The Formal Execution Semantics of SpecC
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISS, Nagoya, Japan, 2002.
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

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

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

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

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

Customer-Oriented Systems Design through Virtual Prototyps
S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425

A Language for the Rapid Prototyping of Mobile Evolving Agents
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, Maui, HI, USA , 2001.
LibreCat: /record/39432
DOI: 10.1109/HICSS.2001.926319

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

Visual Specification, Modeling, and Illustrations of Complex Systems
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.
LibreCat: /record/39487
DOI: 10.1109/HICSS.1999.772621

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

A Visual Programming Language for Qualitative Data
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat: /record/39510
DOI: 10.1109/VL.1997.626593

Visual-Textual Prototyping of 4D Scenes
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat: /record/39505
DOI: 10.1109/VL.1997.626601