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.

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.

Hellmich, F. (2005). What about Rituale im Grundschulunterricht? In I. Bohlen (Ed.), Rituale im Grundschulunterricht (p. 4). Didaktisches Zentrum (Oldenburger VorDrucke 514).

Hellmich, F., Abt, M., &; Bruns, H. (2005). eUnd alles wird anders werden!“3 Vorstellungen von Kindergartenkindern über `Schule´. Didaktisches Zentrum (Oldenburger VorDrucke 509).

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.

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 

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 

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 

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 

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