Publications by 'Henrique D. Moura'