"au:"Daniel Cordier"" — arXiv2 Search