Parallel Graph Generation Algorithms for Shared and Distributed Memory Machines. - Susann C. Allmaier; Stefan Dalibor; David Kreische (PARCO, 1997)

Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets. - Susann C. Allmaier; David Kreische (ICATPN, 1999)

Modellierung von Geschäftsprozessen in der Unified Modeling Language und ihre Transformation in Petrinetze. - David Kreische (Promise, 2002)

Geschäftsprozessmodellierung mit der "Unified Modeling Language (UML)". - David Kreische (2004)

Die Integration des Modellbasierten Systemtests in eine bestehende ProzessundWerkzeugkette. - David Kreische (GI Jahrestagung (1), 2008)