Publications by 'Andreas T. Pfenning'