"Thomas Martin"@cs .