"Michael Gleissner"@cs .