"M Redlicki"@cs . "Michael Redlicki"@cs .