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.
749 Publications
2005 | Book Chapter | LibreCat-ID: 26801
Hellmich, F. (2005). Förderung selbstregulativer Fähigkeiten in der Grundschule. In F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht (pp. 265–276). BIS.
LibreCat
2005 | Book Chapter | LibreCat-ID: 26802
Hellmich, F. (2005). Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule? In F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht (pp. 13–29). BIS.
LibreCat
2005 | Book Chapter | LibreCat-ID: 26803
Hellmich, F. (2005). What about Rituale im Grundschulunterricht? In I. Bohlen (Ed.), Rituale im Grundschulunterricht (p. 4). Didaktisches Zentrum (Oldenburger VorDrucke 514).
LibreCat
2005 | Book | LibreCat-ID: 26804
Hellmich, F., Abt, M., & Bruns, H. (2005). „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´. Didaktisches Zentrum (Oldenburger VorDrucke 509).
LibreCat
2005 | Book Chapter | LibreCat-ID: 26806
Steckmann, J., & Hellmich, F. (2005). Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund. In F. Hellmich (Ed.), Lehren und Lernen nach IGLU - Grundschulunterricht heute (pp. 103–115). BIS.
LibreCat
2005 | Journal Article | LibreCat-ID: 3227
Olderog, E.-R., & Wehrheim, H. (2005). Specification and (property) inheritance in {CSP-OZ}. Sci. Comput. Program., (1–3), 227--257. https://doi.org/10.1016/j.scico.2004.05.017
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3228
Wehrheim, H. (2005). Slicing techniques for verification re-use. Theor. Comput. Sci., (3), 509--528. https://doi.org/10.1016/j.tcs.2005.06.020
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3229
Rasch, H., & Wehrheim, H. (2005). Checking the Validity of Scenarios in {UML} Models. In M. Steffen & G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings (pp. 67--82). https://doi.org/10.1007/11494881_5
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3230
Brückner, I., & Wehrheim, H. (2005). Slicing an Integrated Formal Method for Verification. In K.-}Kiu Lau & R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings (pp. 360--374). https://doi.org/10.1007/11576280_25
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3231
Derrick, J., & Wehrheim, H. (2005). Non-atomic Refinement in {Z} and {CSP}. In H. Treharne, S. King, M. C. Henson, & S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings (pp. 24--44). https://doi.org/10.1007/11415787_3
LibreCat
| DOI