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.

1007 Publications


2008 | Journal Article | LibreCat-ID: 26767
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
 

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

2008 | Book Chapter | LibreCat-ID: 26769
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
 

2008 | Book Chapter | LibreCat-ID: 26771
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
 

2008 | Journal Article | LibreCat-ID: 26772
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
 

2008 | Book Chapter | LibreCat-ID: 26774
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
 

2008 | Book Chapter | LibreCat-ID: 26776
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
 

2008 | Journal Article | LibreCat-ID: 26891
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,” The American Journal of Clinical Nutrition, pp. 221–230, 2008, doi: 10.3945/ajcn.2008.26733.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 26892
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,” British Journal of Nutrition, Art. no. 1549, 2008, doi: 10.1017/s0007114508094671.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
H. Wehrheim, “Refinement in the Presence of Unknowns,” Electr. Notes Theor. Comput. Sci., pp. 255--264, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3204
H. .-}Christian Estler and H. Wehrheim, “Alloy as a Refactoring Checker?,” Electr. Notes Theor. Comput. Sci., pp. 331--357, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3205
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 | DOI
 

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

2008 | Conference Paper | LibreCat-ID: 3207
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 | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
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 | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
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 | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
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 | DOI
 

2008 | Conference Paper | LibreCat-ID: 3477
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
 

2008 | Conference Paper | LibreCat-ID: 3478
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 | Download (ext.)
 

2008 | Conference Paper | LibreCat-ID: 3479
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
 

Filters and Search Terms

year=2008

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed