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. Conceptualizing smart service systems. Electronic Markets. 2019;29:7-18. doi:10.1007/s12525-017-0270-5
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 57889 | 
Godau M. 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: Clausen B, Dreßler S, eds. Soziale Aspekte Des Musiklernens. Musikpädagogische Forschung. Waxmann; 2018:43–55.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 6075
Krüger A, Tünnermann J, Scharlau I. Measuring and modeling salience with the theory of visual attention. Attention, Perception, & Psychophysics. 2017;79(6):1593-1614. doi:10.3758/s13414-017-1325-6
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 5701
Wünderlich N, Heinonen K, Ostrom AL, et al. Futurizing” Smart Service: Implications for Service Researchers and Managers. Journal of Services Marketing. 2015;29(6/7):442-447.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37037
Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457186
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer R, Bleul S, Müller W. Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. In: Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006). ; 2006. doi:10.1007/978-3-540-70816-2_4
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE; 2005. doi:10.1109/DATE.2005.20
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. Integration of Software Specification Techniques for Applications in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: Proceedings of AINA2004. IEEE; 2004. doi:10.1109/AINA.2004.1283977
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39352
Flake S, Müller W. An ASM Definition of the Dynamic OCL 2.0 Semantics. In: Proceedings of the UML 2004. ; 2004. doi:10.1007/978-3-540-30187-5_17
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake S, Müller W. Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM). 2003;2(3):164-186. doi:10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39364
Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: Proceedings of SERP’03. ; 2003.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. Advances in Object Modelling with the OCL. Springer-Verlag; 2002:150-171. doi:10.1007/3-540-45669-4_8
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: Proceedings of HICSS-32. ; 1999. doi:10.1109/HICSS.1999.772621
LibreCat
| DOI