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.
772 Publications
2006 | Book Chapter | LibreCat-ID: 26799
Aspekte des Lehrens und Lernens in der Grundschule
F. Hellmich, in: R. Hinz, T. Pütz (Eds.), Professionelles Handeln in der Grundschule – Entwicklungslinien und Forschungsbefunde, Schneider Hohengehren, Baltmannsweiler, 2006, pp. 228–233.
LibreCat
F. Hellmich, in: R. Hinz, T. Pütz (Eds.), Professionelles Handeln in der Grundschule – Entwicklungslinien und Forschungsbefunde, Schneider Hohengehren, Baltmannsweiler, 2006, pp. 228–233.
2006 | Book Chapter | LibreCat-ID: 26800
Selbstregulationen von Kindern.
F. Hellmich, S. Wernke, in: R. Hinz (Ed.), Auf den Anfang kommt es an: Kompetenzen entwickeln – Kompetenzen stärken, Westdeutscher Verlag, Wiesbaden, 2006, pp. 31–42.
LibreCat
F. Hellmich, S. Wernke, in: R. Hinz (Ed.), Auf den Anfang kommt es an: Kompetenzen entwickeln – Kompetenzen stärken, Westdeutscher Verlag, Wiesbaden, 2006, pp. 31–42.
2006 | Journal Article | LibreCat-ID: 3223
Optimizing Slicing of Formal Specifications by Deductive Verification
I. Brückner, B. Metzler, H. Wehrheim, Nord. J. Comput. (2006) 22--45.
LibreCat
I. Brückner, B. Metzler, H. Wehrheim, Nord. J. Comput. (2006) 22--45.
2006 | Conference Paper | LibreCat-ID: 3224
Model Transformations Incorporating Multiple Views
J. Derrick, H. Wehrheim, in: M. Johnson, V. Vene (Eds.), Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111--126.
LibreCat
| DOI
J. Derrick, H. Wehrheim, in: M. Johnson, V. Vene (Eds.), Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111--126.
2006 | Conference Paper | LibreCat-ID: 3225
Incremental Slicing
H. Wehrheim, in: Z. Liu, J. He (Eds.), Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.
LibreCat
| DOI
H. Wehrheim, in: Z. Liu, J. He (Eds.), Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.
2006 | Conference (Editor) | LibreCat-ID: 3226
Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings
R. Gorrieri, H. Wehrheim, eds., Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings, 2006.
LibreCat
| DOI
R. Gorrieri, H. Wehrheim, eds., Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings, 2006.
2006 | Conference Paper | LibreCat-ID: 3327
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
B. Stein, O. Niggemann, T. Lettmann, in: AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications, 2006, pp. 273--278.
LibreCat
B. Stein, O. Niggemann, T. Lettmann, in: AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications, 2006, pp. 273--278.
2006 | Journal Article | LibreCat-ID: 3608
Professional Learning: Erfahrung als Grundlage von Handlungskompetenz
H. Gruber, C. Harteis, M. Rehrl, Bildung Und Erziehung (2006) 193--204.
LibreCat
H. Gruber, C. Harteis, M. Rehrl, Bildung Und Erziehung (2006) 193--204.
2006 | Journal Article | LibreCat-ID: 3609
Potentialanalysen in der Personalentwicklung--ein kritischer Diskurs
M. Rehrl, C. Harteis, H. Gruber, German Journal of Human Resource Management (2006) 185--191.
LibreCat
M. Rehrl, C. Harteis, H. Gruber, German Journal of Human Resource Management (2006) 185--191.
2006 | Journal Article | LibreCat-ID: 3613
Der Umgang mit Fehlern als Merkmal betrieblicher Fehlerkultur und Voraussetzung fur Professional Learning
C. Harteis, J. Bauer, H. Heid, SCHWEIZERISCHE ZEITSCHRIFT FUR BILDUNGSWISSENSCHAFTEN (2006) 111–129.
LibreCat
C. Harteis, J. Bauer, H. Heid, SCHWEIZERISCHE ZEITSCHRIFT FUR BILDUNGSWISSENSCHAFTEN (2006) 111–129.