Reiss K, Hellmich F, Thomas J. Individuelle und schulische Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht. Zeitschrift für Pädagogik. 2002;45:51-64. doi:10.25656/01:3938
LibreCat: /record/26826
DOI: 10.25656/01:3938

Hellmich F, Hartmann J. Materialgebundene versus computerunterstützte Förderung räumlicher Kompetenzen in der Grundschule. In: Peschek W, ed. Beiträge zum Mathematikunterricht 2002. Franzbecker; 2002:211-214.
LibreCat: /record/26827

Hellmich F, Hartmann J, Reiss  K. Bedingungen für das Argumentieren und Begründen im Geometrieunterricht der Sekundarstufe I. In: Peschek W, ed. Beiträge zum Mathematikunterricht 2002. Franzbecker; 2002:231-234.
LibreCat: /record/26831

Reiss K, Hellmich F, Reiss M. Reasoning and proof in geometry: Prerequisites of knowledge acquisition in secondary school students. In: Cockburn AD, Nardi E, eds. Proceedings of the 26th Conference of the International Group for the Psychology of Mathematics Education.  University of East Anglia; 2002:113-120.
LibreCat: /record/26835

Hellmich F, Hartmann J. Aspekte einer Förderung räumlicher Kompetenzen im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen und -schülern. Zentralblatt für Didaktik der Mathematik. 2002;34(2):56-61.
LibreCat: /record/26838

Hellmich F, Reiss K, Thomas J. Begründen und Beweisen in der Geometrie. Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern der Sekundarstufe. Ergebnisbericht an die DFG. Carl von Ossietzky Universität Oldenburg; 2002.
LibreCat: /record/26842

Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. Nord J Comput. 2002;(4):405--435.
LibreCat: /record/3241

Olderog E-R, Wehrheim H. Specification and Inheritance in CSP-OZ. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science. ; 2002:361--379. doi:10.1007/978-3-540-39656-7_15
LibreCat: /record/3242
DOI: 10.1007/978-3-540-39656-7_15

Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink A, eds. Formal Methods for Open Object-Based Distributed Systems V, IFIP T/W.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. IFIP Conference Proceedings. ; 2002:79--93.
LibreCat: /record/3243

Harteis C. Kompetenzfördernde Arbeitsbedingungen. Wiesbaden: Gabler; 2002.
LibreCat: /record/3645