"J. Zavadil"@cs . "Jan Zavadil"@cs .