Elisabeth Neumann

Identifiers

No identifiers captured yet.

Papers (2)

1. Liveness Verification and Synthesis: New Algorithms for Recursive Programs cs.FL · 2017 · author #3
2. Median-of-k Jumplists and Dangling-Min BSTs cs.DS · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Markus E. Nebel 1 shared papers
• Roland Meyer 1 shared papers
• Sebastian Muskalla 1 shared papers
• Sebastian Wild 1 shared papers