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