"Stephan Fransen"@cs . "S Fransen"@cs .