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, Daniel, et al. “Conceptualizing Smart Service Systems.” Electronic Markets, vol. 29, SpringerNature, 2019, pp. 7–18, doi:10.1007/s12525-017-0270-5.
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 57889 | 
Godau, Marc. “Wie Kommen Die Dinge in Den Musikunterricht? Zur Materialität Musikpädagogischer Praxis Am Beispiel Divergierender Orientierungen Im Kontext Unterrichtsbezogenen Handelns Angehender Lehrkräfte.” Soziale Aspekte Des Musiklernens, edited by Bernd Clausen and Susanne Dreßler, Waxmann, 2018, pp. 43–55.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 6075
Krüger, Alexander, et al. “Measuring and Modeling Salience with the Theory of Visual Attention.” Attention, Perception, & Psychophysics, vol. 79, no. 6, 2017, pp. 1593–614, doi:10.3758/s13414-017-1325-6.
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 5701
Wünderlich, Nancy, et al. “Futurizing” Smart Service: Implications for Service Researchers and Managers.” Journal of Services Marketing, vol. 29, no. 6/7, Emerald Group Publishing Limited, 2015, pp. 442–47.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer, Robbie, et al. “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), 2006, doi:10.1007/978-3-540-70816-2_4.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” Proceedings of AINA2004, IEEE, 2004, doi:10.1109/AINA.2004.1283977.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39352
Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” Proceedings of the UML 2004, 2004, doi:10.1007/978-3-540-30187-5_17.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM), vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:10.1007/s10270-003-0026-x.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39364
Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” Proceedings of SERP’03, 2003.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:10.1007/3-540-45669-4_8.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” Proceedings of HICSS-32, 1999, doi:10.1109/HICSS.1999.772621.
LibreCat
| DOI