"Thomas Hackmann"@cs .