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

Conferences

    • Distributed Multidisciplinary Optimization and Collaborative Process Development Using RCE
    • Brigitte Boden, Jan Flink, Robert Mischke, Kathrin Schaffert, Alexander Weinert, Annika Wohlan, Caslav Ilic, Tobias Wunderlich, Tobias M. Liersch, Stefan Görtz, Pier Davide Ciampa, and Erwin Moerland
    • AIAA Aviation 2019 Forum.
    • Synthesizing Optimally Resilient Controllers
    • Daniel Neider, Alexander Weinert, and Martin Zimmermann
    • CSL 2018.
    • Parity Games with Weights
    • Sven Schewe, Alexander Weinert, and Martin Zimmermann
    • CSL 2018. PDF.
    • Quantitative Reductions and Vertex-Ranked Infinite Games
    • Alexander Weinert
    • GandALF 2018.
    • VLDL Satisfiability and Model Checking via Tree Automata
    • Alexander Weinert
    • FSTTCS 2017. PDF.
    • 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

    • Parity Games with Weights
    • Sven Schewe, Alexander Weinert, and Martin Zimmermann
    • LMCS 15(3).
    • Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
    • Alexander Weinert and Martin Zimmermann
    • LMCS 13(3). 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

    • Optimality and Resilience in Parity Games
    • Alexander Weinert
    • Ph.D. Thesis. Saarland University.
    • 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

    • RCE: An Integration Environment for Engineering and Science
    • Brigitte Boden, Jan Flink, Robert Mischke, Kathrin Schaffert, Alexander Weinert, Annika Wohlan, and Andreas Schreiber
    • Available as arXiv/1908.03461.