Thorsten Ehm

COSIMA- your smart, speaking E-salesperson

Werner Kießling, Stefan Fischer, Stefan Holland, 2001, SIGMOD '01.

Kleene Modules

Georg Struth, Bernhard Möller, Thorsten Ehm, 2003, RelMiCS.

Design and implementation of COSIMA-a smart and speaking e-sales assistant

Werner Kießling, Stefan Fischer, Stefan Holland, 2001, Proceedings Third International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems. WECWIS 2001.

Transformational Construction of Correct Pointer Algorithms

Thorsten Ehm, 2001, Ershov Memorial Conference.

Case studies for the derivation of pointer algorithms

Thorsten Ehm, 2003 .

Pointer Kleene Algebra

Thorsten Ehm, T. Ehm, 2003, RelMiCS.

The Kleene algebra of nested pointer structures: theory and applications

Thorsten Ehm, T. Ehm, 2003 .

Gaining Customer Preferences from E-Shopping Log-Files

Werner Kießling, Stefan Holland, Thorsten Ehm, 2001 .