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.
1206 Publications
2010 | Conference Paper | LibreCat-ID: 3195
Schneider S, Treharne H, Wehrheim H. A {CSP} Approach to Control in Event-B. In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:260--274. doi:10.1007/978-3-642-16265-7_19
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger K, Kupriyanov A, Finkbeiner B, Wehrheim H. {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, 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. Lecture Notes in Computer Science. ; 2010:271--274. doi:10.1007/978-3-642-12002-2_22
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
Steenken D, Wehrheim H, Wonisch D. Towards {A} Shape Analysis for Graph Transformation Systems. CoRR. 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 3418
Hehenkamp B, Wambach A. Survival at the center—the stability of minimum differentiation. Journal of Economic Behavior & Organization. 2010;(3):853--858.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3463
Backhaus K, Becker J, Beverungen D, 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
Backhaus K, Becker J, Beverungen D, Frohs M, Müller O, Weddeling M. 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, Beverungen D, Blinn N, 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
Becker J, Beverungen D, Blinn N, Nüttgens M. 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, Beverungen D, Matzner M, Müller O. Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services. In: Kommers P, Isaías P, eds. Proceedings of the IADIS Internatioal Conference E-Society 2010. Porto, Portugal; 2010:322--329.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3468
Becker J, Beverungen D, Matzner M, Müller O. Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services. In: Morin J-H, Ralyté J, Snene M, eds. Exploring Service Sciences. Lecture Notes in Business Information Processing (LNBIP). Berlin; 2010:282--288. doi:10.1007/978-3-642-14319-9_25
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3469
Beverungen D. Implementing Value-Driven Service Management --- Towards an IT Artifact-Based Approach for Managing Customer Solutions. In: Proceedings of the 10th European Academy of Management Conference. Rome, Italy; 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 3503
Backhaus K, Becker J, Beverungen D, et al. Enabling Individualized Recommendations and Dynamic Pricing of Value-Added Services through Willingness-to-Pay Data. Electronic Markets. 2010;(2):131--146. doi:10.1007/s12525-010-0032-0
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3504
Becker J, Beverungen D, Knackstedt R. The Challenge of Conceptual Modeling for Product-Service Systems --- Status-quo and Perspectives for Reference Models and Modeling Languages. Information Systems and e-Business Management (ISeB). 2010;(1):12--32.
LibreCat
2010 | Journal Article | LibreCat-ID: 3505
Becker J, Beverungen D, Knackstedt R, Winkelmann A. Fostering the Virtualization of Service Processes and Touch Points --- Identification and Documentation of E-Service Potential in Retail Networks. Lecture Notes in Informatics. 2010;(INFORMATIK 2010--- Business Process and Service Science--- Proceedings of ISSS and BPSC):63--79.
LibreCat
2010 | Journal Article | LibreCat-ID: 3622
Rupprecht M, Strasser J, Gruber H, Harteis C. Expertise of team leaders in analysing team conflicts. Vocations and Learning. 2010;(1):39--54.
LibreCat
2010 | Journal Article | LibreCat-ID: 3624
Harteis C, Gruber H, Hertramph H. How Epistemic Beliefs Influence e-Learning in Daily Work-life. Journal of Educational Technology & Society. 2010;13(3):201-211.
LibreCat
2010 | Book Chapter | LibreCat-ID: 3625
Harteis C. Contributions of e-collaborative knowledge construction to professional learning and expertise. In: Ertl B, ed. Organizational Learning and Knowledge: Concepts, Methodologies, Tools and Applications. Hershey: IGI Global; 2010:332--350.
LibreCat
2010 | Book Chapter | LibreCat-ID: 3649
Harteis C, Gruber H, Rehrl M. Kompetenzerwerb im betrieblichen Arbeitsalltag. In: Spiel C, Reimann R, Schober B, Wagner P, eds. Bildungspsychologie. Göttingen: Hogrefe; 2010:183-187.
LibreCat
2010 | Book | LibreCat-ID: 3703
Müller J, Sureth C, Christian L. Mögliche Fallstricke Einer Optimierung Unternehmerischer Investitionsentscheidungen Auf Der Grundlage Der Konzernsteuerquote.; 2010.
LibreCat
2010 | Book Chapter | LibreCat-ID: 3711
Heid H, Harteis C. Wirtschaft und Betrieb. In: Tippelt R, Schmidt B, eds. Handbuch Bildungsforschung. 3rd ed. Wiesbaden: VS Verlag für Sozialwissenschaften; 2010:467-481.
LibreCat