@inbook{26768, author = {{Hellmich, Frank}}, booktitle = {{Lehr-Lernforschung und Grundschulpädagogik }}, editor = {{Hellmich, Frank}}, pages = {{46--75}}, publisher = {{Klinkhardt}}, title = {{{Empirische Bildungsforschung und Grundschulpädagogik}}}, year = {{2008}}, } @inbook{26769, author = {{Hellmich, Frank and Jahnke-Klein , Sylvia}}, booktitle = {{Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft}}, editor = {{Prengel, Annedore and Rendtorff, Barbara}}, pages = {{111--120}}, publisher = {{Barbara Budrich}}, title = {{{Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule}}}, year = {{2008}}, } @inbook{26771, author = {{Hellmich, Frank}}, booktitle = {{Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin}}, editor = {{Hofmann, Bernhard and Valtin, Renate}}, pages = {{172--182}}, publisher = {{Deutsche Gesellschaft für Lesen und Schreiben}}, title = {{{Individuelle und schulische Bedingungen im Leseunterricht der Grundschule}}}, year = {{2008}}, } @article{26772, author = {{Hellmich, Frank}}, journal = {{Sache - Wort - Zahl}}, pages = {{48--53}}, title = {{{"Ich mach` das so, wie machst du das eigentlich?" – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter}}}, volume = {{92}}, year = {{2008}}, } @inbook{26774, author = {{Hellmich, Frank and Jansen, Sven}}, booktitle = {{Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften}}, editor = {{Hellmich, Frank and Köster, Hilde}}, pages = {{59--81}}, publisher = {{Klinkhardt}}, title = {{{Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich}}}, year = {{2008}}, } @inbook{26776, author = {{Hellmich, Frank}}, booktitle = {{Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften }}, editor = {{Hellmich, Frank and Köster, Hilde}}, pages = {{83--102}}, publisher = {{Klinkhardt}}, title = {{{Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven}}}, year = {{2008}}, } @article{26891, author = {{Buyken, Anette and Karaolis-Danckert, Nadina and Remer, Thomas}}, issn = {{0002-9165}}, journal = {{The American Journal of Clinical Nutrition}}, pages = {{221--230}}, title = {{{Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers}}}, doi = {{10.3945/ajcn.2008.26733}}, year = {{2008}}, } @article{26892, author = {{Libuda, Lars and Alexy, Ute and Buyken, Anette and Sichert-Hellert, Wolfgang and Stehle, Peter and Kersting, Mathilde}}, issn = {{0007-1145}}, journal = {{British Journal of Nutrition}}, title = {{{Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents}}}, doi = {{10.1017/s0007114508094671}}, year = {{2008}}, } @article{3203, author = {{Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, pages = {{255----264}}, title = {{{Refinement in the Presence of Unknowns}}}, doi = {{10.1016/j.entcs.2008.02.023}}, year = {{2008}}, } @article{3204, author = {{Estler, H.{-}Christian and Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, pages = {{331----357}}, title = {{{Alloy as a Refactoring Checker?}}}, doi = {{10.1016/j.entcs.2008.06.015}}, year = {{2008}}, } @article{3205, author = {{Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}}, journal = {{Formal Asp. Comput.}}, number = {{2}}, pages = {{161----204}}, title = {{{Integrating a formal method into a software engineering process with {UML} and Java}}}, doi = {{10.1007/s00165-007-0042-7}}, year = {{2008}}, } @article{3206, author = {{Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}}, journal = {{Fundam. Inform.}}, number = {{4}}, pages = {{369----392}}, title = {{{Slicing Abstractions}}}, year = {{2008}}, } @inproceedings{3207, author = {{Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}}, booktitle = {{Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}}, editor = {{Schieferdecker, Ina and Hartman, Alan}}, pages = {{94----109}}, title = {{{From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}}}, doi = {{10.1007/978-3-540-69100-6_7}}, year = {{2008}}, } @inproceedings{3208, author = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}}, booktitle = {{Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}}, editor = {{Barthe, Gilles and S. de Boer, Frank}}, pages = {{78----95}}, title = {{{Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}}}, doi = {{10.1007/978-3-540-68863-1_6}}, year = {{2008}}, } @inproceedings{3209, author = {{Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}}, booktitle = {{Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}}, editor = {{Liu, Shaoying and S. E. Maibaum, T. and Araki, Keijiro}}, pages = {{105----125}}, title = {{{Decomposition for Compositional Verification}}}, doi = {{10.1007/978-3-540-88194-0_9}}, year = {{2008}}, } @inproceedings{3210, author = {{Wehrheim, Heike}}, booktitle = {{Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}}, editor = {{S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}}}, pages = {{380----394}}, title = {{{Bounded Model Checking for Partial Kripke Structures}}}, doi = {{10.1007/978-3-540-85762-4_26}}, year = {{2008}}, } @inproceedings{3477, author = {{Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf}}, booktitle = {{Proceedings of the 41th Hawai'i International Conference on System Sciences}}, location = {{Waikoloa, Hawaii}}, title = {{{Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research}}}, year = {{2008}}, } @inproceedings{3478, author = {{Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf and Müller, Oliver}}, booktitle = {{Americas Conference on Information Systems}}, location = {{Toronto, Canada}}, title = {{{Modeling, Customer-Specific Configuration and Calculation of Value Bundles}}}, year = {{2008}}, } @inproceedings{3479, author = {{Beverungen, Daniel and Kaiser, Uwe and Knackstedt, Ralf and Krings, Robin and Stein, Armin}}, booktitle = {{Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)}}, location = {{München}}, pages = {{735----747}}, title = {{{Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus}}}, year = {{2008}}, } @inproceedings{3480, author = {{Winkelmann, Axel and Beverungen, Daniel and Janiesch, Christian and Becker, Jörg}}, booktitle = {{Proceedings of the 16th European Conference on Information Systems}}, location = {{Galway, Ireland}}, title = {{{Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail}}}, year = {{2008}}, }