Automated Termination Proofs for Java Programs with Cyclic Data. - Marc Brockschmidt; Richard Musiol; Carsten Otto; Jürgen Giesl (CAV, 2012)

A Subspace Clustering Extension for the KNIME Data Mining Framework. - Stephan Günnemann; Hardy Kremer; Richard Musiol; Roman Haag; Thomas Seidl 001 (ICDM Workshops, 2012)