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.

1205 Publications


2010 | Conference Paper | LibreCat-ID: 3195
S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Approach to Control in Event-B,” in Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3196
K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems,” in 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, 2010, pp. 271--274.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3198
D. Steenken, H. Wehrheim, and D. Wonisch, “Towards {A} Shape Analysis for Graph Transformation Systems,” CoRR, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 3418
B. Hehenkamp and A. Wambach, “Survival at the center—the stability of minimum differentiation,” Journal of Economic Behavior & Organization, no. 3, pp. 853--858, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 3463
K. Backhaus 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
K. Backhaus, J. Becker, D. Beverungen, M. Frohs, O. Müller, and M. Weddeling, “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
J. Becker 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
J. Becker, D. Beverungen, N. Blinn, and M. Nüttgens, “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
J. Becker, D. Beverungen, M. Matzner, and O. Müller, “Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services,” in Proceedings of the IADIS Internatioal Conference e-Society 2010, Porto, Portugal, 2010, pp. 322--329.
LibreCat | Download (ext.)
 

2010 | Conference Paper | LibreCat-ID: 3468
J. Becker, D. Beverungen, M. Matzner, and O. Müller, “Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services,” in Exploring Service Sciences, 2010, pp. 282--288.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3469
D. Beverungen, “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
K. Backhaus et al., “Enabling Individualized Recommendations and Dynamic Pricing of Value-Added Services through Willingness-to-Pay Data,” Electronic Markets, no. 2, pp. 131--146, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3504
J. Becker, D. Beverungen, and R. Knackstedt, “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), no. 1, pp. 12--32, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 3505
J. Becker, D. Beverungen, R. Knackstedt, and A. Winkelmann, “Fostering the Virtualization of Service Processes and Touch Points --- Identification and Documentation of E-Service Potential in Retail Networks,” Lecture Notes in Informatics, no. INFORMATIK 2010--- Business Process and Service Science--- Proceedings of ISSS and BPSC, pp. 63--79, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 3622
M. Rupprecht, J. Strasser, H. Gruber, and C. Harteis, “Expertise of team leaders in analysing team conflicts,” Vocations and Learning, no. 1, pp. 39--54, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 3624
C. Harteis, H. Gruber, and H. Hertramph, “How Epistemic Beliefs Influence e-Learning in Daily Work-life.,” Journal of Educational Technology & Society, vol. 13, no. 3, pp. 201–211, 2010.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 3625
C. Harteis, “Contributions of e-collaborative knowledge construction to professional learning and expertise,” in Organizational Learning and Knowledge: Concepts, Methodologies, Tools and Applications, B. Ertl, Ed. Hershey: IGI Global, 2010, pp. 332--350.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 3649
C. Harteis, H. Gruber, and M. Rehrl, “Kompetenzerwerb im betrieblichen Arbeitsalltag,” in Bildungspsychologie, C. Spiel, R. Reimann, B. Schober, and P. Wagner, Eds. Göttingen: Hogrefe, 2010, pp. 183–187.
LibreCat
 

2010 | Book | LibreCat-ID: 3703
J. Müller, C. Sureth, and L. Christian, Mögliche Fallstricke einer Optimierung unternehmerischer Investitionsentscheidungen auf der Grundlage der Konzernsteuerquote. 2010.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 3711
H. Heid and C. Harteis, “Wirtschaft und Betrieb,” in Handbuch Bildungsforschung, 3rd ed., R. Tippelt and B. Schmidt, Eds. Wiesbaden: VS Verlag für Sozialwissenschaften, 2010, pp. 467–481.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 3810
H. Wachsmuth, P. Prettenhofer, and B. Stein, “Efficient Statement Identification for Automatic Market Forecasting,” in Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
LibreCat | Download (ext.)
 

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

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

2010 | Dissertation | LibreCat-ID: 28930
B. Eickelmann, Digitale Medien in Schule und Unterricht erfolgreich implementieren. Universität Dortmund, 2010.
LibreCat
 

