Stephan Falke, Institute for Theoretical Computer Science, Karlsruhe Institute of Technology