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: 3196
K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems,” in 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, 2010, pp. 271--274.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
D. Steenken, H. Wehrheim, and D. Wonisch, “Towards {A} Shape Analysis for Graph Transformation Systems,” CoRR, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 3418
B. Hehenkamp and A. Wambach, “Survival at the center—the stability of minimum differentiation,” Journal of Economic Behavior & Organization, no. 3, pp. 853--858, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3463
K. Backhaus 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
K. Backhaus, J. Becker, D. Beverungen, M. Frohs, O. Müller, and M. Weddeling, “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
J. Becker 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
J. Becker, D. Beverungen, N. Blinn, and M. Nüttgens, “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
J. Becker, D. Beverungen, M. Matzner, and O. Müller, “Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services,” in Proceedings of the IADIS Internatioal Conference e-Society 2010, Porto, Portugal, 2010, pp. 322--329.
LibreCat
| Download (ext.)