Person. Claude Kirchner Inria · 0000-0002-1686-1046 PhD advisorJean-Pierre Jouannaud PhD studentsCody Roux PhDUniversité Henri Poincaré (Nancy 1)