Conceptualizing smart service systems
D. Beverungen, O. Müller, M. Matzner, J. Mendling, J. vom Brocke, Electronic Markets 29 (2019) 7–18.

Wie kommen die Dinge in den Musikunterricht? Zur Materialität musikpädagogischer Praxis am Beispiel divergierender Orientierungen im Kontext unterrichtsbezogenen Handelns angehender Lehrkräfte
M. Godau, in: B. Clausen, S. Dreßler (Eds.), Soziale Aspekte Des Musiklernens, Waxmann, Münster, New York, 2018, pp. 43–55.

Measuring and modeling salience with the theory of visual attention.
A. Krüger, J. Tünnermann, I. Scharlau, Attention, Perception, &; Psychophysics 79 (2017) 1593–1614.

Futurizingd Smart Service: Implications for Service Researchers and Managers.
N. Wünderlich, K. Heinonen, A.L. Ostrom, L. Patricio, R. Sousa, C. Voss, J. Lemmink, Journal of Services Marketing 29 (2015) 442–447.

A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.

Dialog Modelling for Multiple Devices and Multiple Interaction Modalities
R. Schäfer, S. Bleul, W. Müller, in: Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006), Hasselt, Belgium, 2006.

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.

Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.

Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AIN04, IEEE, Fukuoka, Japan , 2004.

An ASM Definition of the Dynamic OCL 2.0 Semantics
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.

Formal Semantics of Static and Temporal State-Oriented OCL Constraints
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.

Expressing Property Specification Patterns with OCL
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.

An OCL Extension for Real-Time Constraints
S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.

Visual Specification, Modeling, and Illustrations of Complex Systems
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.