Publications by 'Thomas Kernen'