Challenges in HPCQC Integration. - Amr Elsharkawy; Xiao-Ting Michelle To; Philipp Seitz; Yanbin Chen; Yannick Stade; Manuel Geiger; Qunsheng Huang; Xiaorang Guo; Muhammad Arslan Ansari; Martin Ruefenacht; Laura Brandon Schulz; Sven Karlsson; et al. (QCE, 2023)

Quantum Constant Propagation. - Yanbin Chen; Yannick Stade (SAS, 2023)

Integration of Quantum Accelerators with High Performance Computing - A Review of Quantum Programming Tools. - Amr Elsharkawy; Xiao-Ting Michelle To; Philipp Seitz; Yanbin Chen; Yannick Stade; Manuel Geiger; Qunsheng Huang; Xiaorang Guo; Muhammad Arslan Ansari; Christian B. Mendl; Dieter Kranzlmüller; Martin Schulz 001 (CoRR, 2023)

The Top-Down Solver - An Exercise in A2I. - Sarah Tilscher; Yannick Stade; Michael Schwarz 007; Ralf Vogler; Helmut Seidl (Challenges of Software Verification, 2023)

The Top-Down Solver Verified: Building Confidence in Static Analyzers. - Yannick Stade; Sarah Tilscher; Helmut Seidl (CAV (1), 2024)

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. - Yannick Stade; Ludwig Schmid; Lukas Burgholzer; Robert Wille (QCE, 2024)

QDMI - Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack. - Robert Wille; Ludwig Schmid; Yannick Stade; Jorge Echavarria; Martin Schulz 001; Laura Brandon Schulz; Lukas Burgholzer (QCE, 2024)

The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing. - Robert Wille; Lucas Berent; Tobias Forster; Jagatheesan Kunasaikaran; Kevin Mato; Tom Peham; Nils Quetschlich; Damian Rovara; Aaron Sander; Ludwig Schmid; Daniel Schönberger; Yannick Stade; et al. (QSW, 2024)

Partial Correctness of the Top-Down Solver. - Yannick Stade; Sarah Tilscher; Helmut Seidl (Arch. Formal Proofs, 2024)

Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation. - Yannick Stade; Lukas Burgholzer; Robert Wille (CoRR, 2024)

On the power of local graph expansion grammars with and without additional restrictions. - Frank Drewes; Yannick Stade (Theor. Comput. Sci., 2024)

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. - Yannick Stade; Ludwig Schmid; Lukas Burgholzer; Robert Wille (DATE, 2025)

Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing. - Yannick Stade; Wan-Hsuan Lin; Jason Cong; Robert Wille (CoRR, 2025)

MQT Core: The Backbone of the Munich Quantum Toolkit (MQT). - Lukas Burgholzer; Yannick Stade; Tom Peham; Robert Wille (J. Open Source Softw., 2025)