Automated Expected Amortised Cost Analysis of Probabilistic Data Structures.

Lorenz Leutgeb, Georg Moser, Florian Zuleger

Browse the full CAV paper archive.