Wang Fang - RankMe

22 papers A* 2A 2Journal 14Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Hadamard-Pi: Equational Quantum Programming. Proc. ACM Program. Lang. Wang Fang, Chris Heunen, Robin Kaarsgaard
2025	J	`jnl`	Efficient Formal Verification of Quantum Error Correcting Programs. CoRR Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
2025	J	`jnl`	Efficient Formal Verification of Quantum Error Correcting Programs. Proc. ACM Program. Lang. Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
2025	J	`jnl`	Hadamard-Π: Equational Quantum Programming. CoRR Wang Fang, Chris Heunen, Robin Kaarsgaard
2025	A	`conf`	Optimal Quantum Algorithm for Estimating Fidelity to a Pure State. ESA Wang Fang, Qisheng Wang
2025	J	`jnl`	Optimal Quantum Algorithm for Estimating Fidelity to a Pure State. CoRR Wang Fang, Qisheng Wang
2025	—	`conf`	Verifying Fault-Tolerance of Quantum Error Correction Codes. CAV (4) Kean Chen, Yuhao Liu, Wang Fang, Jennifer Paykin, Xin-Chuan Wu, Albert T. Schmitz, Steve Zdancewic, Gushu Li
2024	A	`conf`	Approximation Algorithm for Noisy Quantum Circuit Simulation. DATE Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying
2024	J	`jnl`	Differentiable Quantum Programming with Unbounded Loops. ACM Trans. Softw. Eng. Methodol. Wang Fang, Mingsheng Ying, Xiaodi Wu
2024	A*	`conf`	SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. DAC Wang Fang, Mingsheng Ying
2024	J	`jnl`	Symbolic Execution for Quantum Error Correction Programs. Proc. ACM Program. Lang. Wang Fang, Mingsheng Ying
2024	—	`conf`	VeriQR: A Robustness Verification Tool for quantum Machine Learning Models. FM (1) Yanling Lin, Ji Guan, Wang Fang, Mingsheng Ying, Zhaofeng Su
2023	A*	`conf`	Detecting Violations of Differential Privacy for Quantum Algorithms. CCS Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying
2023	J	`jnl`	Detecting Violations of Differential Privacy for Quantum Algorithms. CoRR Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying
2023	J	`jnl`	Quantum Algorithm for Fidelity Estimation. IEEE Trans. Inf. Theory Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying
2023	J	`jnl`	SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. CoRR Wang Fang, Mingsheng Ying
2023	J	`jnl`	Symbolic Execution for Quantum Error Correction Programs. CoRR Wang Fang, Mingsheng Ying
2022	J	`jnl`	Differentiable Quantum Programming with Unbounded Loops. CoRR Wang Fang, Mingsheng Ying, Xiaodi Wu
2022	—	`conf`	Verifying Fairness in Quantum Machine Learning. CAV (2) Ji Guan, Wang Fang, Mingsheng Ying
2022	J	`jnl`	Verifying Fairness in Quantum Machine Learning. CoRR Ji Guan, Wang Fang, Mingsheng Ying
2021	—	`conf`	Robustness Verification of Quantum Classifiers. CAV (1) Ji Guan, Wang Fang, Mingsheng Ying
2020	J	`jnl`	Robustness Verification of Quantum Machine Learning. CoRR Ji Guan, Wang Fang, Mingsheng Ying