"Michael Muschner"@cs .