"Bastian Trinker"@cs . "B Trinker"@cs .