Median-of-k Jumplists. - Markus E. Nebel; Elisabeth Neumann; Sebastian Wild (CoRR, 2016)

Liveness Verification and Synthesis: New Algorithms for Recursive Programs. - Roland Meyer 001; Sebastian Muskalla; Elisabeth Neumann (CoRR, 2017)

Median-of-k Jumplists and Dangling-Min BSTs. - Markus E. Nebel; Elisabeth Neumann; Sebastian Wild (ANALCO, 2019)