2010 | Research Data | LibreCat-ID: 28932
B. Eickelmann, Das Globale-Schule-System – Evaluation einer Handlungsalternative im Distance Learning für das deutsche Auslandsschulwesen. Bundesverwaltungsamt, Zentralstelle für das Deutsche Auslandsschulwesen, 2010.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 2988
M. R. Ackermann and J. Blömer, “Bregman Clustering for Separable Instances,” in SWAT 2010, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 212–223.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 2990
M. R. Ackermann, J. Blömer, and C. Sohler, “Clustering for Metric and Nonmetric Distance Measures,” ACM Trans. Algorithms, no. 4, pp. 59:1--59:26, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 2991
A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, and J. Blömer, “On the initialization of dynamic models for speech features,” Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2993
J. Schrieb, “Efficient and Compact CCA Security from Partitioned IBKEM.” 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2994
W. Schäfer et al., “Engineering self-coordinating software intensive systems,” in Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3055
T. Gries and W. Naudé, “Entrepreneurship and Structural Economic Transformation,” Small Business Economics, vol. 34, no. 1, pp. 13–29, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3139
T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, “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, 2010, pp. 232--249.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3140
T. Jager and A. Rupp, “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, 2010, pp. 539--556.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3141
K. Haralambiev, T. Jager, E. Kiltz, and V. Shoup, “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, 2010, pp. 1--18.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3189
J. Derrick and H. Wehrheim, “Model transformations across views,” Sci. Comput. Program., no. 3, pp. 192--210, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3191
W. Schäfer and H. Wehrheim, “Model-Driven Development with Mechatronic {UML},” in Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, 2010, pp. 533--554.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3193
N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised Systems,” in Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3194
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques,” in Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 27009
A. Buyken et al., “Carbohydrate nutrition and inflammatory disease mortality in older adults,” The American Journal of Clinical Nutrition, pp. 634–643, 2010, doi: 10.3945/ajcn.2010.29390.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 27077
U. Alexy, L. Libuda, S. Mersmann, and M. Kersting, “Convenience foods in children’s diet and association with dietary quality and body weight status,” European Journal of Clinical Nutrition, pp. 160–166, 2010, doi: 10.1038/ejcn.2010.254.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 27078
L. Libuda, S. A. Wudy, E. Schoenau, and T. Remer, “Comparison of the effects of dietary protein, androstenediol and forearm muscle area on radial bone variables in healthy prepubertal children,” British Journal of Nutrition, pp. 428–435, 2010, doi: 10.1017/s0007114510003508.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 27079
S. A. Johner, L. Libuda, L. Shi, A. Retzlaff, G. Joslowski, and T. Remer, “Urinary fructose: a potential biomarker for dietary fructose intake in children,” European Journal of Clinical Nutrition, pp. 1365–1370, 2010, doi: 10.1038/ejcn.2010.160.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 27131
K. Diethelm, L. Libuda, K. Bolzenius, B. Griefahn, A. Buyken, and T. Remer, “Longitudinal Associations between Endogenous Melatonin Production and Reported Sleep Duration from Childhood to Early Adulthood,” Hormone Research in Paediatrics, pp. 390–398, 2010, doi: 10.1159/000303134.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 27159
S. Samara and G. Schomaker, “Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip,” 2010, doi: 10.1109/cit.2010.304.
LibreCat | DOI
 

2010 | Working Paper | LibreCat-ID: 2735
T. Gries and M. Redlin, 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, 2010.
LibreCat | Download (ext.)
 

2010 | Book Chapter | LibreCat-ID: 27590
T. Remer and L. Libuda, “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, 2010.
LibreCat
 

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

2010 | Journal Article | LibreCat-ID: 27725
L. Shi, T. Remer, A. Buyken, M. F. Hartmann, P. Hoffmann, and S. A. Wudy, “Prepubertal urinary estrogen excretion and its relationship with pubertal timing,” American Journal of Physiology-Endocrinology and Metabolism, pp. E990–E997, 2010, doi: 10.1152/ajpendo.00374.2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 27726
A. Buyken, K. Bolzenius, N. Karaolis-Danckert, A. L. B. Günther, and A. Kroke, “Body composition trajectories into adolescence according to age at pubertal growth spurt,” American Journal of Human Biology, pp. 216–224, 2010, doi: 10.1002/ajhb.21125.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 2778
W. Burkart, S. Etschberger, C. Klein, and D. Kundisch, “A Sequential Model for Global Spam-Classifying Processes,” in Proceedings of the International Conference on Information Systems (ICIS), St. Louis, USA, 2010.
LibreCat
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed