Analysis Methods for Collaborative Models and Activities. - Katrin Gaßner; Marc Jansen; Andreas Harrer; Kai Herrmann 001; Heinz Ulrich Hoppe (CSCL, 2003)

Making an Unintelligent Checker Smarter: Creating Semantic Illusions from Syntactic Analyses. - Kai Herrmann 001; Heinz Ulrich Hoppe (AIED, 2005)

Help in Modelling with Visual Languages. - Kai Herrmann 001; Heinz Ulrich Hoppe; Markus Kuhn (AIED, 2005)

Modulares Constraint-Checking: domänenunabhängiges Feedback bei der Modellierung mit visuellen Sprachen. - Kai Herrmann 001 (2011)