/en/theoretical-computer-science/chair/peter-stumpf/publications?tx_upatheme_mobilenav%5BpageUid%5D=24256&type=20190226&cHash=b7266e94afbcfc1eeb49aa32a9bc32b7