"Thomas Goppel"@cs .