"J. Franssen"@cs .