"Thrasyvoulos Zaimis"@cs .