F. Hellmich, “Erklärungsfaktoren für Geschlechterunterschiede in der Lesekompetenz bei Grundschulkindern am Ende ihrer Grundschulzeit,” Zeitschrift für Grundschulforschung. Bildung im Elementar- und Primarbereich, vol. 2, pp. 46–58, 2008.
LibreCat: /record/26767

F. Hellmich, “Empirische Bildungsforschung und Grundschulpädagogik,” in Lehr-Lernforschung und Grundschulpädagogik , F. Hellmich, Ed. Bad Heilbrunn: Klinkhardt, 2008, pp. 46–75.
LibreCat: /record/26768

F. Hellmich and S. Jahnke-Klein , “Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule,” in Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft, A. Prengel and B. Rendtorff, Eds. Opladen: Barbara Budrich, 2008, pp. 111–120.
LibreCat: /record/26769

F. Hellmich, “Individuelle und schulische Bedingungen im Leseunterricht der Grundschule,” in Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin, B. Hofmann and R. Valtin, Eds. Berlin: Deutsche Gesellschaft für Lesen und Schreiben, 2008, pp. 172–182.
LibreCat: /record/26771

F. Hellmich, “‘Ich mach` das so, wie machst du das eigentlich?’ – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter,” Sache - Wort - Zahl, vol. 92, pp. 48–53, 2008.
LibreCat: /record/26772

F. Hellmich and S. Jansen, “Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich,” in Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften, F. Hellmich and H. Köster, Eds. Bad Heilbrunn: Klinkhardt, 2008, pp. 59–81.
LibreCat: /record/26774

F. Hellmich, “Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven,” in Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften , F. Hellmich and H. Köster, Eds. Bad Heilbrunn: Klinkhardt, 2008, pp. 83–102.
LibreCat: /record/26776

A. Buyken, N. Karaolis-Danckert, and T. Remer, “Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers,”10.3945/ajcn.2008.26733__The American Journal of Clinical Nutrition, pp. 221–230, 2008, doi:10.3945/ajcn.2008.26733 .
LibreCat: /record/26891
DOI: 10.3945/ajcn.2008.26733

L. Libuda, U. Alexy, A. Buyken, W. Sichert-Hellert, P. Stehle, and M. Kersting, “Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents,”10.1017/s0007114508094671__British Journal of Nutrition, Art. no. 1549, 2008, doi:10.1017/s0007114508094671 .
LibreCat: /record/26892
DOI: 10.1017/s0007114508094671

H. Wehrheim, “Refinement in the Presence of Unknowns,” Electr. Notes Theor. Comput. Sci., pp. 255--264, 2008.
LibreCat: /record/3203
DOI: 10.1016/j.entcs.2008.02.023

H. .-Christian Estler and H. Wehrheim, “Alloy as a Refactoring Checker?,” Electr. Notes Theor. Comput. Sci., pp. 331--357, 2008.
LibreCat: /record/3204
DOI: 10.1016/j.entcs.2008.06.015

M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Integrating a formal method into a software engineering process with UML and Java,” Formal Asp. Comput., no. 2, pp. 161--204, 2008.
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7

I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, “Slicing Abstractions,” Fundam. Inform., no. 4, pp. 369--392, 2008.
LibreCat: /record/3206

G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations,” in Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack,” in Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional Verification,” in Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

J. Becker, D. Beverungen, and R. Knackstedt, “Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research,” in Proceedings of the 41th Hawai’i International Conference on System Sciences, Waikoloa, Hawaii, 2008.
LibreCat: /record/3477

J. Becker, D. Beverungen, R. Knackstedt, and O. Müller, “Modeling, Customer-Specific Configuration and Calculation of Value Bundles,” in Americas Conference on Information Systems, Toronto, Canada, 2008.
LibreCat: /record/3478

D. Beverungen, U. Kaiser, R. Knackstedt, R. Krings, and A. Stein, “Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus,” in Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), München, 2008, pp. 735--747.
LibreCat: /record/3479