"Mathias From"@cs . "M. From"@cs .