Richard Musiol

According to our database, Richard Musiol authored at least 2 papers in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

A Subspace Clustering Extension for the KNIME Data Mining Framework.

Stephan Günnemann, Hardy Kremer, Richard Musiol, Roman Haag, Thomas Seidl

Proceedings of the 12th IEEE International Conference on Data Mining Workshops, 2012

Automated Termination Proofs for Java Programs with Cyclic Data.

Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl

Proceedings of the Computer Aided Verification - 24th International Conference, 2012