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.

664 Publications


2008 | Book (Editor) | LibreCat-ID: 26730
@book{Hellmich_Köster_2008, place={Bad Heilbrunn}, title={Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften}, publisher={Klinkhardt}, year={2008} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26765
@inbook{Hellmich_2008, place={Wiesbaden}, series={Jahrbuch Grundschulforschung }, title={Bedingungen für erfolgreiche Leselernprozesse bei leistungsschwächeren Kindern}, volume={12}, booktitle={Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise}, publisher={VS Verlag für Sozialwissenschaften}, author={Hellmich, Frank}, editor={Ramseger, Jörg and Wagener, Matthea}, year={2008}, pages={195–198}, collection={Jahrbuch Grundschulforschung } }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26766
@inbook{Hellmich_Sämisch_2008, place={Wiesbaden}, series={Jahrbuch Grundschulforschung }, title={Chancengleichheit im mathematischen Anfangsunterricht durch eine frühzeitige Diagnose mathematischer Vorläuferfähigkeiten}, volume={12}, booktitle={Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise}, publisher={VS Verlag für Sozialwissenschaften}, author={Hellmich, Frank and Sämisch, Markus }, editor={Ramseger, Jörg and Wagener, Matthea}, year={2008}, pages={223–226}, collection={Jahrbuch Grundschulforschung } }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26767
@article{Hellmich_2008, title={Erklärungsfaktoren für Geschlechterunterschiede in der Lesekompetenz bei Grundschulkindern am Ende ihrer Grundschulzeit}, volume={2}, journal={Zeitschrift für Grundschulforschung. Bildung im Elementar- und Primarbereich}, author={Hellmich, Frank}, year={2008}, pages={46–58} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26768
@inbook{Hellmich_2008, place={Bad Heilbrunn}, title={Empirische Bildungsforschung und Grundschulpädagogik}, booktitle={Lehr-Lernforschung und Grundschulpädagogik }, publisher={Klinkhardt}, author={Hellmich, Frank}, editor={Hellmich, Frank}, year={2008}, pages={46–75} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26769
@inbook{Hellmich_Jahnke-Klein _2008, place={Opladen}, title={Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule}, booktitle={Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft}, publisher={Barbara Budrich}, author={Hellmich, Frank and Jahnke-Klein , Sylvia}, editor={Prengel, Annedore and Rendtorff, Barbara}, year={2008}, pages={111–120} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26771
@inbook{Hellmich_2008, place={Berlin}, title={Individuelle und schulische Bedingungen im Leseunterricht der Grundschule}, booktitle={Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin}, publisher={Deutsche Gesellschaft für Lesen und Schreiben}, author={Hellmich, Frank}, editor={Hofmann, Bernhard and Valtin, Renate}, year={2008}, pages={172–182} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26772
@article{Hellmich_2008, title={“Ich mach` das so, wie machst du das eigentlich?” – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter}, volume={92}, journal={Sache - Wort - Zahl}, author={Hellmich, Frank}, year={2008}, pages={48–53} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26774
@inbook{Hellmich_Jansen_2008, place={Bad Heilbrunn}, title={Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich}, booktitle={Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften}, publisher={Klinkhardt}, author={Hellmich, Frank and Jansen, Sven}, editor={Hellmich, Frank and Köster, Hilde}, year={2008}, pages={59–81} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26776
@inbook{Hellmich_2008, place={Bad Heilbrunn}, title={Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven}, booktitle={Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften }, publisher={Klinkhardt}, author={Hellmich, Frank}, editor={Hellmich, Frank and Köster, Hilde}, year={2008}, pages={83–102} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26891
@article{Buyken_Karaolis-Danckert_Remer_2008, 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}, journal={The American Journal of Clinical Nutrition}, author={Buyken, Anette and Karaolis-Danckert, Nadina and Remer, Thomas}, year={2008}, pages={221–230} }
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 26892
@article{Libuda_Alexy_Buyken_Sichert-Hellert_Stehle_Kersting_2008, title={Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents}, DOI={10.1017/s0007114508094671}, number={1549}, journal={British Journal of Nutrition}, author={Libuda, Lars and Alexy, Ute and Buyken, Anette and Sichert-Hellert, Wolfgang and Stehle, Peter and Kersting, Mathilde}, year={2008} }
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
@article{Wehrheim_2008, title={Refinement in the Presence of Unknowns}, DOI={10.1016/j.entcs.2008.02.023}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2008}, pages={255--264} }
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3204
@article{Estler_Wehrheim_2008, title={Alloy as a Refactoring Checker?}, DOI={10.1016/j.entcs.2008.06.015}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Wehrheim, Heike}, year={2008}, pages={331--357} }
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3205
@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal method into a software engineering process with {UML} and Java}, DOI={10.1007/s00165-007-0042-7}, number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204} }
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3206
@article{Brückner_Dräger_Finkbeiner_Wehrheim_2008, title={Slicing Abstractions}, number={4}, journal={Fundam. Inform.}, author={Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}, year={2008}, pages={369--392} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}, DOI={10.1007/978-3-540-68863-1_6}, 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}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in Computer Science}, title={Decomposition for Compositional Verification}, DOI={10.1007/978-3-540-88194-0_9}, booktitle={Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}, editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008}, pages={105--125}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

Filters and Search Terms

year=2008

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed