Publikationen pro Jahr
Publikationen pro Jahr
Fingerprint
Ergründen Sie die Forschungsthemen, in denen Yannick Stade aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
Projekte
-
Design Automation and Software Tools for Quantum Computing
Wille, R. (Leitende(r) Forscher/-in), Burgholzer, L. (CoPI), Berent, L. (Weitere Forschende), Forster, T. (Weitere Forschende), Herzog, L. (Weitere Forschende), Kunasaikaran, J. (Weitere Forschende), Mato, K. (Weitere Forschende), Peham, T. (Weitere Forschende), Quetschlich, N. (Weitere Forschende), Rovara, D. (Weitere Forschende), Sander, A. (Weitere Forschende), Schmid, L. (Weitere Forschende), Schönberger, D. (Weitere Forschende), Stade, Y. (Weitere Forschende) & Weilandt, E. (Weitere Forschende)
Projekt: Forschung
-
On the power of local graph expansion grammars with and without additional restrictions
Drewes, F. & Stade, Y., 1 Nov. 2024, in: Theoretical Computer Science. 1015, 114763.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
Wille, R., Berent, L., Forster, T., Kunasaikaran, J., Mato, K., Peham, T., Quetschlich, N., Rovara, D., Sander, A., Schmid, L., Schonberger, D., Stade, Y. & Burgholzer, L., 2024, Proceedings - 2024 IEEE International Conference on Quantum Software, QSW 2024. Chang, R. N., Chang, C. K., Yang, J., Jin, Z., Sheng, M., Fan, J., Fletcher, K., He, Q., Faro, I., Leymann, F., Barzen, J., de la Puente, S., Feld, S., Wimmer, M., Atukorala, N., Wu, H., Elkouss, D., Garcia-Alonso, J. & Sarkar, A. (Hrsg.). Institute of Electrical and Electronics Engineers Inc., S. 1-8 8 S. (Proceedings - 2024 IEEE International Conference on Quantum Software, QSW 2024).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access2 Zitate (Scopus) -
The Top-Down Solver Verified: Building Confidence in Static Analyzers
Stade, Y., Tilscher, S. & Seidl, H., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 303-324 22 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14681 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access -
Challenges in HPCQC Integration
Elsharkawy, A., To, X. T. M., Seitz, P., Chen, Y., Stade, Y., Geiger, M., Huang, Q., Guo, X., Ansari, M. A., Ruefenacht, M., Schulz, L., Karlsson, S., Mendl, C. B., Kranzlmuller, D. & Schulz, M., 2023, Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023. Muller, H., Alexev, Y., Delgado, A. & Byrd, G. (Hrsg.). Institute of Electrical and Electronics Engineers Inc., S. 405-406 2 S. (Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023; Band 2).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
1 Zitat (Scopus) -
Quantum Constant Propagation
Chen, Y. & Stade, Y., 2023, Static Analysis - 30th International Symposium, SAS 2023, Proceedings. Hermenegildo, M. V. & Morales, J. F. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 164-189 26 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14284 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access