Ji Guan

32 papers A* 2A 2B 1Journal 20Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
A quantum game designed for property partitioning with implementation on superconducting quantum processors.
Theor. Comput. Sci.
Hui Jiang, Jianling Fu, Ming Xu, Ji Guan, Shenggang Ying
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 J jnl
Experimental robustness benchmark of quantum neural network on a superconducting quantum processor.
CoRR
Hai-Feng Zhang, Zhao-Yun Chen, Peng Wang, Liang-Liang Guo, Tian-Le Wang, Xiao-Yan Yang, Ren-Ze Zhao, Ze-An Zhao, Sheng Zhang, Lei Du, Hao-Ran Tao, Zhi-Long Jia, Wei-Cheng Kong, Huan-Yu Liu, Athanasios V. Vasilakos, Yang Yang, Yu-Chun Wu, Ji Guan, Peng Duan, Guo-Ping Guo
2025 A* conf
Optimal Mechanisms for Quantum Local Differential Privacy.
CCS
Ji Guan
2024 A conf
Approximation Algorithm for Noisy Quantum Circuit Simulation.
DATE
Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying
2024 — conf
Measurement-Based Verification of Quantum Markov Chains.
CAV (3)
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
2024 J jnl
New Quantum Algorithms for Computing Quantum Entropies and Distances.
IEEE Trans. Inf. Theory
Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, 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
2022 — conf
A Probabilistic Logic for Verifying Continuous-time Markov Chains.
TACAS (2)
Ji Guan, Nengkun Yu
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
New Quantum Algorithms for Computing Quantum Entropies and Distances.
CoRR
Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying
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 J jnl
From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge between Graphs and Alternating Matrix Spaces.
SIAM J. Comput.
Xiaohui Bei, Shiteng Chen, Ji Guan, Youming Qiao, Xiaoming Sun
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
2021 — conf
Robustness Verification of Quantum Classifiers.
CAV (1)
Ji Guan, Wang Fang, Mingsheng Ying
2021 J jnl
quantum walks.
Quantum Inf. Comput.
Ji Guan, Qisheng Wang, Mingsheng Ying
2020 A conf
From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge Between Graphs and Alternating Matrix Spaces.
ITCS
Xiaohui Bei, Shiteng Chen, Ji Guan, Youming Qiao, Xiaoming Sun
2020 J jnl
Robustness Verification of Quantum Machine Learning.
CoRR
Ji Guan, Wang Fang, Mingsheng Ying
2020 J jnl
Verification of Continuous-time Markov Chains.
CoRR
Ji Guan, Nengkun Yu
2019 J jnl
From independent sets and vertex colorings to isotropic spaces and isotropic decompositions.
CoRR
Xiaohui Bei, Shiteng Chen, Ji Guan, Youming Qiao, Xiaoming Sun
2019 J jnl
Model Checking Applied to Quantum Physics.
CoRR
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
2018 — —
Decomposition of quantum Markov chains and its applications
Ji Guan
2018 J jnl
Decomposition of quantum Markov chains and its applications.
J. Comput. Syst. Sci.
Ji Guan, Yuan Feng, Mingsheng Ying
2018 — ch.
Q|SI⟩ : A Quantum Programming Environment.
Symposium on Real-Time and Hybrid Systems
Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying
2018 J jnl
Super-activating quantum memory with entanglement.
Quantum Inf. Comput.
Ji Guan, Yuan Feng, Mingsheng Ying
2017 J jnl
Q|SI〉: A Quantum Programming Environment.
CoRR
Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying
2017 J jnl
Super-activating Quantum Memory with Entanglement.
CoRR
Ji Guan, Yuan Feng, Mingsheng Ying