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.
767 Publications
2006 | Journal Article | LibreCat-ID: 26798
@article{Hellmich_2006, title={Gewusst wie! – Lernstrategien von Kindern. Moderation des Themenschwerpunktes `Lernstrategien von Kindern´}, volume={7/8}, journal={Grundschule}, author={Hellmich, Frank}, year={2006}, pages={46–47} }
LibreCat
2006 | Book Chapter | LibreCat-ID: 26799
@inbook{Hellmich_2006, place={Baltmannsweiler}, title={Aspekte des Lehrens und Lernens in der Grundschule}, booktitle={Professionelles Handeln in der Grundschule – Entwicklungslinien und Forschungsbefunde}, publisher={Schneider Hohengehren}, author={Hellmich, Frank}, editor={Hinz, Renate and Pütz, Tanja}, year={2006}, pages={228–233} }
LibreCat
2006 | Book Chapter | LibreCat-ID: 26800
@inbook{Hellmich_Wernke_2006, place={Wiesbaden}, series={Jahrbuch Grundschulforschung }, title={Selbstregulationen von Kindern.}, booktitle={Auf den Anfang kommt es an: Kompetenzen entwickeln – Kompetenzen stärken}, publisher={Westdeutscher Verlag}, author={Hellmich, Frank and Wernke, Stephan}, editor={Hinz, Renate}, year={2006}, pages={31–42}, collection={Jahrbuch Grundschulforschung } }
LibreCat
2006 | Journal Article | LibreCat-ID: 3223
@article{Brückner_Metzler_Wehrheim_2006, title={Optimizing Slicing of Formal Specifications by Deductive Verification}, number={1–2}, journal={Nord. J. Comput.}, author={Brückner, Ingo and Metzler, Björn and Wehrheim, Heike}, year={2006}, pages={22--45} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 3224
@inproceedings{Derrick_Wehrheim_2006, series={Lecture Notes in Computer Science}, title={Model Transformations Incorporating Multiple Views}, DOI={10.1007/11784180_11}, booktitle={Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Johnson, Michael and Vene, VarmoEditors}, year={2006}, pages={111--126}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 3225
@inproceedings{Wehrheim_2006, series={Lecture Notes in Computer Science}, title={Incremental Slicing}, DOI={10.1007/11901433_28}, booktitle={Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings}, author={Wehrheim, Heike}, editor={Liu, Zhiming and He, JifengEditors}, year={2006}, pages={514--528}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2006 | Conference (Editor) | LibreCat-ID: 3226
@book{Gorrieri_Wehrheim_2006, series={Lecture Notes in Computer Science}, title={Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings}, DOI={10.1007/11768869}, year={2006}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 3327
@inproceedings{Stein_Niggemann_Lettmann_2006, title={Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT}, booktitle={AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications}, author={Stein, Benno and Niggemann, Oliver and Lettmann, Theodor}, year={2006}, pages={273--278} }
LibreCat
2006 | Journal Article | LibreCat-ID: 3608
@article{Gruber_Harteis_Rehrl_2006, title={Professional Learning: Erfahrung als Grundlage von Handlungskompetenz}, number={2}, journal={Bildung und Erziehung}, author={Gruber, Hans and Harteis, Christian and Rehrl, Monika}, year={2006}, pages={193--204} }
LibreCat
2006 | Journal Article | LibreCat-ID: 3609
@article{Rehrl_Harteis_Gruber_2006, title={Potentialanalysen in der Personalentwicklung--ein kritischer Diskurs}, number={2}, journal={German Journal of Human Resource Management}, author={Rehrl, Monika and Harteis, Christian and Gruber, Hans}, year={2006}, pages={185--191} }
LibreCat