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, Steve, et al. “A {CSP} Approach to Control in Event-B.” Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 2010, pp. 260--274, doi:10.1007/978-3-642-16265-7_19.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger, Klaus, et al. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” 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, 2010, pp. 271--274, doi:10.1007/978-3-642-12002-2_22.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
Steenken, Dominik, et al. “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, pp. 853--858.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3463
Backhaus, Klaus, et al. “Produktivitätsbenchmarking Als Bestandteil Eines Integrierten Ansatzes Zur Vermarktung Hybrider Leistungsbündel.” 40. Jahrestagung Der Gesellschaft Für Informatik, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3464
Backhaus, Klaus, et al. “Incorporating Willingness-to-Pay Data into Online Recommendations for Value-Added Services.” European Conference on Information Systems, 2010.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3465
Becker, Jörg, et al. “Produktivitätsmanagement Hybrider Leistungsbündel --- Auf Dem Weg Zu Einer Produktivitätsmanagementsystematik Für Effiziente Wertschöpfungspartnerschaften.” Proceedings of the Multikonferenz Wirtschaftsinformatik, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3466
Becker, Jörg, et al. “Assumptions in Service Research --- A Multi-Theoretical Perspective on the Development of Standards for the Integration of Goods and Services.” XX. International RESER Conference, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3467
Becker, Jörg, et al. “Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services.” Proceedings of the IADIS Internatioal Conference E-Society 2010, edited by Piet Kommers and Pedro Isaías, 2010, pp. 322--329.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3468
Becker, Jörg, et al. “Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services.” Exploring Service Sciences, edited by Jean-Henry Morin et al., 2010, pp. 282--288, doi:10.1007/978-3-642-14319-9_25.
LibreCat
| DOI