Declaratively Solving Google Code Jam Problems with Picat. - Sergii Dymchenko; Mariia Mykhailova (PADL, 2015)

Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system. - Sergii Dymchenko; Mariia Mykhailova (SAC, 2015)

Apache REEF: Retainable Evaluator Execution Framework. - Byung-Gon Chun; Tyson Condie; Yingda Chen; Brian Cho; Andrew Chung; Carlo Curino; Chris Douglas; Matteo Interlandi; Beomyeol Jeon; Joo Seong Jeong; Gyewon Lee; Yunseong Lee; et al. (ACM Trans. Comput. Syst., 2017)

Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL. - Krysta M. Svore; Alan Geller; Matthias Troyer; John Azariah; Christopher E. Granade; Bettina Heim; Vadym Kliuchnikov; Mariia Mykhailova; Andres Paz; Martin Roetteler (RWDSL@CGO, 2018)

Q#: Enabling scalable quantum computing and development with a high-level domain-specific language. - Krysta M. Svore; Alan Geller; Matthias Troyer; John Azariah; Christopher E. Granade; Bettina Heim; Vadym Kliuchnikov; Mariia Mykhailova; Andres Paz; Martin Roetteler (CoRR, 2018)

Introduction to Quantum Computing. - Christopher E. Granade; Mariia Mykhailova; Mark Tsang (SIGCSE, 2020)

The Quantum Katas: Learning Quantum Computing using Programming Exercises. - Mariia Mykhailova (SIGCSE, 2020)

Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report. - Mariia Mykhailova; Krysta M. Svore (SIGCSE, 2020)

A Resource Estimation and Verification Workflow in Q# Special session paper. - Mathias Soeken; Mariia Mykhailova; Vadym Kliuchnikov; Christopher E. Granade; Alexander Vaschillo (DATE, 2021)

Testing Quantum Programs using Q# and Microsoft Quantum Development Kit. - Mariia Mykhailova; Mathias Soeken (Q-SET@QCE, 2021)

Developing Programming Exercises for Teaching Quantum Computing. - Mariia Mykhailova (SIGCSE, 2021)

Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes. - Mathias Soeken; Mariia Mykhailova (DAC, 2022)

Developing Programming Assignments for Teaching Quantum Computing and Quantum Programming. - Mariia Mykhailova (QCE, 2022)

Teaching Quantum Computing Using Microsoft Quantum Development Kit and Azure Quantum. - Mariia Mykhailova (QCE, 2023)

Using Azure Quantum Resource Estimator for Assessing Performance of Fault Tolerant Quantum Computation. - Wim van Dam; Mariia Mykhailova; Mathias Soeken (SC Workshops, 2023)