Jingyi Mei

According to our database, Jingyi Mei authored at least 10 papers between 2021 and 2024.

Collaborative distances:

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

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

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

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

CoRR, 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