Publications by the researcher in collaboration with Lucas Seghezzo (1)