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
Beverungen, D., Müller, O., Matzner, M., Mendling, J., & vom Brocke, J. (2019). Conceptualizing smart service systems. Electronic Markets, 29, 7–18. https://doi.org/10.1007/s12525-017-0270-5
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 57889 | 
Godau, M. (2018). Wie kommen die Dinge in den Musikunterricht? Zur Materialität musikpädagogischer Praxis am Beispiel divergierender Orientierungen im Kontext unterrichtsbezogenen Handelns angehender Lehrkräfte. In B. Clausen & S. Dreßler (Eds.), Soziale Aspekte des Musiklernens (pp. 43–55). Waxmann.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 6075
Krüger, A., Tünnermann, J., & Scharlau, I. (2017). Measuring and modeling salience with the theory of visual attention. Attention, Perception, & Psychophysics, 79(6), 1593–1614. https://doi.org/10.3758/s13414-017-1325-6
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 5701
Wünderlich, N., Heinonen, K., Ostrom, A. L., Patricio, L., Sousa, R., Voss, C., & Lemmink, J. (2015). Futurizing” Smart Service: Implications for Service Researchers and Managers. Journal of Services Marketing, 29(6/7), 442–447.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer, R., Bleul, S., & Müller, W. (2006). Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006). https://doi.org/10.1007/978-3-540-70816-2_4
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
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
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. 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 (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. Proceedings of AINA2004. 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . https://doi.org/10.1109/AINA.2004.1283977
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39352
Flake, S., & Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0 Semantics. Proceedings of the UML 2004. https://doi.org/10.1007/978-3-540-30187-5_17
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM), 2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39364
Flake, S., & Müller, W. (2003). Expressing Property Specification Patterns with OCL. Proceedings of SERP’03.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
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
| DOI