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
Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Approach to Control in Event-B.” In Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_19.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike 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, edited by Javier Esparza and Rupak Majumdar, 271--274. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-12002-2_22.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Towards {A} Shape Analysis for Graph Transformation Systems.” CoRR, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 3418
Hehenkamp, Burkhard, and Achim Wambach. “Survival at the Center—the Stability of Minimum Differentiation.” Journal of Economic Behavior & Organization, no. 3 (2010): 853--858.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3463
Backhaus, Klaus, Jörg Becker, Daniel Beverungen, Ole Broeker, Ralf Knackstedt, Anna Nikula, and Robert Wilken. “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, Klaus, Jörg Becker, Daniel Beverungen, Margarete Frohs, Oliver Müller, and Matthias 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
Becker, Jörg, Daniel Beverungen, Nadine Blinn, Michael Fellmann, Ralf Knackstedt, Markus Nüttgens, and Oliver Thomas. “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örg, Daniel Beverungen, Nadine Blinn, and Markus 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
Becker, Jörg, Daniel Beverungen, Martin Matzner, and Oliver Müller. “Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services.” In Proceedings of the IADIS Internatioal Conference E-Society 2010, edited by Piet Kommers and Pedro Isaías, 322--329. Porto, Portugal, 2010.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3468
Becker, Jörg, Daniel Beverungen, Martin Matzner, and Oliver Müller. “Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services.” In Exploring Service Sciences, edited by Jean-Henry Morin, Jolita Ralyté, and Mehdi Snene, 282--288. Lecture Notes in Business Information Processing (LNBIP). Berlin, 2010. https://doi.org/10.1007/978-3-642-14319-9_25.
LibreCat
| DOI