Elisabeth Neumann

According to our database, Elisabeth Neumann authored at least 3 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Median-of-k Jumplists and Dangling-Min BSTs.

Markus E. Nebel, Elisabeth Neumann, Sebastian Wild

Proceedings of the Sixteenth Workshop on Analytic Algorithmics and Combinatorics, 2019

2017

Liveness Verification and Synthesis: New Algorithms for Recursive Programs.

Roland Meyer, Sebastian Muskalla, Elisabeth Neumann

CoRR, 2017

2016

Median-of-k Jumplists.

Markus E. Nebel, Elisabeth Neumann, Sebastian Wild

CoRR, 2016