Schneider, S., Treharne, H., &; Wehrheim, H. (2010). A CSP Approach to Control in Event-B. In D. M\rquote ery &; S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 260--274).https://doi.org/10.1007/978-3-642-16265-7_19 
LibreCat: /record/3195
DOI: 10.1007/978-3-642-16265-7_19

Dräger, K., Kupriyanov, A., Finkbeiner, B., &; Wehrheim, H. (2010). SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. 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 (pp. 271--274).https://doi.org/10.1007/978-3-642-12002-2_22 
LibreCat: /record/3196
DOI: 10.1007/978-3-642-12002-2_22

Steenken, D., Wehrheim, H., &; Wonisch, D. (2010). Towards A Shape Analysis for Graph Transformation Systems. CoRR.
LibreCat: /record/3198

Hehenkamp, B., &; Wambach, A. (2010). Survival at the center—the stability of minimum differentiation. Journal of Economic Behavior &; Organization, (3), 853--858.
LibreCat: /record/3418

Backhaus, K., Becker, J., Beverungen, D., Broeker, O., Knackstedt, R., Nikula, A., &; Wilken, R. (2010). Produktivitätsbenchmarking als Bestandteil eines integrierten Ansatzes zur Vermarktung hybrider Leistungsbündel. In 40. Jahrestagung der Gesellschaft für Informatik. Leipzig, Germany.
LibreCat: /record/3463

Backhaus, K., Becker, J., Beverungen, D., Frohs, M., Müller, O., &; Weddeling, M. (2010). Incorporating Willingness-to-Pay Data into Online Recommendations for Value-Added Services. In European Conference on Information Systems. Pretoria, South Africa.
LibreCat: /record/3464

Becker, J., Beverungen, D., Blinn, N., Fellmann, M., Knackstedt, R., Nüttgens, M., &; Thomas, O. (2010). 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.
LibreCat: /record/3465

Becker, J., Beverungen, D., Blinn, N., &; Nüttgens, M. (2010). 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.
LibreCat: /record/3466

Becker, J., Beverungen, D., Matzner, M., &; Müller, O. (2010). Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services. In P. Kommers &; P. Isaías (Eds.), Proceedings of the IADIS Internatioal Conference e-Society 2010 (pp. 322--329). Porto, Portugal.
LibreCat: /record/3467

Becker, J., Beverungen, D., Matzner, M., &; Müller, O. (2010). Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services. In J.-H. Morin, J. Ralyté, &; M. Snene (Eds.), Exploring Service Sciences (pp. 282--288). Berlin.https://doi.org/10.1007/978-3-642-14319-9_25 
LibreCat: /record/3468
DOI: 10.1007/978-3-642-14319-9_25

Beverungen, D. (2010). 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.
LibreCat: /record/3469

Backhaus, K., Becker, J., Beverungen, D., Frohs, M., Müller, O., Weddeling, M.,https://doi.org/10.1007/s12525-010-0032-0__Steiner, M. (2010). Enabling Individualized Recommendations and Dynamic Pricing of Value-Added Services through Willingness-to-Pay Data. Electronic Markets, (2), 131--146.https://doi.org/10.1007/s12525-010-0032-0 
LibreCat: /record/3503
DOI: 10.1007/s12525-010-0032-0

Becker, J., Beverungen, D., &; Knackstedt, R. (2010). 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), (1), 12--32.
LibreCat: /record/3504

Becker, J., Beverungen, D., Knackstedt, R., &; Winkelmann, A. (2010). Fostering the Virtualization of Service Processes and Touch Points --- Identification and Documentation of E-Service Potential in Retail Networks. Lecture Notes in Informatics, (INFORMATIK 2010--- Business Process and Service Science--- Proceedings of ISSS and BPSC), 63--79.
LibreCat: /record/3505

Rupprecht, M., Strasser, J., Gruber, H., &; Harteis, C. (2010). Expertise of team leaders in analysing team conflicts. Vocations and Learning, (1), 39--54.
LibreCat: /record/3622

Harteis, C., Gruber, H., &; Hertramph, H. (2010). How Epistemic Beliefs Influence e-Learning in Daily Work-life. Journal of Educational Technology &; Society, 13(3), 201–211.
LibreCat: /record/3624

Harteis, C. (2010). Contributions of e-collaborative knowledge construction to professional learning and expertise. In B. Ertl (Ed.), Organizational Learning and Knowledge: Concepts, Methodologies, Tools and Applications (pp. 332--350). Hershey: IGI Global.
LibreCat: /record/3625

Harteis, C., Gruber, H., &; Rehrl, M. (2010). Kompetenzerwerb im betrieblichen Arbeitsalltag. In C. Spiel, R. Reimann, B. Schober, &; P. Wagner (Eds.), Bildungspsychologie (pp. 183–187). Göttingen: Hogrefe.
LibreCat: /record/3649

