Jingyi Mei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Formal Verification of Quantum Ancilla Safety. | Jiqi Li, Jingyi Mei, Wang Fang, Ji Guan |
| 2026 | CAV | Quokka#: Quantum Computing with #SAT. | Jingyi Mei, Dekel Zak, Muhammad Osama, Tim Coopmans, Alfons Laarman |
| 2026 | TACAS | 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 |
| 2025 | CP | Reducing Quantum Circuit Synthesis to #SAT. | Dekel Zak, Jingyi Mei, Jean-Marie Lagniez, Alfons Laarman |
| 2024 | CAV | Simulating Quantum Circuits by Model Counting. | Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman |
| 2024 | FM | Advancing Quantum Computing with Formal Methods. | Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman |
| 2024 | IJCAR | Equivalence Checking of Quantum Circuits by Model Counting. | Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman |
| 2024 | ICTAC | Disentangling the Gap Between Quantum and #SAT. | Jingyi Mei, Jan Martens, Alfons Laarman |
| 2021 | CONCUR | Model Checking Quantum Continuous-Time Markov Chains. | Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu |