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, S., Treharne, H., & Wehrheim, H. (2010). A {CSP} Approach to Control in Event-B. In D. M{\’{e}}ry & 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
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
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
| DOI
2010 | Journal Article | LibreCat-ID: 3198
Steenken, D., Wehrheim, H., & Wonisch, D. (2010). Towards {A} Shape Analysis for Graph Transformation Systems. CoRR.
LibreCat
2010 | Journal Article | LibreCat-ID: 3418
Hehenkamp, B., & Wambach, A. (2010). Survival at the center—the stability of minimum differentiation. Journal of Economic Behavior & Organization, (3), 853--858.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3463
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
2010 | Conference Paper | LibreCat-ID: 3464
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
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3465
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
2010 | Conference Paper | LibreCat-ID: 3466
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
2010 | Conference Paper | LibreCat-ID: 3467
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
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3468
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
| DOI
2010 | Conference Paper | LibreCat-ID: 3469
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
2010 | Journal Article | LibreCat-ID: 3503
Backhaus, K., Becker, J., Beverungen, D., Frohs, M., Müller, O., Weddeling, M., … 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
| DOI
2010 | Journal Article | LibreCat-ID: 3504
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
2010 | Journal Article | LibreCat-ID: 3505
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
2010 | Journal Article | LibreCat-ID: 3622
Rupprecht, M., Strasser, J., Gruber, H., & Harteis, C. (2010). Expertise of team leaders in analysing team conflicts. Vocations and Learning, (1), 39--54.
LibreCat
2010 | Journal Article | LibreCat-ID: 3624
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
2010 | Book Chapter | LibreCat-ID: 3625
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
2010 | Book Chapter | LibreCat-ID: 3649
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
2010 | Book | LibreCat-ID: 3703
Müller, J., Sureth, C., & Christian, L. (2010). Mögliche Fallstricke einer Optimierung unternehmerischer Investitionsentscheidungen auf der Grundlage der Konzernsteuerquote.
LibreCat
2010 | Book Chapter | LibreCat-ID: 3711
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
2010 | Conference Paper | LibreCat-ID: 3810
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
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 28928
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
2010 | Conference Paper | LibreCat-ID: 28929
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
2010 | Dissertation | LibreCat-ID: 28930
Eickelmann, B. (2010). Digitale Medien in Schule und Unterricht erfolgreich implementieren.
LibreCat
2010 | Research Data | LibreCat-ID: 28932
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
2010 | Book Chapter | LibreCat-ID: 2988
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
| DOI
2010 | Journal Article | LibreCat-ID: 2990
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
| DOI
2010 | Journal Article | LibreCat-ID: 2991
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
2010 | Conference Paper | LibreCat-ID: 2993
Schrieb, J. (2010). Efficient and Compact CCA Security from Partitioned IBKEM.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2994
Schäfer, W., Trächtler, A., Birattari, M., Blömer, J., Dorigo, M., Engels, G., … 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
| DOI
2010 | Journal Article | LibreCat-ID: 3055
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
| DOI
2010 | Conference Paper | LibreCat-ID: 3139
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
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
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
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
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
| DOI
2010 | Journal Article | LibreCat-ID: 3189
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
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, W., & Wehrheim, H. (2010). Model-Driven Development with Mechatronic {UML}. In G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, & 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
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
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
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
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{\’{e}}ry & 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
| DOI
2010 | Journal Article | LibreCat-ID: 27009
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
| DOI
2010 | Journal Article | LibreCat-ID: 27077
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
| DOI
2010 | Journal Article | LibreCat-ID: 27078
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
| DOI
2010 | Journal Article | LibreCat-ID: 27079
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
| DOI
2010 | Journal Article | LibreCat-ID: 27131
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
| DOI
2010 | Conference Paper | LibreCat-ID: 27159
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
| DOI
2010 | Working Paper | LibreCat-ID: 2735
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
| Download (ext.)
2010 | Book Chapter | LibreCat-ID: 27590
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
2010 | Journal Article | LibreCat-ID: 27723
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
| DOI
2010 | Journal Article | LibreCat-ID: 27725
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, E990–E997. https://doi.org/10.1152/ajpendo.00374.2010
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 27726
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
| DOI
2010 | Conference Paper | LibreCat-ID: 2778
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