Publications by 'Matthias Hähnle'