Müller, J., Sureth, C., &; Christian, L. (2010). Mögliche Fallstricke einer Optimierung unternehmerischer Investitionsentscheidungen auf der Grundlage der Konzernsteuerquote.
LibreCat: /record/3703

Heid, H., &; Harteis, C. (2010). Wirtschaft und Betrieb. In R. Tippelt &; B. Schmidt (Eds.), Handbuch Bildungsforschung (3rd ed., pp. 467–481). Wiesbaden: VS Verlag für Sozialwissenschaften.
LibreCat: /record/3711

Wachsmuth, H., Prettenhofer, P., &; Stein, B. (2010). Efficient Statement Identification for Automatic Market Forecasting. In Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010) (pp. 1128–1136).
LibreCat: /record/3810

Schulz-Zander, R., &; Eickelmann, B. (2010). Teacher Professional Development - An Empirical Analysis of ICT-related Teacher Cooperation from a School Improvement Perspective. Proceedings of 21st International Conference of SITE (Society for Information Technology &; Teacher Education), 1626–1632.
LibreCat: /record/28928

Eickelmann, B. (2010). Factors Contributing to a Sustainable Implementation of Digital Media in Schools and Classrooms – Empirical Analyses and some Consequences for Teacher Education. Proceedings of 21st International Conference of SITE (Society for Information Technology &; Teacher Education), 1421–1428.
LibreCat: /record/28929

Eickelmann, B. (2010). Digitale Medien in Schule und Unterricht erfolgreich implementieren.
LibreCat: /record/28930

Eickelmann, B. (2010). Das Globale-Schule-System – Evaluation einer Handlungsalternative im Distance Learning für das deutsche Auslandsschulwesen. Bundesverwaltungsamt, Zentralstelle für das Deutsche Auslandsschulwesen.
LibreCat: /record/28932

Ackermann, M. R., &; Blömer, J. (2010). Bregman Clustering for Separable Instances. In SWAT 2010 (pp. 212–223). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-13731-0_21 
LibreCat: /record/2988
DOI: 10.1007/978-3-642-13731-0_21

Ackermann, M. R., Blömer, J., &; Sohler, C. (2010). Clustering for Metric and Nonmetric Distance Measures. ACM Trans. Algorithms, (4), 59:1--59:26.https://doi.org/10.1145/1824777.1824779 
LibreCat: /record/2990
DOI: 10.1145/1824777.1824779

Krueger, A., Leutnant, V., Haeb-Umbach, R., Ackermann, M., &; Blömer, J. (2010). On the initialization of dynamic models for speech features. Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany.
LibreCat: /record/2991

Schrieb, J. (2010). Efficient and Compact CCA Security from Partitioned IBKEM.
LibreCat: /record/2993

Schäfer, W., Trächtler, A., Birattari, M., Blömer, J., Dorigo, M., Engels, G.,https://doi.org/10.1145/1882362.1882428__Reif, W. (2010). Engineering self-coordinating software intensive systems. In Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10. ACM Press.https://doi.org/10.1145/1882362.1882428 
LibreCat: /record/2994
DOI: 10.1145/1882362.1882428

Gries, T., &; Naudé, W. (2010). Entrepreneurship and Structural Economic Transformation. Small Business Economics, 34(1), 13–29.https://doi.org/10.1007/s11187-009-9192-8 
LibreCat: /record/3055
DOI: 10.1007/s11187-009-9192-8

Jager, T., Kohlar, F., Schäge, S., &; Schwenk, J. (2010). Generic Compilers for Authenticated Key Exchange. In Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings (pp. 232--249).https://doi.org/10.1007/978-3-642-17373-8_14 
LibreCat: /record/3139
DOI: 10.1007/978-3-642-17373-8_14

Jager, T., &; Rupp, A. (2010). The Semi-Generic Group Model and Applications to Pairing-Based Cryptography. In Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings (pp. 539--556).https://doi.org/10.1007/978-3-642-17373-8_31 
LibreCat: /record/3140
DOI: 10.1007/978-3-642-17373-8_31

Haralambiev, K., Jager, T., Kiltz, E., &; Shoup, V. (2010). Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model. In Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings (pp. 1--18).https://doi.org/10.1007/978-3-642-13013-7_1 
LibreCat: /record/3141
DOI: 10.1007/978-3-642-13013-7_1

Derrick, J., &; Wehrheim, H. (2010). Model transformations across views. Sci. Comput. Program., (3), 192--210.https://doi.org/10.1016/j.scico.2009.11.004 
LibreCat: /record/3189
DOI: 10.1016/j.scico.2009.11.004

Schäfer, W., &; Wehrheim, H. (2010). Model-Driven Development with Mechatronic UML. In G. Engels, C. Lewerentz, W. Sch\'22afer, A. Sch\'22urr, &; B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (pp. 533--554).https://doi.org/10.1007/978-3-642-17322-6_23 
LibreCat: /record/3191
DOI: 10.1007/978-3-642-17322-6_23

