Jingyi Mei

According to our database, Jingyi Mei authored at least 12 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting.

Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains.

Ming Xu, Jingyi Mei, Ji Guan, Yuxin Deng, Nengkun Yu

Log. Methods Comput. Sci., 2025

Reducing Quantum Circuit Synthesis to #SAT.

Dekel Zak, Jingyi Mei, Jean-Marie Lagniez, Alfons Laarman

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

Automated Reasoning in Quantum Circuit Compilation.

Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

Proceedings of the Model Checking Software - 30th International Symposium, 2024

Equivalence Checking of Quantum Circuits by Model Counting.

Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Disentangling the Gap Between Quantum and #SAT.

Jingyi Mei, Jan Martens, Alfons Laarman

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

Advancing Quantum Computing with Formal Methods.

Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

Proceedings of the Formal Methods - 26th International Symposium, 2024

Simulating Quantum Circuits by Model Counting.

Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Quantitative controller synthesis for consumption Markov decision processes.

Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang

Inf. Process. Lett., 2023

2022

An algebraic method to fidelity-based model checking over quantum Markov chains.

Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng

Theor. Comput. Sci., 2022

Model checking QCTL plus on quantum Markov chains.

Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng

Theor. Comput. Sci., 2022

2021

Model Checking Quantum Continuous-Time Markov Chains.

Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu

Proceedings of the 32nd International Conference on Concurrency Theory, 2021