| Q# Enabling Scalable Quantum Computing and Development with a High-level DSL K Svore, A Geller, M Troyer, J Azariah, C Granade, B Heim, V Kliuchnikov, ... Proceedings of the Real World Domain Specific Languages Workshop 2018, 1-10, 2018 | 335 | 2018 |
| Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report M Mykhailova, KM Svore Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020 | 34 | 2020 |
| Developing Programming Assignments for Teaching Quantum Computing and Quantum Programming M Mykhailova 2022 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2022 | 10 | 2022 |
| Apache REEF: Retainable evaluator execution framework BG Chun, T Condie, Y Chen, B Cho, A Chung, C Curino, C Douglas, ... ACM Transactions on Computer Systems (TOCS) 35 (2), 1-31, 2017 | 10 | 2017 |
| Using Azure Quantum Resource Estimator for Assessing Performance of Fault Tolerant Quantum Computation W van Dam, M Mykhailova, M Soeken Proceedings of the SC'23 Workshops of The International Conference on High …, 2023 | 9 | 2023 |
| Testing Quantum Programs using Q# and Microsoft Quantum Development Kit. M Mykhailova, M Soeken Q-SET@ QCE, 81-88, 2021 | 8 | 2021 |
| The Quantum Katas: Learning Quantum Computing using Programming Exercises M Mykhailova Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020 | 5 | 2020 |
| Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system S Dymchenko, M Mykhailova Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2122-2124, 2015 | 5 | 2015 |
| Declaratively solving Google code jam problems with Picat S Dymchenko, M Mykhailova Practical Aspects of Declarative Languages: 17th International Symposium …, 2015 | 5 | 2015 |
| Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes M Soeken, M Mykhailova Proceedings of the 59th ACM/IEEE Design Automation Conference, 1363-1366, 2022 | 2 | 2022 |
| Teaching Quantum Computing using Microsoft Quantum Development Kit and Azure Quantum M Mykhailova 2023 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2023 | 1 | 2023 |
| Developing Programming Exercises for Teaching Quantum Computing M Mykhailova Proceedings of the 52nd ACM Technical Symposium on Computer Science …, 2021 | | 2021 |
| A Resource Estimation and Verification Workflow in Q# Special session paper M Soeken, M Mykhailova, V Kliuchnikov, C Granade, A Vaschillo 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021 | | 2021 |
| Introduction to Quantum Computing C Granade, M Mykhailova, M Tsang Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020 | | 2020 |
Mathias SoekenMicrosoft在 epfl.ch 的电子邮件经过验证
Mathias SoekenMicrosoft在 epfl.ch 的电子邮件经过验证
Sergii DymchenkoIndependent Researcher在 progopedia.com 的电子邮件经过验证
Wim van DamMicrosoft在 microsoft.com 的电子邮件经过验证