Automata Tutor and what we learned from building an online teaching tool. - Loris D'Antoni; Matthew Weavery; Alexander Weinert; Rajeev Alur (Bull. EATCS, 2015)

Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time - Leander Tentrup; Alexander Weinert; Martin Zimmermann 002 (GandALF, 2016)

VLDL Satisfiability and Model Checking via Tree Automata. - Alexander Weinert (FSTTCS, 2017)

Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. - Alexander Weinert; Martin Zimmermann 002 (Log. Methods Comput. Sci., 2017)

Quantitative Reductions and Vertex-Ranked Infinite Games. - Alexander Weinert (GandALF, 2018)

Visibly linear dynamic logic. - Alexander Weinert; Martin Zimmermann 002 (Theor. Comput. Sci., 2018)

Optimality and resilience in parity games. - Alexander Weinert (2018)

RCE: An Integration Environment for Engineering and Science. - Brigitte Boden; Jan Flink; Robert Mischke; Kathrin Schaffert; Alexander Weinert; Annika Wohlan; Andreas Schreiber 001 (CoRR, 2019)

Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. - Daniel Neider; Alexander Weinert; Martin Zimmermann 002 (GandALF, 2019)

Parity Games with Weights. - Sven Schewe; Alexander Weinert; Martin Zimmermann 002 (Log. Methods Comput. Sci., 2019)

Supporting the composition of domain-specific software via task-specific roles. - Brigitte Boden; Robert Mischke; Alexander Weinert; Andreas Schreiber 001 (Programming, 2020)

Synthesizing optimally resilient controllers. - Daniel Neider; Alexander Weinert; Martin Zimmermann 002 (Acta Informatica, 2020)

A Blockchain-Based Approach to Provenance and Reproducibility in Research Workflows. - Kevin Wittek; Neslihan Wittek; James Lawton; Iryna Dohndorf; Alexander Weinert; Andrei Ionita (IEEE ICBC, 2021)

Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis. - Dominik Schneider; Alexander Weinert (MoDELS (Companion), 2021)

From LTL to rLTL monitoring: improved monitorability through robust semantics. - Corto Mascle; Daniel Neider; Maximilian Schwenger; Paulo Tabuada; Alexander Weinert; Martin Zimmermann 002 (Formal Methods Syst. Des., 2021)

RCE: An Integration Environment for Engineering and Science. - Brigitte Boden; Jan Flink; Niklas Först; Robert Mischke; Kathrin Schaffert; Alexander Weinert; Annika Wohlan; Andreas Schreiber 001 (SoftwareX, 2021)

Automated and Manual Testing in the Development of the Research Software RCE. - Robert Mischke; Kathrin Schaffert; Dominik Schneider; Alexander Weinert (ICCS (4), 2022)

Towards Specificationless Monitoring of Provenance-Emitting Systems. - Martin Stoffers; Alexander Weinert (RV, 2022)

Automated and manual testing as part of the research software development process of RCE. - Robert Mischke; Kathrin Schaffert; Dominik Schneider; Alexander Weinert (CoRR, 2022)

Orchestrating Tool Chains for Model-based Systems Engineering with RCE. - Jan Flink; Robert Mischke; Kathrin Schaffert; Dominik Schneider; Alexander Weinert (CoRR, 2022)

Predicting Winning Regions in Parity Games via Graph Neural Networks (Extended Abstract). - Tobias Hecking; Alexander Weinert (CoRR, 2022)

Quantum Software Ecosystem Design. - Achim Basermann; Michael Epping; Benedikt Fauseweh; Michael Felderer; Elisabeth Lobe; Melven Röhrig-Zöllner; Gary Schmiedinghoff; Peter K. Schuhmacher; Yoshinta Setyawati; Alexander Weinert (Quantum Software, 2024)

Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models. - Tim Rosenbach; David Heidrich; Alexander Weinert (ICSTW, 2025)

Quantum Software Ecosystem Design. - Achim Basermann; Michael Epping; Benedikt Fauseweh; Michael Felderer; Elisabeth Lobe; Melven Röhrig-Zöllner; Gary Schmiedinghoff; Peter K. Schuhmacher; Yoshinta Setyawati; Alexander Weinert (Software Engineering Companion, 2025)

Optimization of Hybrid Quantum-Classical Algorithms. - Lian Remme; Alexander Weinert; Andre Waschk (CoRR, 2025)