Jingyi Mei

16 papers A 1B 1C 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — conf
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting.
TACAS (2)
Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei
2025 J jnl
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains.
Log. Methods Comput. Sci.
Ming Xu, Jingyi Mei, Ji Guan, Yuxin Deng, Nengkun Yu
2025 A conf
Reducing Quantum Circuit Synthesis to #SAT.
CP
Dekel Zak, Jingyi Mei, Jean-Marie Lagniez, Alfons Laarman
2024 — conf
Advancing Quantum Computing with Formal Methods.
FM (2)
Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman
2024 — conf
Automated Reasoning in Quantum Circuit Compilation.
SPIN
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman
2024 C conf
Disentangling the Gap Between Quantum and #SAT.
ICTAC
Jingyi Mei, Jan Martens, Alfons Laarman
2024 — conf
Equivalence Checking of Quantum Circuits by Model Counting.
IJCAR (2)
Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman
2024 — conf
Simulating Quantum Circuits by Model Counting.
CAV (3)
Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman
2024 J jnl
Simulating Quantum Circuits by Model Counting.
CoRR
Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman
2023 J jnl
Quantitative controller synthesis for consumption Markov decision processes.
Inf. Process. Lett.
Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang
2022 J jnl
An algebraic method to fidelity-based model checking over quantum Markov chains.
Theor. Comput. Sci.
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
2022 J jnl
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains.
CoRR
Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu
2022 J jnl
Model checking QCTL plus on quantum Markov chains.
Theor. Comput. Sci.
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
2021 J jnl
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains.
CoRR
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
2021 B conf
Model Checking Quantum Continuous-Time Markov Chains.
CONCUR
Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
2021 J jnl
Model Checking Quantum Continuous-Time Markov Chains.
CoRR
Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu