Personal information

Websites & social links

guanji

Other IDs

Loop profile: 1290284

Activities

Collapse all

Employment (1)

Chinese Academy of Sciences: Beijing, CN

2018-09-01 to present
Employment
Source: Self-asserted source
Ji Guan

Works (16)

Measurement-Based Verification of Quantum Markov Chains

Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
2024 | Conference paper
DOI: 10.1007/978-3-031-65633-0\_24
Contributors: Ji Guan and Yuan Feng and Andrea Turrini and Mingsheng Ying; Arie Gurfinkel and Vijay Ganesh
Source: Self-asserted source
Ji Guan

VeriQR: A Robustness Verification Tool for quantum Machine Learning Models

Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
2024 | Conference paper
DOI: 10.1007/978-3-031-71162-6\_21
Contributors: Yanling Lin and Ji Guan and Wang Fang and Mingsheng Ying and Zhaofeng Su; André Platzer and Kristin Yvonne Rozier and Matteo Pradella and Matteo Rossi
Source: Self-asserted source
Ji Guan

New Quantum Algorithms for Computing Quantum Entropies and Distances

IEEE Transactions on Information Theory
2024-08 | Journal article | Author
DOI: 10.1109/tit.2024.3399014
Part of ISSN: 0018-9448
Part of ISSN: 1557-9654
Contributors: Qisheng Wang; Ji Guan; Junyi Liu; Zhicheng Zhang; Mingsheng Ying
Source: Self-asserted source
Ji Guan

Approximation Algorithm for Noisy Quantum Circuit Simulation

2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)
2024-03-25 | Conference paper
DOI: 10.23919/date58400.2024.10546657
Contributors: Mingyu Huang; Ji Guan; Wang Fang; Mingsheng Ying
Source: Self-asserted source
Ji Guan
grade
Preferred source (of 2)‎

Detecting Violations of Differential Privacy for Quantum Algorithms

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security
2023-11-15 | Conference paper | Author
DOI: 10.1145/3576915.3623108
Contributors: Ji Guan; Wang Fang; Mingyu Huang; Mingsheng Ying
Source: Self-asserted source
Ji Guan
grade
Preferred source (of 2)‎

Quantum Algorithm for Fidelity Estimation

IEEE Transactions on Information Theory
2023-01 | Journal article | Author
DOI: 10.1109/tit.2022.3203985
Part of ISSN: 0018-9448
Part of ISSN: 1557-9654
Contributors: Qisheng Wang; Zhicheng Zhang; Kean Chen; Ji Guan; Wang Fang; Junyi Liu; Mingsheng Ying
Source: Self-asserted source
Ji Guan

A Probabilistic Logic for Verifying Continuous-time Markov Chains

Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II
2022 | Conference paper
DOI: 10.1007/978-3-030-99527-0\_1
Contributors: Ji Guan and Nengkun Yu; Dana Fisman and Grigore Rosu
Source: Self-asserted source
Ji Guan

Verifying Fairness in Quantum Machine Learning

Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
2022 | Conference paper
DOI: 10.1007/978-3-031-13188-2\_20
Contributors: Ji Guan and Wang Fang and Mingsheng Ying; Sharon Shoham and Yakir Vizel
Source: Self-asserted source
Ji Guan

Model Checking Quantum Continuous-Time Markov Chains

2021 | Conference paper
DOI: 10.4230/LIPICS.CONCUR.2021.13
Contributors: Ming Xu; Jingyi Mei; Ji Guan; Nengkun Yu
Source: Self-asserted source
Ji Guan
grade
Preferred source (of 2)‎

Robustness Verification of Quantum Classifiers

Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
2021 | Conference paper
DOI: 10.1007/978-3-030-81685-8\_7
Contributors: Ji Guan and Wang Fang and Mingsheng Ying; Alexandra Silva and K. Rustan M. Leino
Source: Self-asserted source
Ji Guan

An HHL-based algorithm for computing hitting probabilities of quantum walks

Quantum Information and Computation
2021-05 | Journal article
DOI: 10.26421/qic21.5-6-4
Part of ISSN: 1533-7146
Part of ISSN: 1533-7146
Contributors: Ji Guan; Qisheng Wang; Mingsheng Ying
Source: Self-asserted source
Ji Guan

From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge between Graphs and Alternating Matrix Spaces

SIAM Journal on Computing
2021-01 | Journal article
DOI: 10.1137/19m1299128
Part of ISSN: 0097-5397
Part of ISSN: 1095-7111
Contributors: Xiaohui Bei; Shiteng Chen; Ji Guan; Youming Qiao; Xiaoming Sun
Source: Self-asserted source
Ji Guan

From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge Between Graphs and Alternating Matrix Spaces

11th Innovations in Theoretical Computer Science Conference, ITCS 2020, January 12-14, 2020, Seattle, Washington, USA
2020 | Conference paper
DOI: 10.4230/LIPICS.ITCS.2020.8
Contributors: Xiaohui Bei and Shiteng Chen and Ji Guan and Youming Qiao and Xiaoming Sun; Thomas Vidick
Source: Self-asserted source
Ji Guan

Q\(|\)SĬnicode10217 : A Quantum Programming Environment

Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
2018 | Book chapter
DOI: 10.1007/978-3-030-01461-2\_8
Contributors: Shusen Liu and Xin Wang and Li Zhou and Ji Guan and Yinan Li and Yang He and Runyao Duan and Mingsheng Ying; Cliff B. Jones and Ji Wang and Naijun Zhan
Source: Self-asserted source
Ji Guan

Super-activating quantum memory with entanglement

Quantum Information and Computation
2018-11 | Journal article
DOI: 10.26421/qic18.13-14-3
Part of ISSN: 1533-7146
Part of ISSN: 1533-7146
Contributors: Ji Guan; Yuan Feng; Mingsheng Ying
Source: Self-asserted source
Ji Guan

Decomposition of quantum Markov chains and its applications

Journal of Computer and System Sciences
2018-08 | Journal article | Author
DOI: 10.1016/j.jcss.2018.01.005
Part of ISSN: 0022-0000
Contributors: Ji Guan; Yuan Feng; Mingsheng Ying
Source: Self-asserted source
Ji Guan

Peer review (1 review for 1 publication/grant)

Review activity for Journal of combinatorial optimization. (1)
How many people are using ORCID?