You can also find an overview over my publications at my google scholar profile and my my dblp entry.

Conferences

    • Visibly Linear Dynamic Logic
    • Alexander Weinert and Martin Zimmermann
    • FSTTCS 2016. PDF.
    • Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
    • Leander Tentrup, Alexander Weinert, and Martin Zimmermann
    • GandALF 2016. PDF.
    • Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
    • Alexander Weinert and Martin Zimmermann
    • CSL 2016. PDF.

Journals

    • Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
    • Alexander Weinert and Martin Zimmermann
    • LMCS 2017. PDF.
    • Automata Tutor and what we learned from building an online teaching tool
    • Loris D’Antoni, Matthew Weaver, Alexander Weinert, and Rajeev Alur
    • BEATCS 117. PDF.

Technical Reports

    • Problem Generation for DFA Construction
    • Alexander Weinert
    • Technical Report UCB/EECS-2015-170. PDF.

Theses

    • Analyzing Arithmetic Prolog Programs by Symbolic Execution
    • Alexander Weinert
    • Master Thesis. RWTH Aachen University. PDF.
    • Inferring Heap Abstraction Grammars
    • Alexander Weinert
    • Bachelor Thesis. RWTH Aachen University. PDF.

Unpublished

    • VLDL Satisfiability and Model Checking via Tree Automata
    • Alexander Weinert
    • Available as arXiv/1708.00699. PDF.
    • Quantitative Reductions and Vertex-Ranked Infinite Games
    • Alexander Weinert
    • Available as arXiv/1704.00904. PDF.