default search action
Ji Guan 0001
Person information
- affiliation: Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China
- affiliation (PhD 2018): University of Technology Sydney, NSW, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j6]Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying:
New Quantum Algorithms for Computing Quantum Entropies and Distances. IEEE Trans. Inf. Theory 70(8): 5653-5680 (2024) - [c9]Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying:
Measurement-Based Verification of Quantum Markov Chains. CAV (3) 2024: 533-554 - [c8]Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying:
Approximation Algorithm for Noisy Quantum Circuit Simulation. DATE 2024: 1-6 - [c7]Yanling Lin, Ji Guan, Wang Fang, Mingsheng Ying, Zhaofeng Su:
VeriQR: A Robustness Verification Tool for quantum Machine Learning Models. FM (1) 2024: 403-421 - 2023
- [j5]Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying:
Quantum Algorithm for Fidelity Estimation. IEEE Trans. Inf. Theory 69(1): 273-282 (2023) - [c6]Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying:
Detecting Violations of Differential Privacy for Quantum Algorithms. CCS 2023: 2277-2291 - [i11]Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying:
Detecting Violations of Differential Privacy for Quantum Algorithms. CoRR abs/2309.04819 (2023) - 2022
- [c5]Ji Guan, Wang Fang, Mingsheng Ying:
Verifying Fairness in Quantum Machine Learning. CAV (2) 2022: 408-429 - [c4]Ji Guan, Nengkun Yu:
A Probabilistic Logic for Verifying Continuous-time Markov Chains. TACAS (2) 2022: 3-21 - [i10]Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu:
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. CoRR abs/2202.05412 (2022) - [i9]Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying:
New Quantum Algorithms for Computing Quantum Entropies and Distances. CoRR abs/2203.13522 (2022) - [i8]Ji Guan, Wang Fang, Mingsheng Ying:
Verifying Fairness in Quantum Machine Learning. CoRR abs/2207.11173 (2022) - 2021
- [j4]Ji Guan, Qisheng Wang, Mingsheng Ying:
quantum walks. Quantum Inf. Comput. 21(5&6): 395-408 (2021) - [j3]Xiaohui Bei, Shiteng Chen, Ji Guan, Youming Qiao, Xiaoming Sun:
From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge between Graphs and Alternating Matrix Spaces. SIAM J. Comput. 50(3): 924-971 (2021) - [c3]Ji Guan, Wang Fang, Mingsheng Ying:
Robustness Verification of Quantum Classifiers. CAV (1) 2021: 151-174 - [c2]Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu:
Model Checking Quantum Continuous-Time Markov Chains. CONCUR 2021: 13:1-13:17 - [i7]Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu:
Model Checking Quantum Continuous-Time Markov Chains. CoRR abs/2105.00382 (2021) - 2020
- [c1]Xiaohui Bei, Shiteng Chen, Ji Guan, Youming Qiao, Xiaoming Sun:
From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge Between Graphs and Alternating Matrix Spaces. ITCS 2020: 8:1-8:48 - [i6]Ji Guan, Nengkun Yu:
Verification of Continuous-time Markov Chains. CoRR abs/2004.08059 (2020) - [i5]Ji Guan, Wang Fang, Mingsheng Ying:
Robustness Verification of Quantum Machine Learning. CoRR abs/2008.07230 (2020)
2010 – 2019
- 2019
- [i4]Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying:
Model Checking Applied to Quantum Physics. CoRR abs/1902.03218 (2019) - [i3]Xiaohui Bei, Shiteng Chen, Ji Guan, Youming Qiao, Xiaoming Sun:
From independent sets and vertex colorings to isotropic spaces and isotropic decompositions. CoRR abs/1904.03950 (2019) - 2018
- [b1]Ji Guan:
Decomposition of quantum Markov chains and its applications. University of Technology Sydney, Australia, 2018 - [j2]Ji Guan, Yuan Feng, Mingsheng Ying:
Decomposition of quantum Markov chains and its applications. J. Comput. Syst. Sci. 95: 55-68 (2018) - [j1]Ji Guan, Yuan Feng, Mingsheng Ying:
Super-activating quantum memory with entanglement. Quantum Inf. Comput. 18(13&14): 1115-1124 (2018) - [p1]Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying:
Q|SI⟩ : A Quantum Programming Environment. Symposium on Real-Time and Hybrid Systems 2018: 133-164 - 2017
- [i2]Ji Guan, Yuan Feng, Mingsheng Ying:
Super-activating Quantum Memory with Entanglement. CoRR abs/1708.00700 (2017) - [i1]Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying:
Q|SI〉: A Quantum Programming Environment. CoRR abs/1710.09500 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint