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
@inproceedings{Schneider_Treharne_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={A {CSP} Approach to Control in Event-B}, DOI={10.1007/978-3-642-16265-7_19}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={260--274}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
@inproceedings{Dräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems}, DOI={10.1007/978-3-642-12002-2_22}, booktitle={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}, author={Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike}, editor={Esparza, Javier and Majumdar, RupakEditors}, year={2010}, pages={271--274}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
@article{Steenken_Wehrheim_Wonisch_2010, title={Towards {A} Shape Analysis for Graph Transformation Systems}, journal={CoRR}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, year={2010} }
LibreCat
2010 | Journal Article | LibreCat-ID: 3418
@article{Hehenkamp_Wambach_2010, title={Survival at the center—the stability of minimum differentiation}, number={3}, journal={Journal of Economic Behavior & Organization}, author={Hehenkamp, Burkhard and Wambach, Achim}, year={2010}, pages={853--858} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 3463
@inproceedings{Backhaus_Becker_Beverungen_Broeker_Knackstedt_Nikula_Wilken_2010, place={Leipzig, Germany}, title={Produktivitätsbenchmarking als Bestandteil eines integrierten Ansatzes zur Vermarktung hybrider Leistungsbündel}, booktitle={40. Jahrestagung der Gesellschaft für Informatik}, author={Backhaus, Klaus and Becker, Jörg and Beverungen, Daniel and Broeker, Ole and Knackstedt, Ralf and Nikula, Anna and Wilken, Robert}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 3464
@inproceedings{Backhaus_Becker_Beverungen_Frohs_Müller_Weddeling_2010, place={Pretoria, South Africa}, title={Incorporating Willingness-to-Pay Data into Online Recommendations for Value-Added Services}, booktitle={European Conference on Information Systems}, author={Backhaus, Klaus and Becker, Jörg and Beverungen, Daniel and Frohs, Margarete and Müller, Oliver and Weddeling, Matthias}, year={2010} }
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3465
@inproceedings{Becker_Beverungen_Blinn_Fellmann_Knackstedt_Nüttgens_Thomas_2010, place={Göttingen, Germany}, title={Produktivitätsmanagement hybrider Leistungsbündel --- Auf dem Weg zu einer Produktivitätsmanagementsystematik für effiziente Wertschöpfungspartnerschaften}, booktitle={Proceedings of the Multikonferenz Wirtschaftsinformatik}, author={Becker, Jörg and Beverungen, Daniel and Blinn, Nadine and Fellmann, Michael and Knackstedt, Ralf and Nüttgens, Markus and Thomas, Oliver}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 3466
@inproceedings{Becker_Beverungen_Blinn_Nüttgens_2010, place={Gothenburg, Sweden}, title={Assumptions in Service Research --- A Multi-Theoretical Perspective on the Development of Standards for the Integration of Goods and Services}, booktitle={XX. International RESER Conference}, author={Becker, Jörg and Beverungen, Daniel and Blinn, Nadine and Nüttgens, Markus}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 3467
@inproceedings{Becker_Beverungen_Matzner_Müller_2010, place={Porto, Portugal}, title={Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services}, booktitle={Proceedings of the IADIS Internatioal Conference e-Society 2010}, author={Becker, Jörg and Beverungen, Daniel and Matzner, Martin and Müller, Oliver}, editor={Kommers, Piet and Isaías, PedroEditors}, year={2010}, pages={322--329} }
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3468
@inproceedings{Becker_Beverungen_Matzner_Müller_2010, place={Berlin}, series={Lecture Notes in Business Information Processing (LNBIP)}, title={Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services}, DOI={10.1007/978-3-642-14319-9_25}, booktitle={Exploring Service Sciences}, author={Becker, Jörg and Beverungen, Daniel and Matzner, Martin and Müller, Oliver}, editor={Morin, Jean-Henry and Ralyté, Jolita and Snene, MehdiEditors}, year={2010}, pages={282--288}, collection={Lecture Notes in Business Information Processing (LNBIP)} }
LibreCat
| DOI