"au:"Romain Hascoet"" — arXiv2 Search