Timm, N., &; Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. In J. Song Dong &; H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings (pp. 534--548).https://doi.org/10.1007/978-3-642-16901-4_35 
LibreCat: /record/3193
DOI: 10.1007/978-3-642-16901-4_35

Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &; Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In D. M\rquote ery &; S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 183--198).https://doi.org/10.1007/978-3-642-16265-7_14 
LibreCat: /record/3194
DOI: 10.1007/978-3-642-16265-7_14

Buyken, A., Flood, V., Empson, M., Rochtchina, E., Barclay, A. W., Brand-Miller, J., &; Mitchell, P. (2010). Carbohydrate nutrition and inflammatory disease mortality in older adults. The American Journal of Clinical Nutrition, 634–643.https://doi.org/10.3945/ajcn.2010.29390 
LibreCat: /record/27009
DOI: 10.3945/ajcn.2010.29390

Alexy, U., Libuda, L., Mersmann, S., &; Kersting, M. (2010). Convenience foods in children’s diet and association with dietary quality and body weight status. European Journal of Clinical Nutrition, 160–166.https://doi.org/10.1038/ejcn.2010.254 
LibreCat: /record/27077
DOI: 10.1038/ejcn.2010.254

Libuda, L., Wudy, S. A., Schoenau, E., &; Remer, T. (2010). Comparison of the effects of dietary protein, androstenediol and forearm muscle area on radial bone variables in healthy prepubertal children. British Journal of Nutrition, 428–435.https://doi.org/10.1017/s0007114510003508 
LibreCat: /record/27078
DOI: 10.1017/s0007114510003508

Johner, S. A., Libuda, L., Shi, L., Retzlaff, A., Joslowski, G., &; Remer, T. (2010). Urinary fructose: a potential biomarker for dietary fructose intake in children. European Journal of Clinical Nutrition, 1365–1370.https://doi.org/10.1038/ejcn.2010.160 
LibreCat: /record/27079
DOI: 10.1038/ejcn.2010.160

Diethelm, K., Libuda, L., Bolzenius, K., Griefahn, B., Buyken, A., &; Remer, T. (2010). Longitudinal Associations between Endogenous Melatonin Production and Reported Sleep Duration from Childhood to Early Adulthood. Hormone Research in Paediatrics, 390–398.https://doi.org/10.1159/000303134 
LibreCat: /record/27131
DOI: 10.1159/000303134

Samara, S., &; Schomaker, G. (2010). Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip. 2010 10th IEEE International Conference on Computer and Information Technology.https://doi.org/10.1109/cit.2010.304 
LibreCat: /record/27159
DOI: 10.1109/cit.2010.304

Gries, T., &; Redlin, M. (2010). Short-run and Long-run Dynamics of Growth,Inequality and Poverty in the Developing World (Vol. 2010–05). Paderborn University, CIE Center for International Economics.
LibreCat: /record/2735

Remer, T., &; Libuda, L. (2010). Bone-anabolic impact of dietary high protein intake compared with effects of low potential renal acid load, endogenous steroid hormones, and muscularity in children. . In Nutritional Influences on Bone Health. . Springer.
LibreCat: /record/27590

Remer, T., Shi, L., Buyken, A., Maser-Gluth, C., Hartmann, M. F., &; Wudy, S. A. (2010). Prepubertal Adrenarchal Androgens and Animal Protein Intake Independently and Differentially Influence Pubertal Timing. The Journal of Clinical Endocrinology &; Metabolism, 3002–3009.https://doi.org/10.1210/jc.2009-2583 
LibreCat: /record/27723
DOI: 10.1210/jc.2009-2583

Shi, L., Remer, T., Buyken, A., Hartmann, M. F., Hoffmann, P., &; Wudy, S. A. (2010). Prepubertal urinary estrogen excretion and its relationship with pubertal timing. American Journal of Physiology-Endocrinology and Metabolism, 0–7.https://doi.org/10.1152/ajpendo.00374.2010 
LibreCat: /record/27725
DOI: 10.1152/ajpendo.00374.2010

Buyken, A., Bolzenius, K., Karaolis-Danckert, N., Günther, A. L. B., &; Kroke, A. (2010). Body composition trajectories into adolescence according to age at pubertal growth spurt. American Journal of Human Biology, 216–224.https://doi.org/10.1002/ajhb.21125 
LibreCat: /record/27726
DOI: 10.1002/ajhb.21125

Burkart, W., Etschberger, S., Klein, C., &; Kundisch, D. (2010). A Sequential Model for Global Spam-Classifying Processes. In Proceedings of the International Conference on Information Systems (ICIS). St. Louis, USA.
LibreCat: /record/2778