← authors · overview

• Entanglement Is Not Necessary for Perfect Discrimination between Unitary Operations
  2007 · 124 citations
• Condition And Capability Of Quantum State Separation
  2005 · 17 citations
• Alternation In Quantum Programming: From Superposition Of Data To Superposition Of Programs
  2014 · 10 citations
• Probabilistic Bisimilarities Between Quantum Processes
  2006 · 8 citations
• Quantum Operation, Quantum Fourier Transform And Semi-definite Programming
  2003 · 7 citations
• Refinement calculus of quantum programs with projective assertions
  2023 · 1 citations
• Distinguishability of Quantum States by Separable Operations
  2007
• The Perfect Distinguishability of Quantum Operations
  2009
• Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search
  2019
• Verification of Distributed Quantum Programs
  2021
• Equivalence Checking of Dynamic Quantum Circuits
  2021
• Matrix Model simulations using Quantum Computing, Deep Learning, and Lattice Monte Carlo
  2021
• Superconformal Quantum Mechanics on a Quantum Computer
  2022
• Decision Diagrams for Symbolic Verification of Quantum Circuits
  2023
• Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows
  2023