Model Checking Quantum Continuous-Time Markov Chains. - Ming Xu 010; Jingyi Mei; Ji Guan 001; Nengkun Yu (CONCUR, 2021)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. - Jingyi Mei; Ming Xu 010; Ji Guan 001; Yuxin Deng; Nengkun Yu (CoRR, 2022)

Model checking QCTL plus on quantum Markov chains. - Ming Xu 010; Jianling Fu; Jingyi Mei; Yuxin Deng (Theor. Comput. Sci., 2022)

An algebraic method to fidelity-based model checking over quantum Markov chains. - Ming Xu 010; Jianling Fu; Jingyi Mei; Yuxin Deng (Theor. Comput. Sci., 2022)

Quantitative controller synthesis for consumption Markov decision processes. - Jianling Fu; Cheng-Chao Huang; Yong Li 031; Jingyi Mei; Ming Xu 010; Lijun Zhang 001 (Inf. Process. Lett., 2023)

Simulating Quantum Circuits by Model Counting. - Jingyi Mei; Marcello M. Bonsangue; Alfons Laarman (CAV (3), 2024)

Advancing Quantum Computing with Formal Methods. - Arend-Jan Quist; Jingyi Mei; Tim Coopmans; Alfons Laarman (FM (2), 2024)

Disentangling the Gap Between Quantum and #SAT. - Jingyi Mei; Jan Martens 001; Alfons Laarman (ICTAC, 2024)

Equivalence Checking of Quantum Circuits by Model Counting. - Jingyi Mei; Tim Coopmans; Marcello M. Bonsangue; Alfons Laarman (IJCAR (2), 2024)

Automated Reasoning in Quantum Circuit Compilation. - Dimitrios Thanos; Alejandro Villoria; Sebastiaan Brand; Arend-Jan Quist; Jingyi Mei; Tim Coopmans; Alfons Laarman (SPIN, 2024)

Reducing Quantum Circuit Synthesis to #SAT. - Dekel Zak; Jingyi Mei; Jean-Marie Lagniez; Alfons Laarman (CP, 2025)