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.
1202 Publications
2010 | Conference Paper | LibreCat-ID: 3195
Schneider, S., Treharne, H., & Wehrheim, H. (2010). A {CSP} Approach to Control in Event-B. In D. M{\’{e}}ry & S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 260--274). https://doi.org/10.1007/978-3-642-16265-7_19
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger, K., Kupriyanov, A., Finkbeiner, B., & Wehrheim, H. (2010). {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza & R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (pp. 271--274). https://doi.org/10.1007/978-3-642-12002-2_22
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
Steenken, D., Wehrheim, H., & Wonisch, D. (2010). Towards {A} Shape Analysis for Graph Transformation Systems. CoRR.
LibreCat
2010 | Journal Article | LibreCat-ID: 3418
Hehenkamp, B., & Wambach, A. (2010). Survival at the center—the stability of minimum differentiation. Journal of Economic Behavior & Organization, (3), 853--858.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3463
Backhaus, K., Becker, J., Beverungen, D., Broeker, O., Knackstedt, R., Nikula, A., & Wilken, R. (2010). Produktivitätsbenchmarking als Bestandteil eines integrierten Ansatzes zur Vermarktung hybrider Leistungsbündel. In 40. Jahrestagung der Gesellschaft für Informatik. Leipzig, Germany.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3464
Backhaus, K., Becker, J., Beverungen, D., Frohs, M., Müller, O., & Weddeling, M. (2010). Incorporating Willingness-to-Pay Data into Online Recommendations for Value-Added Services. In European Conference on Information Systems. Pretoria, South Africa.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3465
Becker, J., Beverungen, D., Blinn, N., Fellmann, M., Knackstedt, R., Nüttgens, M., & Thomas, O. (2010). Produktivitätsmanagement hybrider Leistungsbündel --- Auf dem Weg zu einer Produktivitätsmanagementsystematik für effiziente Wertschöpfungspartnerschaften. In Proceedings of the Multikonferenz Wirtschaftsinformatik. Göttingen, Germany.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3466
Becker, J., Beverungen, D., Blinn, N., & Nüttgens, M. (2010). Assumptions in Service Research --- A Multi-Theoretical Perspective on the Development of Standards for the Integration of Goods and Services. In XX. International RESER Conference. Gothenburg, Sweden.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3467
Becker, J., Beverungen, D., Matzner, M., & Müller, O. (2010). Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services. In P. Kommers & P. Isaías (Eds.), Proceedings of the IADIS Internatioal Conference e-Society 2010 (pp. 322--329). Porto, Portugal.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3468
Becker, J., Beverungen, D., Matzner, M., & Müller, O. (2010). Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services. In J.-H. Morin, J. Ralyté, & M. Snene (Eds.), Exploring Service Sciences (pp. 282--288). Berlin. https://doi.org/10.1007/978-3-642-14319-9_25
LibreCat
| DOI