← authors · overview

• Reachability And Termination Analysis Of Concurrent Quantum Programs
  2012 · 23 citations
• Alternation In Quantum Programming: From Superposition Of Data To Superposition Of Programs
  2014 · 10 citations
• Quantum Adiabatic Evolutions That Can't Be Used To Design Efficient Algorithms
  2006 · 3 citations
• Efficient Formal Verification of Quantum Error Correcting Programs
  2025
• Optimal Simulation of a Perfect Entangler
  2009
• The Perfect Distinguishability of Quantum Operations
  2009
• Toward Automatic Verification of Quantum Programs
  2018
• Relational Proofs for Quantum Programs
  2019
• Software Pipelining for Quantum Loop Programs
  2020
• Quantum Algorithm for Fidelity Estimation
  2021
• Verification of Distributed Quantum Programs
  2021
• Parallel Quantum Algorithm for Hamiltonian Simulation
  2021
• Equivalence Checking of Dynamic Quantum Circuits
  2021
• Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra
  2021
• Symbolic Execution for Quantum Error Correction Programs
  2023