Ji Guan

Orcid: 0000-0002-3490-0029

Affiliations:
  • Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China
  • University of Technology Sydney, NSW, Australia (PhD 2018)


According to our database1, Ji Guan authored at least 20 papers between 2017 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Approximation Algorithm for Noisy Quantum Circuit Simulation.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023
Quantum Algorithm for Fidelity Estimation.
IEEE Trans. Inf. Theory, 2023

Detecting Violations of Differential Privacy for Quantum Algorithms.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
New Quantum Algorithms for Computing Quantum Entropies and Distances.
CoRR, 2022

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains.
CoRR, 2022

A Probabilistic Logic for Verifying Continuous-time Markov Chains.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Verifying Fairness in Quantum Machine Learning.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge between Graphs and Alternating Matrix Spaces.
SIAM J. Comput., 2021

quantum walks.
Quantum Inf. Comput., 2021

Model Checking Quantum Continuous-Time Markov Chains.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Robustness Verification of Quantum Classifiers.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
Robustness Verification of Quantum Machine Learning.
CoRR, 2020

Verification of Continuous-time Markov Chains.
CoRR, 2020

2019
From independent sets and vertex colorings to isotropic spaces and isotropic decompositions.
CoRR, 2019

Model Checking Applied to Quantum Physics.
CoRR, 2019

2018
Decomposition of quantum Markov chains and its applications
PhD thesis, 2018

Super-activating quantum memory with entanglement.
Quantum Inf. Comput., 2018

Decomposition of quantum Markov chains and its applications.
J. Comput. Syst. Sci., 2018

Q|SI⟩ : A Quantum Programming Environment.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017
Q|SI〉: A Quantum Programming Environment.
CoRR, 2017


  Loading...