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.
14 Publications
2019 | Journal Article | LibreCat-ID: 4684
Conceptualizing smart service systems
D. Beverungen, O. Müller, M. Matzner, J. Mendling, J. vom Brocke, Electronic Markets 29 (2019) 7–18.
LibreCat
| Files available
| DOI
D. Beverungen, O. Müller, M. Matzner, J. Mendling, J. vom Brocke, Electronic Markets 29 (2019) 7–18.
2018 | Book Chapter | LibreCat-ID: 57889
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.
LibreCat
M. Godau, in: B. Clausen, S. Dreßler (Eds.), Soziale Aspekte Des Musiklernens, Waxmann, Münster, New York, 2018, pp. 43–55.
2017 | Journal Article | LibreCat-ID: 6075
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.
LibreCat
| DOI
A. Krüger, J. Tünnermann, I. Scharlau, Attention, Perception, & Psychophysics 79 (2017) 1593–1614.
2015 | Journal Article | LibreCat-ID: 5701
Futurizing” 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.
LibreCat
N. Wünderlich, K. Heinonen, A.L. Ostrom, L. Patricio, R. Sousa, C. Voss, J. Lemmink, Journal of Services Marketing 29 (2015) 442–447.
2010 | Conference Paper | LibreCat-ID: 37037
A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2006 | Conference Paper | LibreCat-ID: 38543
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.
LibreCat
| DOI
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.
2005 | Conference Paper | LibreCat-ID: 39029
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
| DOI
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.
2004 | Book Chapter | LibreCat-ID: 33825
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.
LibreCat
| DOI
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.
2004 | Conference Paper | LibreCat-ID: 39071
Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.
LibreCat
| DOI
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.
2004 | Conference Paper | LibreCat-ID: 39352
An ASM Definition of the Dynamic OCL 2.0 Semantics
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
2003 | Journal Article | LibreCat-ID: 34565
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.
LibreCat
| DOI
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
2003 | Conference Paper | LibreCat-ID: 39364
Expressing Property Specification Patterns with OCL
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.
2002 | Book Chapter | LibreCat-ID: 34447
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.
LibreCat
| DOI
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.
1999 | Conference Paper | LibreCat-ID: 39487
Visual Specification, Modeling, and Illustrations of Complex Systems
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.
LibreCat
| DOI
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.