This author has not been identified. Look up 'Oliver Kohlbacher' in GoogleThis author has not been identified. Look up 'Andreas Burchardt' in GoogleThis author has not been identified. Look up 'Andreas Moll' in GoogleThis author has not been identified. Look up 'Andreas Hildebrandt' in GoogleThis author has not been identified. Look up 'Peter Bayer' in GoogleThis author has not been identified. Look up 'Hans-Peter Lenhof' in Google