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
@article{Beverungen_Müller_Matzner_Mendling_vom Brocke_2019, title={Conceptualizing smart service systems}, volume={29}, DOI={10.1007/s12525-017-0270-5}, journal={Electronic Markets}, publisher={SpringerNature}, author={Beverungen, Daniel and Müller, Oliver and Matzner, Martin and Mendling, Jan and vom Brocke, Jan}, year={2019}, pages={7–18} }
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 57889 | 
@inbook{Godau_2018, place={Münster, New York}, series={Musikpädagogische Forschung}, title={Wie kommen die Dinge in den Musikunterricht? Zur Materialität musikpädagogischer Praxis am Beispiel divergierender Orientierungen im Kontext unterrichtsbezogenen Handelns angehender Lehrkräfte}, booktitle={Soziale Aspekte des Musiklernens}, publisher={Waxmann}, author={Godau, Marc}, editor={Clausen, Bernd and Dreßler, Susanne}, year={2018}, pages={43–55}, collection={Musikpädagogische Forschung} }
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 6075
@article{Krüger_Tünnermann_Scharlau_2017, title={Measuring and modeling salience with the theory of visual attention.}, volume={79}, DOI={10.3758/s13414-017-1325-6}, number={6}, journal={Attention, Perception, & Psychophysics}, author={Krüger, Alexander and Tünnermann, Jan and Scharlau, Ingrid}, year={2017}, pages={1593–1614} }
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 5701
@article{Wünderlich_Heinonen_Ostrom_Patricio_Sousa_Voss_Lemmink_2015, title={Futurizing” Smart Service: Implications for Service Researchers and Managers.}, volume={29}, number={6/7}, journal={Journal of Services Marketing}, publisher={Emerald Group Publishing Limited}, author={Wünderlich, Nancy and Heinonen, Kristina and Ostrom, Amy L and Patricio, Lia and Sousa, Rui and Voss, Chris and Lemmink, Jos}, year={2015}, pages={442–447} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37037
@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38543
@inproceedings{Schäfer_Bleul_Müller_2006, place={Hasselt, Belgium}, title={Dialog Modelling for Multiple Devices and Multiple Interaction Modalities}, DOI={10.1007/978-3-540-70816-2_4}, booktitle={Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)}, author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2006} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={10.1109/DATE.2005.20}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39071
@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan }, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}, DOI={10.1109/AINA.2004.1283977}, booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim and Loeser, Chris and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39352
@inproceedings{Flake_Müller_2004, place={Lisbon, Portugal}, title={An ASM Definition of the Dynamic OCL 2.0 Semantics}, DOI={10.1007/978-3-540-30187-5_17}, booktitle={Proceedings of the UML 2004}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal State-Oriented OCL Constraints}, volume={2}, DOI={10.1007/s10270-003-0026-x}, number={3}, journal={Journal on Software and System Modeling (SoSyM)}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2003}, pages={164–186} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39364
@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={10.1007/3-540-45669-4_8}, booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.}, year={2002}, pages={150–171} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={10.1109/HICSS.1999.772621}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }
LibreCat
| DOI