Transformational Construction of Correct Pointer Algorithms. - Thorsten Ehm (Ershov Memorial Conference, 2001)

COSIMA - Your Smart, Speaking E-Salesperson. - Werner Kießling; Stefan Holland; Stefan Fischer 003; Thorsten Ehm (SIGMOD Conference, 2001)

Design and Implementation of COSIMA - A Smart and Speaking E-Sales Assistant. - Werner Kießling; Stefan Fischer 003; Stefan Holland; Thorsten Ehm (WECWIS, 2001)

Pointer Kleene Algebra. - Thorsten Ehm (RelMiCS, 2003)

Kleene Modules. - Thorsten Ehm; Bernhard Möller; Georg Struth (RelMiCS, 2003)

The Kleene algebra of nested pointer structures: theory and applications. - Thorsten Ehm (2003)