Avrachenkov K. E. (INRIA). Публикации