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

Hellmich F. Empirische Bildungsforschung und Grundschulpädagogik. In: Hellmich F, ed. Lehr-Lernforschung und Grundschulpädagogik . Klinkhardt; 2008:46-75.
LibreCat: /record/26768

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

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

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

Hellmich F, Jansen S. Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich. In: Hellmich F, Köster H, eds. Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften. Klinkhardt; 2008:59-81.
LibreCat: /record/26774

Hellmich F. Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven. In: Hellmich F, Köster H, eds. Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften . Klinkhardt; 2008:83-102.
LibreCat: /record/26776

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

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

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

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

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

Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. Fundam Inform. 2008;(4):369--392.
LibreCat: /record/3206

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

Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:105--125. doi:10.1007/978-3-540-88194-0_9
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig\'22un H, eds. Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

Becker J, Beverungen D, Knackstedt R. 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

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

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