Yannick Stade

According to our database, Yannick Stade authored at least 14 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

MQT Core: The Backbone of the Munich Quantum Toolkit (MQT).

Lukas Burgholzer, Yannick Stade, Tom Peham, Robert Wille

J. Open Source Softw., May, 2025

Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing.

Yannick Stade, Wan-Hsuan Lin, Jason Cong, Robert Wille

CoRR, May, 2025

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers.

Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2024

On the power of local graph expansion grammars with and without additional restrictions.

Frank Drewes, Yannick Stade

Theor. Comput. Sci., 2024

Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation.

Yannick Stade, Lukas Burgholzer, Robert Wille

CoRR, 2024

Partial Correctness of the Top-Down Solver.

Yannick Stade, Sarah Tilscher, Helmut Seidl

Arch. Formal Proofs, 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, Lukas Burgholzer

Proceedings of the IEEE International Conference on Quantum Software, 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, Laura Brandon Schulz, Lukas Burgholzer

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures.

Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024

The Top-Down Solver Verified: Building Confidence in Static Analyzers.

Yannick Stade, Sarah Tilscher, Helmut Seidl

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

The Top-Down Solver - An Exercise in A²I.

Sarah Tilscher, Yannick Stade, Michael Schwarz, Ralf Vogler, Helmut Seidl

Proceedings of the Challenges of Software Verification, 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

CoRR, 2023

Quantum Constant Propagation.

Yanbin Chen, Yannick Stade

Proceedings of the Static Analysis - 30th International Symposium, 2023

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, Christian B. Mendl, Dieter Kranzlmüller, Martin Schulz

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023