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.
9833 Publications
2008 | Book Chapter | LibreCat-ID: 26769
Hellmich F, Jahnke-Klein S. Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule. In: Prengel A, Rendtorff B, eds. Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft. Barbara Budrich; 2008:111-120.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26771
Hellmich F. Individuelle und schulische Bedingungen im Leseunterricht der Grundschule. In: Hofmann B, Valtin R, eds. Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin. Deutsche Gesellschaft für Lesen und Schreiben; 2008:172-182.
LibreCat
2008 | Journal Article | LibreCat-ID: 26772
Hellmich F. “Ich mach` das so, wie machst du das eigentlich?” – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter. Sache - Wort - Zahl. 2008;92:48-53.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26774
Hellmich F, Jansen S. Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich. In: Hellmich F, Köster H, eds. Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften. Klinkhardt; 2008:59-81.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26776
Hellmich F. Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven. In: Hellmich F, Köster H, eds. Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften . Klinkhardt; 2008:83-102.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109. doi:10.1007/978-3-540-69100-6_7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:105--125. doi:10.1007/978-3-540-88194-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3597
Harteis C, Gruber H. Intuition and professional competence: Intuitive versus rational forecasting of the stock market. Vocations and Learning. 2008;(1):71--85.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 3598
Billett S, Harteis C, Eteläpelto A, eds. Emerging Perspectives of Workplace Learning. Rotterdam: Sense; 2008.
LibreCat
2008 | Journal Article | LibreCat-ID: 3604
Harteis C, Bauer J, Gruber H. The culture of learning from mistakes: How employees handle mistakes in everyday work. International Journal of Educational Research. 2008;(4):223--231.
LibreCat
2008 | Journal Article | LibreCat-ID: 3605
Harteis C, Billett S. The workplace as learning environment: Introduction. International Journal of Educational Research. 2008;(4):209--212.
LibreCat
2008 | Journal Article | LibreCat-ID: 3610
Harteis C, Gruber H. How important is intuition for teaching expertise in the field of adult education? Studies in the Education of Adults. 2008;(1):96--109.
LibreCat
2008 | Journal Article | LibreCat-ID: 3616
Harteis C, Koch T, Morgenthaler B. How Intuition Contributes to High Performance: An Educational Perspective. US-China Education Review. 2008;5(1):68--80.
LibreCat
2008 | Report | LibreCat-ID: 3631
Gruber H, Harteis C, Paetz N-V, Keil S. Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen. Regensburg: Universität Regensburg; 2008.
LibreCat
2008 | Book Chapter | LibreCat-ID: 3642
Gruber H, Harteis C. Lernen und Lehren im Erwachsenenalter. In: Renkl A, ed. Lehrbuch Pädagogische Psychologie. Bern: Huber; 2008:205--261.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3143
Gajek S, Jager T, Manulis M, Schwenk J. A Browser-Based Kerberos Authentication Scheme. In: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings. ; 2008:115--129. doi:10.1007/978-3-540-88313-5_8
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann K, Jager T, Rupp A. On Black-Box Ring Extraction and Integer Factorization. In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations. ; 2008:437--448. doi:10.1007/978-3-540-70583-3_36
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager T, Schwenk J. On the Equivalence of Generic Group Models. In: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. ; 2008:200--209. doi:10.1007/978-3-540-88733-1_14
LibreCat
| DOI