"Gregor Bauer"@cs .