| Simulating quantum circuits by model counting J Mei, M Bonsangue, A Laarman International Conference on Computer Aided Verification, 555-578, 2024 | 11 | 2024 |
| Model checking QCTL plus on quantum Markov chains M Xu, J Fu, J Mei, Y Deng Theoretical Computer Science 913, 43-72, 2022 | 10 | 2022 |
| Equivalence checking of quantum circuits by model counting J Mei, T Coopmans, M Bonsangue, A Laarman International Joint Conference on Automated Reasoning, 401-421, 2024 | 8 | 2024 |
| Automated reasoning in quantum circuit compilation D Thanos, A Villoria, S Brand, AJ Quist, J Mei, T Coopmans, A Laarman International Symposium on Model Checking Software, 106-134, 2024 | 7 | 2024 |
| Model checking quantum continuous-time Markov chains M Xu, J Mei, J Guan, N Yu CONCUR, 2021 | 7 | 2021 |
| An algebraic method to fidelity-based model checking over quantum Markov chains M Xu, J Fu, J Mei, Y Deng Theoretical Computer Science 935, 61-81, 2022 | 5 | 2022 |
| Advancing Quantum Computing with Formal Methods AJ Quist, J Mei, T Coopmans, A Laarman International Symposium on Formal Methods, 420-446, 2024 | 1 | 2024 |
| Checking continuous stochastic logic against quantum continuous-time Markov chains J Mei, M Xu, J Guan, Y Deng, N Yu arXiv preprint arXiv:2202.05412, 2022 | 1 | 2022 |
| Disentangling the Gap Between Quantum and# SAT J Mei, J Martens, A Laarman International Colloquium on Theoretical Aspects of Computing, 17-40, 2024 | | 2024 |
| Quantitative controller synthesis for consumption Markov decision processes J Fu, CC Huang, Y Li, J Mei, M Xu, L Zhang Information Processing Letters 180, 106342, 2023 | | 2023 |
| 3.13 The Unreasonable Effectiveness of Classical Automated Reasoning in Quantum Computing A Laarman, J Mei Automated Synthesis: Functional, Reactive and Beyond, 96, 0 | | |
Yuxin DengProfessor, East China Normal UniversityVerified email at sei.ecnu.edu.cn