Classifying Differential Equations on the Web. - Dirk Draheim; Winfried Neun; Dima Suliman (MKM, 2004)

Employing Computer Algebra for Classifying Mathematical Web Content. - Dirk Draheim; Winfried Neun; Dima Suliman (Algorithmic Algebra and Logic, 2005)

The MORABIT Approach to Runtime Component Testing. - Dima Suliman; Barbara Paech; Lars Borner; Colin Atkinson 001; Daniel Brenner; Matthias Merdes; Rainer Malaka (COMPSAC (2), 2006)

Ubiquitous RATs: how resource-aware run-time tests can improve ubiquitous software systems. - Matthias Merdes; Rainer Malaka; Dima Suliman; Barbara Paech; Daniel Brenner; Colin Atkinson 001 (SEM, 2006)

Reducing verification effort in component-based software engineering through built-in testing. - Daniel Brenner; Colin Atkinson 001; Rainer Malaka; Matthias Merdes; Barbara Paech; Dima Suliman (Inf. Syst. Frontiers, 2007)