"David Noll"@cs . "Davidem Nollem"@cs .