Publications by authors named "Frederic Gros"