Yannick Stade

26 papers A 2B 1Misc 3Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2026 conf
SCA/HPC Asia
Patrick Hopf, Erick Ochoa, Yannick Stade, Damian Rovara, Nils Quetschlich, Ioan-Albert Florea, Josh A. Izaac, Robert Wille, Lukas Burgholzer
2026 J jnl
CoRR
Patrick Hopf, Erick Ochoa Lopez, Yannick Stade, Damian Rovara, Nils Quetschlich, Ioan-Albert Florea, Josh A. Izaac, Robert Wille, Lukas Burgholzer
2026 conf
SCA/HPC Asia
Lukas Burgholzer, Jorge Echavarria, Patrick Hopf, Yannick Stade, Damian Rovara, Ludwig Schmid, Ercüment Kaya, Burak Mete, Muhammad Nufail Farooqi, Minh Chung, Marco De Pascale, Laura Brandon Schulz, Martin Schulz, Robert Wille
2025 J jnl
ACM Trans. Quantum Comput.
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
2025 J jnl
J. Open Source Softw.
Lukas Burgholzer, Yannick Stade, Tom Peham, Robert Wille
2025 A conf
DATE
Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2025 A conf
ICCAD
Yannick Stade, Wan-Hsuan Lin, Jason Cong, Robert Wille
2025 J jnl
CoRR
Yannick Stade, Wan-Hsuan Lin, Jason Cong, Robert Wille
2025 J jnl
CoRR
Yannick Stade, Lukas Burgholzer, Robert Wille
2025 conf
SC Workshops
Jorge Echavarria, Muhammad Nufail Farooqi, Amit Devra, Santana Lujan, Léo Van Damme, Hossam Ahmed, Martín Letras, Ercüment Kaya, Adrian Vetter, Max Werninghaus, Martin Knudsen, Felix Rohde, Albert Frisch, Eric Mansfield, Rakhim Davletkaliyev, Vladimir Kukushkin, Noora Färkkilä, Janne Mäntylä, Nikolas Pomplun, Andreas Spörl, Lukas Burgholzer, Yannick Stade, Robert Wille, Laura Brandon Schulz, Martin Schulz
2025 J jnl
CoRR
Jorge Echavarria, Muhammad Nufail Farooqi, Amit Devra, Santana Lujan, Léo Van Damme, Hossam Ahmed, Martín Letras, Ercüment Kaya, Adrian Vetter, Max Werninghaus, Martin Knudsen, Felix Rohde, Albert Frisch, Eric Mansfield, Rakhim Davletkaliyev, Vladimir Kukushkin, Noora Färkkilä, Janne Mäntylä, Nikolas Pomplun, Andreas Spörl, Lukas Burgholzer, Yannick Stade, Robert Wille, Laura Brandon Schulz, Martin Schulz
2025 conf
SC Workshops
Yannick Stade, Lukas Burgholzer, Robert Wille
2024 Misc conf
QCE
Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2024 J jnl
CoRR
Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2024 J jnl
Theor. Comput. Sci.
Frank Drewes, Yannick Stade
2024 J jnl
CoRR
Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2024 J jnl
Arch. Formal Proofs
Yannick Stade, Sarah Tilscher, Helmut Seidl
2024 Misc conf
QCE
Robert Wille, Ludwig Schmid, Yannick Stade, Jorge Echavarria, Martin Schulz, Laura Brandon Schulz, Lukas Burgholzer
2024 conf
QSW
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
2024 J jnl
CoRR
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
2024 conf
CAV (1)
Yannick Stade, Sarah Tilscher, Helmut Seidl
2024 J jnl
CoRR
Yannick Stade, Lukas Burgholzer, Robert Wille
2023 Misc conf
QCE
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
2023 J jnl
CoRR
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
2023 B conf
SAS
Yanbin Chen, Yannick Stade
2023 ch.
Challenges of Software Verification
Sarah Tilscher, Yannick Stade, Michael Schwarz, Ralf Vogler, Helmut Seidl