← authors · overview

• Quantum Supremacy Circuit Simulation on Sunway TaihuLight
  2018 · 22 citations
• Reasoning about Parallel Quantum Programs
  2018 · 11 citations
• Hoare Logic for Quantum Programs
  2009 · 9 citations
• Reachability Analysis of Quantum Markov Decision Processes
  2014 · 9 citations
• Quantum Recursion and Second Quantisation
  2014 · 8 citations
• VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
  2022 · 8 citations
• The Structure of Decoherence-free Subsystems
  2018 · 5 citations
• A Tensor Network based Decision Diagram for Representation of Quantum Circuits
  2020 · 5 citations
• Measurement-based Verification of Quantum Markov Chains
  2024 · 5 citations
• Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
  2019 · 4 citations
• $Q|SIångle$: A Quantum Programming Environment
  2017 · 3 citations
• Approximate Equivalence Checking of Noisy Quantum Circuits
  2021 · 3 citations
• Optimal simulation of three-qubit gates
  2013 · 2 citations
• Ancilla-Assisted Discrimination of Quantum Gates
  2008 · 1 citations
• Quantum Algorithm for Lexicographically Minimal String Rotation
  2020 · 1 citations