Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

WICHTIG: Veränderte Prüfungstermine!

Publications by Elisabeth Neumann

Publications by Elisabeth Neumann

Recent

  1. Liveness Verification and Synthesis: New Algorithms for Recursive Programs, with Roland Meyer and Sebastian Muskalla.

    arXiv

Theses

  1. Algorithms for Context-free Games: A Comparison of Saturation, Guess&Check and Summarization. Master's Thesis.
    Technische Universität Kaiserslautern, 2017.
    PDF