Yannick Stade

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 8

Top Topics

Quantum Computing

Stochastic Grammar

High Performance Computing

Technical Challenges

Top Venues

Arch. Formal Proofs

Publications

Yannick Stade, Sarah Tilscher, Helmut Seidl
Partial Correctness of the Top-Down Solver. Arch. Formal Proofs 2024 (2024)
Frank Drewes, Yannick Stade
On the power of local graph expansion grammars with and without additional restrictions. Theor. Comput. Sci. 1015 (2024)
Yannick Stade, Sarah Tilscher, Helmut Seidl
The Top-Down Solver Verified: Building Confidence in Static Analyzers. CAV (1) (2024)
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
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing. CoRR (2024)
Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. CoRR (2024)
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
Challenges in HPCQC Integration. QCE (2023)
Yanbin Chen, Yannick Stade
Quantum Constant Propagation. SAS (2023)
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
Integration of Quantum Accelerators with High Performance Computing - A Review of Quantum Programming Tools. CoRR (2023)