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.
783 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.
2006 | Book Chapter | LibreCat-ID: 3615
Epistemological beliefs and their impact on work, subjectivity and learning
C. Harteis, H. Gruber, F. Lehner, in: S. Billett, M. Somerville, T. Fenwick (Eds.), Work, Subjectivity and Learning, Springer, Dordrecht, 2006, pp. 123--140.
LibreCat
C. Harteis, H. Gruber, F. Lehner, in: S. Billett, M. Somerville, T. Fenwick (Eds.), Work, Subjectivity and Learning, Springer, Dordrecht, 2006, pp. 123--140.
2006 | Book Review | LibreCat-ID: 3627
Oser, F. & Spychiger, M.(2005). Lernen ist schmerzhaft. Zur Theorie des Negativen Wissens und zur Praxis der Fehlerkultur
C. Harteis, SCHWEIZERISCHE ZEITSCHRIFT FUR BILDUNGSWISSENSCHAFTEN 28 (2006) 517–524.
LibreCat
C. Harteis, SCHWEIZERISCHE ZEITSCHRIFT FUR BILDUNGSWISSENSCHAFTEN 28 (2006) 517–524.
2006 | Conference Paper | LibreCat-ID: 3705
How to close the value gap between market and tax values
J. Mueller, in: A. Bayar (Ed.), EcoMod 2006, 2006.
LibreCat
J. Mueller, in: A. Bayar (Ed.), EcoMod 2006, 2006.
2006 | Journal Article | LibreCat-ID: 3003
Randomness and Secrecy - A Brief Introduction
J. Blömer, Journal of Universal Computer Science (J.UCS) (2006) 654--671.
LibreCat
| DOI
J. Blömer, Journal of Universal Computer Science (J.UCS) (2006) 654--671.
2006 | Book Chapter | LibreCat-ID: 3004
Fault Based Collision Attacks on AES
J. Blömer, V. Krummel, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 106–120.
LibreCat
| DOI
J. Blömer, V. Krummel, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 106–120.
2006 | Book Chapter | LibreCat-ID: 3005
Wagner’s Attack on a Secure CRT-RSA Algorithm Reconsidered
J. Blömer, M. Otto, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 13–23.
LibreCat
| DOI
J. Blömer, M. Otto, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 13–23.
2006 | Book Chapter | LibreCat-ID: 3007
Sign Change Fault Attacks on Elliptic Curve Cryptosystems
J. Blömer, M. Otto, J.-P. Seifert, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 36–52.
LibreCat
| Files available
| DOI
J. Blömer, M. Otto, J.-P. Seifert, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 36–52.
2006 | Conference Paper | LibreCat-ID: 26988
Influence of adaptive data layouts on performance in dynamically changing storage environments
A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, in: 14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP’06), 2006.
LibreCat
| DOI
A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, in: 14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP’06), 2006.
2006 | Journal Article | LibreCat-ID: 27712
The influence of habitual protein intake in early childhood on BMI and age at adiposity rebound: results from the DONALD Study
A.L.B. Günther, A. Buyken, A. Kroke, International Journal of Obesity (2006) 1072–1079.
LibreCat
| DOI
A.L.B. Günther, A. Buyken, A. Kroke, International Journal of Obesity (2006) 1072–1079.
2006 | Journal Article | LibreCat-ID: 27892
REVIS – Reform der Ernährungs- und Verbraucherbildung in Schulen
K. Schlegel-Matthies, Haushalt & Bildung 83 (2006).
LibreCat
K. Schlegel-Matthies, Haushalt & Bildung 83 (2006).