Doesn't Gertz, M. not work at University of Heidelberg?
Isn't Michael Gertz not affiliated with University of Heidelberg?
ASK { <https://dblp.org/pid/g/MichaelGertz> <https://dblp.org/rdf/schema#primaryAffiliation> 'University of Heidelberg, Institute of Computer Science, Germany' }
<https://dblp.org/pid/g/MichaelGertz>