Hellmich, Frank, and Markus Sämisch. “Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer im Studium?” Qualität von Grundschulunterricht entwickeln, erfassen und bewerten, edited by Kornelia Möller et al., vol. 11, VS Verlag für Sozialwissenschaften, 2007, pp. 115–18.

Hellmich, Frank. “Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule.”10.25539/BILDUNGSFORSCHUN.V1I0.59__Bildungsforschung , vol. 4.1, 2007, doi:10.25539/BILDUNGSFORSCHUN.V1I0.59.

Hellmich, Frank. “Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich.”10.25656/01:4628__Bildungsforschung , vol. 4.1, 2007, doi:10.25656/01:4628.

Hellmich, Frank, and Meike Grüßing . “Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit.” Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, edited by Frank  Hellmich, Schneider Hohengehren, 2007, pp. 119–40.

Hellmich, Frank. “Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung.” Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, edited by Frank Hellmich, Schneider Hohengehren, 2007, pp. 3–7.

Hellmich, Frank. Nach dem Spiel ist vor dem Spiel!?“3 Grundschulpädagogik nach IGLU.” Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule , edited by Frank Hellmich, Schneider Hohengehren, 2007, pp. 11332.

Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.”10.1007/s00236-007-0042-3__Acta Inf., no. 1, 2007, pp. 41--71, doi:10.1007/s00236-007-0042-3.

Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.”10.1016/j.entcs.2006.02.031__Electr. Notes Theor. Comput. Sci., no. 2, 2007, pp. 47--67, doi:10.1016/j.entcs.2006.02.031.

Estler, H. .. Christian, et al. “Modelchecking Correctness of Refactorings - Some Experiments.”10.1016/j.entcs.2006.08.041__Electr. Notes Theor. Comput. Sci., 2007, pp. 3--17, doi:10.1016/j.entcs.2006.08.041.

Engels, Gregor, et al. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.”10.1007/978-3-540-89020-1_2__Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch\'22urr et al., 2007, pp. 17--31, doi:10.1007/978-3-540-89020-1_2.