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
Hellmich F. Aspekte des Lehrens und Lernens in der Grundschule. In: Hinz R, Pütz T, eds. Professionelles Handeln in der Grundschule – Entwicklungslinien und Forschungsbefunde. Schneider Hohengehren; 2006:228-233.
LibreCat
2006 | Book Chapter | LibreCat-ID: 26800
Hellmich F, Wernke S. Selbstregulationen von Kindern. In: Hinz R, ed. Auf den Anfang kommt es an: Kompetenzen entwickeln – Kompetenzen stärken. Jahrbuch Grundschulforschung . Westdeutscher Verlag; 2006:31-42.
LibreCat
2006 | Journal Article | LibreCat-ID: 3223
Brückner I, Metzler B, Wehrheim H. Optimizing Slicing of Formal Specifications by Deductive Verification. Nord J Comput. 2006;(1-2):22--45.
LibreCat
2006 | Conference Paper | LibreCat-ID: 3224
Derrick J, Wehrheim H. Model Transformations Incorporating Multiple Views. In: Johnson M, Vene V, eds. Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Lecture Notes in Computer Science. ; 2006:111--126. doi:10.1007/11784180_11
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 3225
Wehrheim H. Incremental Slicing. In: Liu Z, He J, eds. Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science. ; 2006:514--528. doi:10.1007/11901433_28
LibreCat
| DOI
2006 | Conference (Editor) | LibreCat-ID: 3226
Gorrieri R, Wehrheim H, 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. doi:10.1007/11768869
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 3327
Stein B, Niggemann O, Lettmann T. Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT. In: AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications. ; 2006:273--278.
LibreCat
2006 | Journal Article | LibreCat-ID: 3608
Gruber H, Harteis C, Rehrl M. Professional Learning: Erfahrung als Grundlage von Handlungskompetenz. Bildung und Erziehung. 2006;(2):193--204.
LibreCat
2006 | Journal Article | LibreCat-ID: 3609
Rehrl M, Harteis C, Gruber H. Potentialanalysen in der Personalentwicklung--ein kritischer Diskurs. German Journal of Human Resource Management. 2006;(2):185--191.
LibreCat
2006 | Journal Article | LibreCat-ID: 3613
Harteis C, Bauer J, Heid H. Der Umgang mit Fehlern als Merkmal betrieblicher Fehlerkultur und Voraussetzung fur Professional Learning. SCHWEIZERISCHE ZEITSCHRIFT FUR BILDUNGSWISSENSCHAFTEN. 2006;(1):111-129.
LibreCat
2006 | Book Chapter | LibreCat-ID: 3615
Harteis C, Gruber H, Lehner F. Epistemological beliefs and their impact on work, subjectivity and learning. In: Billett S, Somerville M, Fenwick T, eds. Work, Subjectivity and Learning. Dordrecht: Springer; 2006:123--140.
LibreCat
2006 | Book Review | LibreCat-ID: 3627
Harteis C. Oser, F. & Spychiger, M.(2005). Lernen ist schmerzhaft. Zur Theorie des Negativen Wissens und zur Praxis der Fehlerkultur. SCHWEIZERISCHE ZEITSCHRIFT FUR BILDUNGSWISSENSCHAFTEN. 2006;28(3):517-524.
LibreCat
2006 | Conference Paper | LibreCat-ID: 3705
Mueller J. How to close the value gap between market and tax values. In: Bayar A, ed. EcoMod 2006. ; 2006.
LibreCat
2006 | Journal Article | LibreCat-ID: 3003
Blömer J. Randomness and Secrecy - A Brief Introduction. Journal of Universal Computer Science (JUCS). 2006;(6):654--671. doi:10.3217/jucs-012-06-0654
LibreCat
| DOI
2006 | Book Chapter | LibreCat-ID: 3004
Blömer J, Krummel V. Fault Based Collision Attacks on AES. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2006:106-120. doi:10.1007/11889700_11
LibreCat
| DOI
2006 | Book Chapter | LibreCat-ID: 3005
Blömer J, Otto M. Wagner’s Attack on a Secure CRT-RSA Algorithm Reconsidered. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2006:13-23. doi:10.1007/11889700_2
LibreCat
| DOI
2006 | Book Chapter | LibreCat-ID: 3007
Blömer J, Otto M, Seifert J-P. Sign Change Fault Attacks on Elliptic Curve Cryptosystems. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2006:36-52. doi:10.1007/11889700_4
LibreCat
| Files available
| DOI
2006 | Conference Paper | LibreCat-ID: 26988
Brinkmann A, Effert S, Heidebuer M, Vodisek M. Influence of adaptive data layouts on performance in dynamically changing storage environments. In: 14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP’06). ; 2006. doi:10.1109/pdp.2006.44
LibreCat
| DOI
2006 | Journal Article | LibreCat-ID: 27712
Günther ALB, Buyken A, Kroke A. The influence of habitual protein intake in early childhood on BMI and age at adiposity rebound: results from the DONALD Study. International Journal of Obesity. Published online 2006:1072-1079. doi:10.1038/sj.ijo.0803288
LibreCat
| DOI
2006 | Journal Article | LibreCat-ID: 27892
Schlegel-Matthies K. REVIS – Reform der Ernährungs- und Verbraucherbildung in Schulen . Haushalt & Bildung. 2006;83(1).
LibreCat