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. A {CSP} Approach to Control in Event-B. In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:260--274. doi: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. {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, 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. Lecture Notes in Computer Science. ; 2010:271--274. doi:10.1007/978-3-642-12002-2_22
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
Steenken D, Wehrheim H, Wonisch D. Towards {A} Shape Analysis for Graph Transformation Systems. CoRR. 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 3418
Hehenkamp B, Wambach A. Survival at the center—the stability of minimum differentiation. Journal of Economic Behavior & Organization. 2010;(3):853--858.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3463
Backhaus K, Becker J, Beverungen D, et al. Produktivitätsbenchmarking als Bestandteil eines integrierten Ansatzes zur Vermarktung hybrider Leistungsbündel. In: 40. Jahrestagung Der Gesellschaft Für Informatik. Leipzig, Germany; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3464
Backhaus K, Becker J, Beverungen D, Frohs M, Müller O, Weddeling M. Incorporating Willingness-to-Pay Data into Online Recommendations for Value-Added Services. In: European Conference on Information Systems. Pretoria, South Africa; 2010.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3465
Becker J, Beverungen D, Blinn N, et al. 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; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3466
Becker J, Beverungen D, Blinn N, Nüttgens M. 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; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3467
Becker J, Beverungen D, Matzner M, Müller O. Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services. In: Kommers P, Isaías P, eds. Proceedings of the IADIS Internatioal Conference E-Society 2010. Porto, Portugal; 2010:322--329.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3468
Becker J, Beverungen D, Matzner M, Müller O. Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services. In: Morin J-H, Ralyté J, Snene M, eds. Exploring Service Sciences. Lecture Notes in Business Information Processing (LNBIP). Berlin; 2010:282--288. doi:10.1007/978-3-642-14319-9_25
LibreCat
| DOI